MathieuGroupM23

MathieuGroupM23[]

represents the sporadic simple Mathieu group .

Details

  • By default, MathieuGroupM23[] is represented as a permutation group acting on points {1,,23}.

Background & Context

  • MathieuGroupM23[] represents the Mathieu group , which is a group of order . It is one of the 26 sporadic simple groups of finite order. The default representation of MathieuGroupM23 is as a permutation group on the points having two generators.
  • The Mathieu group is the sixth smallest of the sporadic finite simple groups. It was discovered (along with the other four Mathieu groups MathieuGroupM11, MathieuGroupM12, MathieuGroupM22 and MathieuGroupM24) by mathematician Émile Léonard Mathieu in the late 1800s, making these groups tied for first in chronological order of discovery among sporadic groups. MathieuGroupM23 is 4-transitive in the sense that there exists at least one group element mapping any unique 4-tuple of elements of MathieuGroupM23 to any other unique 4-tuple therein. In addition to its permutation representation, can be defined in terms of generators and relations as and is the point stabilizer of the action of on . Along with the other sporadic simple groups, the Mathieu groups played a foundational role in the monumental (and complete) classification of finite simple groups.
  • The usual group theoretic functions may be applied to MathieuGroupM23[], including GroupOrder, GroupGenerators, GroupElements and so on. A number of precomputed properties of the Mathieu group are available via FiniteGroupData[{"Mathieu",23},"prop"].
  • MathieuGroupM23 is related to a number of other symbols. Along with MathieuGroupM11, MathieuGroupM12, MathieuGroupM22 and MathieuGroupM24, MathieuGroupM23 is one of five groups cumulatively referred to as the so-called "first generation" of sporadic finite simple groups. It is also one of 20 so-called "happy" sporadic groups, which all appear as a subquotient of the monster group.

Examples

Basic Examples  (1)

Order of the group :

In[1]:=
Click for copyable input
Out[1]=

Generators of a permutation representation of the group :

In[2]:=
Click for copyable input
Out[2]=

See Also

PermutationGroup  MathieuGroupM11  MathieuGroupM12  MathieuGroupM22  MathieuGroupM24

Tutorials

Introduced in 2010
(8.0)