About this representation
| Group |
M23 |
| Group generators |
Standard generators |
|
Dimension |
231 |
|
Distinguishing letter |
b |
| Ring |
GF(121) |
|
Characteristic |
11 |
|
Irreducibility information |
Absolutely irreducible |
| Contributed
by |
Not recorded |
Download
This representation is available in the following
formats:
Checks applied
| Check |
Description |
Date |
Checked by |
Result |
| Presentation |
Check against the relations in a
presentation. If this test passes, then the group is of the
correct isomorphism type, and the generators are those
stated. Note that the presentation itself is not checked
here. |
Jul 4, 2006 |
certify.pl version 0.05 |
Pass |
| Semi-presentation |
Check against a semi-presentation. If this
fails, then the representation is not on standard
generators, and may generate the wrong group. Note that the
semi-presentation itself is not checked here. |
Jul 4, 2006 |
certify.pl version 0.05 |
Pass |
| Dimension/field |
Check the dimension and field/ring of the
representation. |
Jul 4, 2006 |
certify.pl version 0.05 |
Pass |
| Files exist |
Check whether files exist (where
stated). |
Jul 4, 2006 |
certify.pl version 0.05 |
Pass |
| Irreducibility |
Check the irreducibility type is
correct. |
Jul 5, 2006 |
irr.pl v0.2 |
Pass |