The assumption of finitude enables a simplified system of axioms:
- Associativity : Thefollowing appliestoall group elements
- Reduction rule : offorfollows.
From the abbreviation rule it follows that the left and right multiplications are and injective , from which the surjectivity follows because of the finiteness . Hence there is one with which shows the existence of the neutral element and then one with which shows the existence of the inverse elements .
The general condition that a nonempty set is a subgroup of the group ,
is also simplified, since S2 follows from S1: If is finite, every element of must have a finite order , from which it follows. But that means that it is already in . A non-empty finite subset of any group is a subgroup if and only if in is also for all .
Every finite group is composed of a finite number of finite simple groups . However, this composition can be complicated. Despite knowing the building blocks (the simple groups) one is still far from knowing all finite groups.
Although the finite simple groups have been classified as fully classified since 1982, mathematicians working with Aschbacher did not complete the classification until 2002 with a 1200-page proof:
- Almost all of these groups can be assigned to one of 18 families of finite simple groups .
- There are 26 exceptions. These groups are known as sporadic groups .
- Finite groups are, for example, the cyclic groups with the exception of the infinite cyclic group or the permutation groups ( see: symmetric group , alternating group ).
- Dieder groups and quasi-dieder groups
- The sporadic groups include the Conway group , the baby monster, and the monster group ( the largest sporadic group with almost 10 54 elements).
- Hans Kurzweil , Bernd Stellmacher : Theory of finite groups. An introduction. Springer-Verlag, ISBN 3-540-60331-X , doi : 10.1007 / 978-3-642-58816-7 .
- Bertram Huppert : Finite groups. Volume 1, Springer Verlag 1967.
- B. Huppert, N. Blackburn: Finite Groups. Volume 2, 3, Springer-Verlag, 1982.
- Daniel Gorenstein : Finite Groups. Harper and Row, 1968.
- Michael Aschbacher : Finite Group Theory. Cambridge University Press, 1986.
- Van der Waerden : Algebra I. Springer, 1971, 8th edition, pp. 15-17.
- Aschbacher, Smith: The classification of quasithin groups. AMS.