About this representation
| Group
| O10+(2):2
|
| Group generators
| Standard generators
|
| Dimension
| 100
|
| Ring
| GF(2)
|
| Characteristic
| 2
|
| 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 24, 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
|