On Galois groups of abelian extensions over maximal cyclotomic fields (Q925102)

The author considers the maximal cyclotomic extension of a finite algebraic number field and its two abelian extensions, the maximal abelian extension \(M\) and the maximal abelian extension with certain restricted ramification \(L\). He investigates the structure of these Galois groups with the action of the cyclotomic Galois group. The main result is the following: Theorem. The Galois groups \(\text{Gal}(M/k_\infty)\) and \(\text{Gal}(L/k_\infty)\) are, as \(A\)-modules, both isomorphic to \(\prod_{N=1}^\infty A\), the direct product of countable number of copies of \(A\). In the proof he uses techniques of embedding problems as introduced by \textit{K. Iwasawa} [see Ann. Math. (2) 58, 548--572 (1953; Zbl 0051.26602)].