Michael R. Bush
Abstract:A characterization of the quotients of $p$-class tower groups of quadratic fields by terms in the lower $p$-central series plays an important role in the formulation of conjectures by Boston, Hajir and the author about the distribution of such groups as the base field varies. In this paper, another equivalent criterion is given which resolves an issue that arose as part of the group-theoretical calculations carried out in relation to these conjectures.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties and distribution of certain quotient groups of the \(p\)-class tower groups of quadratic fields. Specifically, the paper focuses on how to characterize these quotient groups and verify the conjectures about the distribution of these groups proposed by Boston, Hajir, etc. by studying their quotient groups in the lower \(p\)-central series.
### Overview of the Main Problems
1. **Background and Motivation**:
- The paper starts from some important concepts in algebraic number theory, such as the class group \(Cl(K)\) of a number field \(K\), which is a finite abelian group and indicates whether the ring of integers \(O_K\) is a unique factorization domain (UFD).
- Through class field theory, we know that \(Cl(K)\cong Gal(H/K)\), where \(H\) is the maximal unramified abelian extension (Hilbert class field) of \(K\).
- Further research on more general non - abelian extensions, especially those with restricted ramification, has led to the study of certain specific group structures.
2. **Core Problems**:
- Study the \(p\)-class tower group \(G = Gal(K_{nr,p}/K)\) of quadratic fields, where \(K_{nr,p}\) is the maximal unramified \(p\)-extension of \(K\).
- Pay special attention to the quotient groups \(G_c = G/P_c(G)\) of the lower \(p\)-central series of these groups and try to find new equivalent conditions for these quotient groups to better understand their properties and distribution.
3. **Specific Objectives**:
- Give an equivalent condition for characterizing these quotient groups, especially for the computational problems that appear in the conjectures about the distribution of these groups proposed by Boston, Hajir, etc.
- Solve the group - theoretic computational problems encountered in these conjectures by introducing new characterization methods.
### Key Terms and Definitions
- **\(p\)-class tower group**: Given a number field \(K\), its \(p\)-class tower group refers to \(Gal(K_{nr,p}/K)\), where \(K_{nr,p}\) is the maximal unramified \(p\)-extension of \(K\).
- **Lower \(p\)-central series**: For a \(p\)-group \(G\), its lower \(p\)-central series \(P_n(G)\) is defined as a recursive sequence, where \(P_0(G)=G\) and \(P_n(G)=P_{n - 1}(G)^p[G, P_{n - 1}(G)]\).
- **Schur \(\sigma\)-group**: A \(p\)-group that satisfies specific conditions, including that the rank of generators is equal to the rank of relations, and there exists an automorphism \(\sigma\) of order 2 such that the induced automorphism is the inverse mapping.
### Conclusion
By introducing new equivalent conditions, the paper has solved the group - theoretic computational problems encountered in the study of quotient groups of \(p\)-class tower groups, providing a theoretical basis for verifying and further developing the conjectures about the distribution of these groups.