Order = 4952179814400 = 212.312.52.7.13.
Mult = 2 × 2.
Out = S4.


Porting notes

Porting incomplete.

Standard generators

Standard generators of O8+(3) are a, b where a is in class 2A, b is in class 5B, ab has order 13 and abb has order 14. Alternatively: a is in class 2A/B/C, b is in class 5A/B/C, ab has order 13 and abb has order 14.

Standard generators of 2.O8+(3) are preimages A, B where A has order 2, B has order 5 and AB has order 13.

Standard generators of 22.O8+(3) are preimages A, B where B has order 5 and AB has order 13.

Type II standard generators of O8+(3):S4 are x, y.

Type II standard generators of 22.O8+(3):S4 are X, Y.


Representations

Representations of O8+(3)

Representations of 2.O8+(3)

Representations of O8+(3):S4

Representations of 22.O8+(3):S4