An application of the \(p\)-adic class number formula (Q1365307): Difference between revisions

The author proves some results about \(p\)-divisibility of \(h(K)\), the class number of a real abelian field \(K\), using Leopoldt's class number formula in terms of \(p\)-adic \(L\)-functions. He generalizes a theorem of \textit{S. Jakubec} [Abh. Math. Semin. Univ. Hamb. 63, 67-86 (1993; Zbl 0788.11052)] to \[ \prod_\chi\sum_j b_j\chi(j)\equiv 0\pmod p \] if \(p|h(K)\) (where \(\chi\neq 1\) runs over Dirichlet characters of \(K\)), by giving a variant of Leopoldt's results from 1959, that is \(\prod_\chi B_\chi^{(p-1)}\equiv 0\pmod p\) if \(p|h(K)\), with \(B_\chi^{(p-1)}\) the \((p-1)\)st generalized Bernoulli number; and then he shows that \(p\nmid h(K)\) for \(K=\mathbb{Q}(\zeta_q)^+\) under certain conditions.