Order = 12926008369442488320000 =
Mult = 2.
Out = 2.

Porting notes

Fully copied from version 2. 30/67/06.

Standard generators

Standard generators of A23 are a, b where a is in class 3A, b has order 21 (necessarily a 21-cycle), ab has order 23 and [a,b] has order 2.

Standard generators of S23 are c, d where c is in the smallest conjugacy class of outer involutions, d has order 22 (necessarily a 22-cycle) and cd has order 23.

Black box algorithms

Checking generators (semi-presentations)

Group Semi-presentation File
A23 〈〈 a, b | some conditions 〉〉 Download


Representations of A23

Representations of S23