Grün's theorems and class groups (Q633164)

The author shows how Grün's results in group theory can be used for studying the structure of class groups in normal extensions. Let \(L/{\mathbb Q}\) be a normal extension whose Galois group is isomorphic to one of the two nonabelian groups of order \(l^3\). If \(p\equiv 2\bmod 3\) is prime and if the rank of \(\text{Cl}_p(L)\) is \(\leq 5\), then \(\text{Cl}_p(L)\) comes from the maximal abelian subfield \(K\) of \(L/{\mathbb Q}\). If \(p\equiv 1\bmod 3\) and the rank of \(\text{Cl}_p(L)\) is \(\leq 2\), then \(\text{Cl}_p(L)\) comes from the maximal abelian subfield \(K\) of \(L/{\mathbb Q}\). Let \(k\) be a quadratic number field whose \(2\)-class field tower \(k\subset k^1\subset k^2\subset\ldots\) has at least \(3\) steps, and let \(G=\text{Gal}(k^3/k)\) denote the Galois group of the \(2\)-extension \(k^3/k\). If \(C=\text{Cl}_p(k^3)\) has rank \(\leq 3\), then \(G''\) acts trivially on \(C\), and \(\text{Cl}_p(k^2)\) has a subgroup isomorphic to \(C\).