Frattini-injectivity and Maximal pro- Galois groups
arXiv:2009.09297
Abstract
We call a pro- group Frattini-injective if distinct finitely generated subgroups of have distinct Frattinis. This paper is an initial effort toward a systematic study of Frattini-injective pro- groups (and several other related concepts). Most notably, we classify the -adic analytic and the solvable Frattini-injective pro- groups, and we describe the lattice of normal abelian subgroups of a Frattini-injective pro- group. We prove that every maximal pro- Galois group of a field that contains a primitive th root of unity (and also contains if ) is Frattini-injective. In addition, we show that many substantial results on maximal pro- Galois groups are in fact consequences of Frattini-injectivity. For instance, a -adic analytic or solvable pro- group is Frattini-injective if and only if it can be realized as a maximal pro- Galois group of a field that contains a primitive th root of unity (and also contains if ); and every Frattini-injective pro- group contains a unique maximal abelian normal subgroup.
33 pages