Order = 239500800 =
Mult = 2.
Out = 2.

Porting notes

Porting incomplete.

Standard generators

Standard generators of A12 are a, b where a is in class 3A, b has order 11, ab has order 10 and abb has order 35.

Standard generators of 2.A12 are preimages A, B where A has order 3 and B has order 11.

Standard generators of S12 = A12:2 are c, d where c is in class 2D, d has order 11 and ab has order 12.

Standard generators of 2.S12 are preimages C, D where D has order 11.

Black box algorithms

Checking generators (semi-presentations)

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


Representations of A12

Representations of 2.A12

Representations of S12