Cyclotomic extensions of number fields (Q1433043)

Let \(K\) be a number field, \(l\) a prime number, and \(\zeta_l\) a primitive \(l\)th root of unity. The paper is devoted to the cyclotomic extension \(K(\zeta_l)/K\), giving explicit formulae for the discriminant, conductor, and different of this extension. Fixing a prime ideal \(\mathfrak p\) of \(K\) above \(l\), let \(P\) be the product of all prime ideals of \(K(\zeta_l)\) above \(\mathfrak p\). For any \(0\leq a\leq b\) such that \(P^a/P^b\) is an \(\mathbb F_l\)-module (i.e., \(b-a\) is less than or equal to the absolute ramification index of a prime of \(K(\zeta_l)\) above \(\mathfrak p\)) the Galois module structure of \(P^a/P^b\) is obtained. For any field \(M\) such that \(K\subseteq M\subseteq K(\zeta_l)\), the ramification index and the residual degree of a prime of \(M\) above \(\mathfrak p\) are given explicitly. In addition, the Galois module structure of the unit group of \(K(\zeta_l)\) modulo \(l\)th powers is derived.