ConwayGroupCo3

Details

By default, ConwayGroupCo3[] is represented as a permutation group acting on points {1,…,276}.

Background & Context

ConwayGroupCo3[] represents the Conway group , which is a group of order . It is one of the 26 sporadic simple groups of finite order. The default representation of ConwayGroupCo3 is as a permutation group on the symbols having two generators.

The Conway group is the twelfth largest of the sporadic finite simple groups. It was introduced by John Horton Conway in the late 1960s. ConwayGroupCo3 is a subgroup of ConwayGroupCo1 that stabilizes a sublattice of the so-called Leech lattice. In addition to its permutation representation, ConwayGroupCo3 also has a 23-dimensional representation over any field (which may be reduced to a 22-dimensional faithfulrepresentation over any field of characteristic 2 or 3). Along with the other sporadic simple groups, the Conway groups played a foundational role in the monumental (and complete) classification of finite simple groups.

The usual group theoretic functions may be applied to ConwayGroupCo3[], including GroupOrder, GroupGenerators, GroupElements and so on. However, due its large order, a number of such group theoretic functions may return unevaluated when applied to it. A number of precomputed properties of the Conway group are available via FiniteGroupData[{"Conway",3},"prop"].