Über die zentrale Klassenzahl eines relativ-Galoisschen Zahlkörpers (Q2546913)

For a Galois extension \(K\) over a number field \(k\) of finite degree, the central class field \(\hat K\) of \(K\) over \(k\) is defined as the maximum unramified abelian extension over \(K\) such that the Galois group of \(\hat K\) over \(K\) is contained in the center of the Galois group of \(\hat K\) over \(k\). The extension degree of \(\hat K\) over K, is called the central class number of \(K\) over \(k\) and denoted by \(z_{K/k}\). Then the following formula is proved: \[ z_{K/k}=\frac{h_k\prod_{\mathfrak p}e'_{\mathfrak p}\left[k^\times\cap N_{K/k}J_{K/k}:N_{K/k}K^\times\right]}{[K_0:k]\left[E_k:\left(E_kN_{K/k}K^\times\right)\right]}\, , \] where \(h_k\) is the class number of \(k\); \(e'_{\mathfrak p}\) is the ramification index of the maximum abelian extension of \(k_{\mathfrak p}\) contained in \(K_{\mathfrak p}\); \(K_0\) is the maximum abelian extension of \(k\) contained in \(K\); \(J_K\) resp. \(K^\times\) are the idele group resp. the principal idele group od \(K\); \(E_k\) is the unit group of \(k\). As an application of the formula, some relation between the the ordinary class number and central class numberis implied in the case where \(K\) is of prime power degree over \(k\).