Order = 3113510400 = 29.35.52.7.11.13.
Mult = 2.
Out = 2.


Porting notes

Porting incomplete.

Standard generators

Standard generators of A13 are a, b where a is in class 3A, b has order 11 and ab has order 13.

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

Standard generators of S13 are c, d where c is in class 2D, d is in class 12M and cd has order 13.

Standard generators of 2.S13 are preimages C, D where CD has order 13.


Black box algorithms

Checking generators (semi-presentations)

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

Representations

Representations of A13

Representations of 2.A13

Representations of S13