Constructing class fields over local fields

Let K be a 𝔭 -adic field. We give an explicit characterization of the abelian extensions of K of degree p by relating the coefficients of the generating polynomials of extensions L / K of degree p to the exponents of generators of the norm group N L / K ( L * ) . This is applied in an algorithm for... View More