Pro-p Group

Pro-p Group

In mathematics, a pro-p group (for some prime number p) is a profinite group such that for any open normal subgroup the quotient group is a p-group. Note that, as profinite groups are compact, the open subgroups are exactly the subgroups of finite index, so that the discrete quotient group is always finite.

Alternatively, one can define a pro-p group to be the inverse limit of an inverse system of discrete finite p-groups.

The best-understood (and historically most important) class of pro-p groups is the p-adic analytic groups: groups with the structure of an analytic manifold over such that group multiplication and inversion are both analytic functions. The work of Lubotzky and Mann, combined with Michel Lazard's solution to Hilbert's fifth problem over the p-adic numbers, shows that a pro-p group is p-adic analytic if and only if it has finite rank, i.e. there exists a positive integer such that any closed subgroup has a topological generating set with no more than elements.

Read more about Pro-p Group:  Examples

Famous quotes containing the word group:

    The boys think they can all be athletes, and the girls think they can all be singers. That’s the way to fame and success. ...as a group blacks must give up their illusions.
    Kristin Hunter (b. 1931)