In mathematics, a pro-finite group G is a group that, in a sense, is very "close" to being finite.
| Table of contents |
|
2 Examples 3 Properties 4 Ind-finite groups |
Formally, a pro-finite group is the inverse limit of finite groups. Pro-finite groups are naturally regarded as topological groups: each of the finite groups carries the discrete topology, and since G is a subset of the product of these discrete spaces, it inherits a topology which turns it into a topological group.
Every finite group is pro-finite, but that is boring. Important examples of pro-finite groups are the p-adic integers. The Galois theory of field extensions of infinite degree gives rise naturally to Galois groups that are pro-finite. The fundamental groups considered in algebraic geometry are also pro-finite groups, roughly speaking because the algebra can only 'see' finite coverings of an algebraic variety.
Every pro-finite group is a compact Hausdorff space: since all finite discrete spaces are compact Hausdorff spaces, their product will be a compact Hausdorff space by Tychonoff's theorem. G is a closed subset of this product and is therefore also compact Hausdorff.
Every pro-finite group is totally disconnected and even more: a topological group is pro-finite if and only if it is Hausdorff, compact and totally disconnected.
There is a notion of ind-finite group, which is the dual. That would be a group G that is the direct limit of finite groups. The usual terminology is different: a group G is called locally finite if every finitely-generated subgroup is finite. This is equivalent, in fact, to being 'ind-finite'.
By applying Pontryagin duality, one can see that abelian pro-finite groups are in duality with locally finite discrete abelian groups. The latter are just the abelian torsion groups.Definition
Examples
Properties
Ind-finite groups
