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 |