# Finite group

A group with finitely many elements. The number of elements is called the order of the group. Historically, many concepts in abstract group theory have had their origin in the theory of finite groups.

It is usually said that the aim of finite group theory is to describe the groups of given order up to isomorphism. This is only partly true. A naïve approach based on a wish to classify all groups is doomed to failure. For example, the compilation of a list of all non-isomorphic groups of the comparatively small order 1024 would constitute a difficult task for the best modern computers. In general, the classification of finite \$ p \$- groups (groups of order \$ p ^ {n} \$, \$ p \$ a prime number) is a "wild" problem. On the other hand, there do exist some extremal classes of groups, playing a central role in the theory, for which the classification problem (enumeration up to isomorphism) is either solved or is a perfectly reasonable objective.

Thus there is a complete theory of finite Abelian groups (see Abelian group) and various classes of finite \$ p \$- groups (regular, free of exponent \$ p \$, of maximal class, those given by generators and the least possible number of relations) allow of a qualitative description. The description of finite groups of integral invertible matrices is an example of an important classification problem; it has been solved only for small orders of the matrices.

During the formative period in the theory of finite groups, which is associated with the names of A.L. Cauchy, J.L. Lagrange, C.F. Gauss, N.H. Abel, and later E. Galois, finite groups were studied almost entirely in the form of permutation groups (whence the unsuccessful well-established term substitution group, cf. Permutation group), and this point of view is still fruitful today. For example, if an abstract finite group \$ G \$ can be realized as a multiply-transitive permutation group (that is, as a suitable subgroup of a symmetric group \$ S _ {m} \$), then in a number of cases \$ G \$ is uniquely determined up to isomorphism. Classification results for simple \$ 2 \$- transitive groups constitute a rich section of finite group theory, whose foundations were laid more than a hundred years ago by C. Jordan. The computational methods in the theory of permutation groups, developed in recent years, have been called into existence partly by the requirements of combinatorics, graph theory, coding theory, and the need to check various conjectures.

The theory of linear representations of finite groups, developed at the beginning of the 20th century by G. Frobenius, W. Burnside, I. Schur, and others (see Finite group, representation of a), provided a powerful tool for investigating abstract groups, and served as a prototype for the analogous representation theory of Lie groups, and later of other algebraic systems. The formulation of properties of groups and their representations in terms of the theory of characters is one manifestation of the mutual relationships between the various branches of algebra. Representations of finite groups over commutative rings and fields of non-zero characteristic, intensively investigated by R. Brauer and others (see ), have been exploited to yield many deep results.

Extensions of finite groups are studied using the cohomology theory of groups (see Cohomology of groups), which is also of independent interest.

The almost obvious idea that properties of a finite group \$ G \$ must to some extent be arithmetical and depend on the canonical prime factorization \$ | G | = p _ {1} ^ {n _ {1} } \dots p _ {k} ^ {n _ {k} } \$ of its order, is given precise form in the Sylow theorems on the existence and conjugacy of subgroups of order \$ p _ {i} ^ {n _ {i} } \$. If \$ | G | = mn \$, where \$ n \$ and \$ m \$ are relatively prime natural numbers, then a subgroup of order \$ n \$, called a Hall subgroup, need not, in general, exist. However, for the large class of solvable groups, Hall subgroups exist and fully inherit the properties of Sylow subgroups. The solvability of groups of order \$ p ^ {a} q ^ {b} \$( where \$ p \$ and \$ q \$ are prime numbers), discovered by Burnside, is a typical example of an arithmetical property. The solvability of groups of odd order, established many years later by J. Thompson and W. Feit (see Burnside problem, 1), is an achievement which has given finite group theory a radically new orientation. The existence of involutions (elements of order 2) in non-solvable groups — an alternative formulation of the Feit–Thompson theorem — and the expression of properties of simple groups in terms of centralizers of involutions have formed one of the principal directions of research in finite group theory (the realization of Brauer's programme).

In the roaring period 1961–1981, marked by constant activity of algebraists in various countries, one of the most remarkable achievements in the history of mathematics was made: the classification of the finite simple groups (cf. Simple finite group). Regrettably, a drawback of this classification is the fact that until now it has not been verified, because of the absence of one integral text and the exceptional complexity of the structure of the reasoning used. Therefore the task of rendering individual parts of the proof more transparent has not faded away, and the branch of the theory occupied with the finite simple groups continues to be an active one. All kinds of consequences of the classification are of interest (e.g., the description of all \$ 2 \$- transitive groups), although many mathematicians call results of this kind conditional, out of precaution.

Parallel with the classification direction, an intensive study was made of invariants of the finite linear groups and of properties of representations. Especially fruitful has been the work concerning the description of all complex characters of the finite simple groups of Lie type. Substantial progress was made in this case, a symbol of this being the theory of Deligne–Lusztig, which was brought about by combining methods of algebraic geometry and the theory of algebraic groups. Nowadays, this theory is one of the most splendid parts of algebra, on the interface between the theory of finite groups and its applications in most varied branches of mathematics.

How to Cite This Entry:
Finite group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Finite_group&oldid=50883
This article was adapted from an original article by A.I. Kostrikin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article