
related topics 
{math, number, function} 
{group, member, jewish} 

In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups; they share many properties with their finite quotients.
Contents
Definition
Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space. Equivalently, one can define a profinite group to be a topological group that is isomorphic to the inverse limit of an inverse system of discrete finite groups. In categorical terms, this is a special case of a (co)filtered limit construction.
Examples
 The group of padic integers Z_{p} under addition is profinite (in fact procyclic). It is the inverse limit of the finite groups Z/p^{n}Z where n ranges over all natural numbers and the natural maps Z/p^{n}Z → Z/p^{m}Z (n≥m) are used for the limit process. The topology on this profinite group is the same as the topology arising from the padic valuation on Z_{p}.
 The Galois theory of field extensions of infinite degree gives rise naturally to Galois groups that are profinite. Specifically, if L/K is a Galois extension, we consider the group G = Gal(L/K) consisting of all field automorphisms of L which keep all elements of K fixed. This group is the inverse limit of the finite groups Gal(F/K), where F ranges over all intermediate fields such that F/K is a finite Galois extension. For the limit process, we use the restriction homomorphisms Gal(F_{1}/K) → Gal(F_{2}/K), where F_{2} ⊆ F_{1}. The topology we obtain on Gal(L/K) is known as the Krull topology after Wolfgang Krull. Waterhouse showed that every profinite group is isomorphic to one arising from the Galois theory of some field K; but one cannot (yet) control which field K will be in this case. In fact, for many fields K one does not know in general precisely which finite groups occur as Galois groups over K. This is the inverse Galois problem for a field K. (For some fields K the inverse Galois problem is settled, such as the field of rational functions in one variable over the complex numbers.)
Full article ▸


related documents 
Inner automorphism 
Linear function 
Regular graph 
Elias gamma coding 
Subring 
Earley parser 
Connectedness 
Parse tree 
Hausdorff maximal principle 
Row and column spaces 
Unitary matrix 
Identity matrix 
Unit interval 
Additive function 
Random sequence 
Inequation 
Kleene star 
Euler's identity 
Specification language 
SharpP 
Klein fourgroup 
Inverse functions and differentiation 
Class (set theory) 
Disjunctive normal form 
Inverse transform sampling 
Just another Perl hacker 
Endomorphism 
Discrete probability distribution 
Urysohn's lemma 
Sum rule in differentiation 
