The theorem of Kronecker-Weber classifying the abelian extensions of \(\mathbb Q\) as being exactly the cyclotomic ones, has numerous proofs. These are often a posteriori and exemplify the consequences of some theory. In this brief and interesting paper, Lemmermeyer shows that the theorem can be reducded to a fact which he then proves using Stickelberger's theorem. The reduction is probably of older date and the author traces it back to a paper by \textit{F. Steinbacher} in 1910 [J. Reine Angew. Math. 139, 85--100 (1910; JFM 41.0246.02)]; but the Stickelberger argument is new and elegant. If \(p\) is a prime, then the maximal abelian extension \(\mathbb K_p / \mathbb Q\) which has exponent \(p\) and is unramified outside \(p\) is cyclic, being the subfield of degree \(p\) in \(\mathbb Q(\zeta_{p^2})\). The proof is prepared by Kummer theory and adjoining a \(p\)-th root of unity: \(\mathbb L = \mathbb K[ \zeta_p ],\) for some cyclic subfield \(\mathbb K \subset \mathbb K_p\) and obtaining abelian root extensions of \(\mathbb Q(\zeta_p)\). By invoking the Stickelberger Theorem and investigating the possible decompositions of \(\alpha \in \mathcal{O}(\mathbb Q(\zeta))\) such that \(\mathbb L = \mathbb Q(\zeta, \alpha^{1/p})\), Lemmermeyer shows that \(\alpha\) must be a unit.
- scientific article; zbMATH DE number 2053182
- Critère de parité du nombre de classes des extensions abéliennes réelles de Q de degré impair
- scientific article; zbMATH DE number 6536162
- Kronecker-Weber via Kummer
- Growth of class numbers in \({\mathbb{Z}}_{\ell}\)-extensions connected with imaginary quadratic fields
- The rank of group of cyclotomic units in abelian fields
- scientific article; zbMATH DE number 2157062
- Units and class groups in cyclotomic function fields
- On the local Kronecker-Weber theorem
- On the compositum of orthogonal cyclic fields of the same odd prime degree
This page was built for publication: Kronecker-Weber via Stickelberger
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q819862)
