Finite group
From Wikipedia, the free encyclopedia
In mathematics, a finite group is a group which has finitely many elements. Some aspects of the theory of finite groups were investigated in great depth in the twentieth century, in particular the local theory, and the theory of solvable groups and nilpotent groups. It is too much to hope for a complete theory: the complexity becomes overwhelming when the group is large.
Less overwhelming, but still of interest, are some of the smaller general linear groups over finite fields. The group theorist J. L. Alperin has written that "The typical example of a finite group is GL(n,q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled." (Bulletin (New Series) of the American Mathematical Society, 10 (1984) 121) For a discussion of one of the smallest such groups, GL(2,3), see Visualizing GL(2,p).
Finite groups are directly relevant to symmetry, when that is restricted to a finite number of transformations. It turns out that continuous symmetry, as modelled by Lie groups, also leads to finite groups, the Weyl groups. In this way, finite groups and their properties can enter centrally in questions, for example in theoretical physics, where their role is not initially obvious.
Every finite group of a prime order is cyclic. This can easily be shown using Lagrange's theorem and the fact that a group is closed under the group operation.
[edit] Number of groups for a given set
For each group type (group up to isomorphism) the number of groups for a given underlying set of n elements is n! divided by the order of the automorphism group.