Fast computation of class fields given their norm group
Let be a number field containing, for some prime , the -th roots of unity. Let be a Kummer extension of degree of characterized by its modulus and its norm group. Let be the compositum of degree extensions of of conductor dividing . Using the vector-space structure of , we suggest a modification of the function of which brings the complexity of the computation of an equation of over from exponential to linear.