About this representation
| Group
| J1
|
| Group generators
| Standard generators
|
| Dimension
| 120
|
| Distinguishing letter
| a
|
| Ring
| GF(125)
|
| Characteristic
| 5
|
| Irreducibility information
| Absolutely irreducible
|
| Indicator
| +
|
| Dimension of 1-cohomology
| 0
|
| Dimension of 2-cohomology
| 0
|
| 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
|