finite group



A finite group is a group whose underlying set is finite.

This is equivalently a group object in FinSet.


Cauchy’s theorem

Let GG be a finite group with order |G|{\vert G\vert} \in \mathbb{N}.



If a prime number pp divides |G|{\vert G\vert}, then equivalently

See at Cauchy's theorem for more.

Feit-Thompson theorem


Every finite group of odd order is a solvable group.

See at Feit-Thompson theorem.


The structure of finite groups is a very hard problem; the classification of finite simple groups alone is one of the largest theorems ever proved (certainly if measured by number of journal pages needed for a complete proof).

All finite groups are built out of simple groups, but the ways to do this have not (yet?) been fully classified.

A point of view that can be useful in particular cases – more useful than the Jordan-Hölder theorem? – is provided by the F*-theorem?, due to Hans Fitting in the solvable case and Helmut Bender in the general case. It states that C G(F *(G))=Z(F *(G))C_G(F^*(G))=Z(F^*(G)), where F *(G)F^*(G) is the generalized Fitting subgroup of GG, defined below, C G(F *(G))C_G(F^*(G)) is the subgroup of GG consisting of all elements commuting with every element of F *(G)F^*(G), and Z(H)Z(H) for any group HH is the center of HH, the subgroup of HH consisting of all elements commuting with every element of HH. Thus GG is somehow assembled from F *(G)F^*(G), whose structure has some easy features, and G/C G(F *(G))G/C_G(F^*(G)), which is isomorphic to a subgroup of the automorphism group of F *(G)F^*(G) and which has a quotient group isomorphic to G/F *(G)G/F^*(G).

One definition of F *(G)F^*(G) is that it is the subgroup generated by all normal subgroups NN of GG possessing subgroups N 1,N 2,,N rN_1,N_2,\dots, N_r for some integer rr such that N=N 1N 2N rN=N_1N_2\cdots N_r; x ix j=x jx ix_i x_j=x_j x_i for all x iN ix_i\in N_i, x jN jx_j\in N_j, and distinct subscripts ii and jj; and each N iN_i either has prime power order or is a quasisimple group. Bender proved that F *(G)F^*(G) itself enjoys these properties.

Finally a group HH is called quasisimple if and only if H=[H,H]H=[H,H] and H/Z(H)H/Z(H) is simple. The finite quasisimple groups have been classified, as a consequence of the classification of finite simple groups and the calculation of the Schur multiplier? of each finite simple group.

For more on this see


  • For every natural number nn \in \mathbb{N}, the cyclic group

    n:=/n \mathbb{Z}_n := \mathbb{Z}/n \mathbb{Z}

    is finite.

  • The largest finite group that is also a sporadic simple group?, i.e., does not belong(up to isomorphism) to the infinite family of the alternating groups or to the infinite family of finite groups of Lie type, is the Monster group.

  • For more see also at finite abelian group.


Revised on November 11, 2013 08:12:52 by Urs Schreiber (