# P-group

A group each non-unit element of which is a $p$-element, i.e. an element that satisfies an equation $x^{p^n}=1$; here $p$ is a given prime number, the same for all elements of the group, while $n$ is a natural number, in general different for each element of the group. In this sense $p$ can be replaced by other symbols, such as $q$, $r$ or $s$, but then their usage must be clearly specified. If $p$ is a given prime number, such as $2,3,5,\ldots,$ one speaks of $2$-groups, $3$-groups, etc. $p$-groups are also called primary groups. A generalization of a $p$-group is a $\pi$-group ($\pi$ a given set of prime numbers), which is defined as a group each non-unit element of which is a $\pi$-element, i.e. an element that satisfies the condition $x^m=1$, where $m$ is a natural number all of whose prime divisors belong to $\pi$. Symbols less frequently employed in this sense include $\Pi$-group, $\sigma$-group and $\tau$-group. If $N$ is the set of all prime numbers, one often writes $p'=N\setminus p$, $\pi'=N\setminus\pi$ and speaks of $p'$- and $\pi'$-groups, and of $p'$- and $\pi'$-elements. For a given group, a subgroup that is a $p$-group ($\pi$-group) is known as $p$-subgroup ($\pi$-subgroup).

Many studies in the theory of finite groups are connected with the task of describing arbitrary finite groups using finite $p$-groups, and finite simple groups by $2$-groups (cf. , Chapt. IV, V; ). For this reason, the main interest is centred on the description of finite $p$-groups using their Abelian subgroups or $p$-automorphisms.

Infinite (non-Abelian) $p$-groups have been studied to a lesser extent. A small number of the most important results, roughly subdivided into three parts, is given below.

1) For the results concerning the solution of Burnside problems, cf. Burnside problem.

2) Locally finite $p$-groups are non-simple (cf. ).

3) Examples illustrating the difference between the theory of finite $p$-groups and the general theory of $p$-groups are: a) there exists a locally finite $p$-group without non-trivial normal Abelian subgroups (cf. ); b) there exists a locally finite $p$-group that coincides with its commutator subgroup (cf. ). See also Group with a finiteness condition.

How to Cite This Entry:
P-group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=P-group&oldid=32311
This article was adapted from an original article by Yu.M. Gorchakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article