In mathematical
finite group theory
In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving tra ...
, a rank 3 permutation group
acts transitively on a set such that the
stabilizer of a point has 3
orbit
In celestial mechanics, an orbit (also known as orbital revolution) is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an ...
s. The study of these groups was started by . Several of the
sporadic simple group
In the mathematical classification of finite simple groups, there are a number of groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.
A simpl ...
s were discovered as rank 3 permutation groups.
Classification
The primitive rank 3 permutation groups are all in one of the following classes:
* classified the ones such that
where the
socle ''T'' of ''T''
0 is simple, and ''T''
0 is a 2-transitive group of degree .
* classified the ones with a regular elementary abelian normal subgroup
* classified the ones whose socle is a simple alternating group
* classified the ones whose socle is a simple classical group
* classified the ones whose socle is a simple exceptional or sporadic group.
Examples
If ''G'' is any 4-transitive group acting on a set ''S'', then its action on pairs of elements of ''S'' is a rank 3 permutation group.
[The three orbits are: the fixed pair itself; those pairs having one element in common with the fixed pair; and those pairs having no element in common with the fixed pair.] In particular most of the alternating groups, symmetric groups, and
Mathieu group
In group theory, a topic in abstract algebra, the Mathieu groups are the five sporadic simple groups ''M''11, ''M''12, ''M''22, ''M''23 and ''M''24 introduced by . They are multiply transitive permutation groups on 11, 12, 22, 23 or 24 objec ...
s have 4-transitive actions, and so can be made into rank 3 permutation groups.
The projective general linear group acting on lines in a projective space of dimension at least 3 is a rank-3 permutation group.
Several
3-transposition groups are rank-3 permutation groups (in the action on transpositions).
It is common for the point-stabilizer of a rank-3 permutation group acting on one of the orbits to be a rank-3 permutation group. This gives several "chains" of rank-3 permutation groups, such as the
Suzuki chain and the chain ending with the
Fischer groups
In the area of modern algebra known as group theory, the Fischer groups are the three sporadic simple groups Fi22, Fi23 and Fi24 introduced by .
3-transposition groups
The Fischer groups are named after Bernd Fischer who discovered them ...
.
Some unusual rank-3 permutation groups (many from ) are listed below.
For each row in the table below, in the grid in the column marked "size", the number to the left of the equal sign is the degree of the permutation group for the permutation group mentioned in the row. In the grid, the sum to the right of the equal sign shows the lengths of the three orbits of the stabilizer of a point of the permutation group. For example, the expression 15 = 1+6+8 in the first row of the table under the heading means that the permutation group for the first row has degree 15, and the lengths of three orbits of the stabilizer of a point of the permutation group are 1, 6 and 8 respectively.
Notes
References
*
*
*
*
*
*
*
*{{Citation , authorlink1=Martin Liebeck, last1=Liebeck , first1=Martin W. , last2=Saxl , first2=Jan, author2-link=Jan Saxl , title=The finite primitive permutation groups of rank three , doi=10.1112/blms/18.2.165 , mr=818821 , year=1986 , journal=The Bulletin of the London Mathematical Society , issn=0024-6093 , volume=18 , issue=2 , pages=165–172
Finite groups