Pro-p group

Pro-p group
Name	Pro-p group
Type	Profinite group
Main fields	Group theory, Algebraic topology, Number theory

Pro-p group is a profinite group that is the inverse limit of finite p-groups for a fixed prime p. These groups arise naturally in Galois theory, in the study of p-adic topology and in the structure theory of profinite groups, and they connect to objects such as absolute Galois group, Iwasawa theory, p-adic Lie groups and Galois cohomology. Pro-p groups are central in the analysis of local field extensions, Demuškin groups, and in relations between Massey products and conjectures of Bloch and Kato.

Definition and basic properties

A pro-p group is defined as a topological group which is isomorphic to the inverse limit of an inverse system of finite p-groups, where p is a fixed prime. Equivalent formulations identify a pro-p group as a profinite group whose continuous finite quotients are all p-groups; this links to the structure of the Sylow theorems for profinite groups and to the properties of Frattini subgroups in finite p-group theory. Basic properties include compactness, total disconnectedness, and the existence of the pro-p topology induced by neighborhoods given by open normal subgroups of p-power index, which parallels the topology on Galois groups of maximal p-extensions such as the absolute Galois group of a field with restricted ramification.

Examples and constructions

Classical examples include the pro-p completion of a free group, the pro-p completion of π1 of a topological space such as a punctured Riemann surface studied via the Grothendieck-Teichmüller group, and the maximal pro-p quotient of an absolute Galois group arising from a number field like Q or a local field such as Q_p. Other constructions arise from inverse limits of finite p-group towers in class field theory, from Iwasawa algebra modules over Z_p and from uniform pro-p groups associated to Lubin-Tate formal groups. Examples of specific named groups are the pro-p completions of Free groups, finitely generated Demuškin groups associated to p-adic fields, and pro-p subgroups of GL_n(Z_p) such as SL_n(Z_p)-congruence subgroups.

Topological and algebraic structure

Topologically, pro-p groups are compact, totally disconnected, and Hausdorff, with a basis of neighborhoods of the identity given by open normal subgroups of p-power index; this topology mirrors that on Galois groups in local field theory and the profinite completions used in étale fundamental group studies. Algebraically, finitely generated pro-p groups admit a rich structure theory including the notions of analytic pro-p groups linked to Lazard's theory of p-adic analytic groups, the association with Lie algebras over Z_p and the classification of uniform pro-p groups by Serre-type results. Important structural features include the behavior of the lower p-central series, dimension as a Z_p-module for analytic groups, and the role of the Frattini subgroup in generation theory, with connections to Burnside problem variants for pro-p groups.

Presentations and generators-relations

Presentations of pro-p groups are given by pro-p generators and pro-p relations in the category of profinite groups; these appear in studies of the pro-p completion of discrete groups like Braid groups, mapping class groups such as Mod(S_g) for surfaces, and fundamental groups in étale cohomology. Finitely presented pro-p groups arise from relations constrained by p-power torsion phenomena, and the minimal number of topological generators is governed by cohomological dimensions and by the structure of maximal abelian quotients such as Z_p-modules. Techniques for studying presentations include continuous group cohomology via Galois cohomology, computations using the Golod–Shafarevich inequality in connection with infinite p-extensions, and relations motivated by Massey product vanishings relevant to Bloch–Kato conjecture contexts.

Cohomology and group-theoretic invariants

Continuous cohomology of pro-p groups with coefficients in finite F_p-modules or in Z_p-modules is fundamental, linking to the cohomological dimension cd_p, duality theorems such as Demuškin duality for certain one-relator pro-p groups, and to local-global principles in Galois cohomology such as Tate local duality. Invariants include the Zassenhaus filtration, graded Lie algebras associated to the lower p-central series, and Iwasawa invariants λ, μ, ν arising in Iwasawa theory for towers of number fields. Spectral sequences like the Hochschild–Serre spectral sequence and operations such as cup products and higher Massey products provide tools to detect relations and obstructions in the structure of pro-p groups and in field arithmetic.

Applications and connections

Pro-p groups appear in arithmetic applications including descriptions of the maximal pro-p quotient of absolute Galois groups of fields, explicit computations in Iwasawa theory for cyclotomic extensions of Q and CM fields, and obstructions in the study of rational points via Selmer group analogues. In geometry and topology, pro-p completions of fundamental groups play a role in the study of mapping class groups like Mod(S_g), of knot groups such as Knot groups in 3-manifold theory and of profinite rigidity questions involving Grothendieck's anabelian geometry and the Grothendieck-Teichmüller group. In representation theory and algebra, connections include the structure of completed group algebras like the Iwasawa algebra Λ(G), interactions with Lubin-Tate modules, and applications to the study of p-adic Hodge theory and deformation rings appearing in Taylor–Wiles methods.

Notable classes and classification results

Significant classes include uniform pro-p groups classified by Lazard under p-adic analyticity hypotheses, Demuškin groups classified by generators and a single relation related to local field Galois groups, and powerful pro-p groups studied by Lubotzky and Mann. Classification results cover finite generation versus finite presentation phenomena, criteria for p-adic analytic structure by Serre and Lazard, and Golod–Shafarevich constructions producing infinite torsion pro-p groups related to problems posed by Burnside and Kurosh. Open classification problems connect to the structure of maximal pro-p Galois groups of number fields addressed in work by Shafarevich, Neukirch, Jannsen and others.

Category:Profinite groups