Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
cyclic group
|
| gptkbp:containsElement |
2
0 1 3 4 5 6 |
| gptkbp:generation |
1
3 5 |
| gptkbp:hasSubgroup |
{0,1,2,3,4,5,6}
{0} |
| https://www.w3.org/2000/01/rdf-schema#label |
Z 7
|
| gptkbp:identityElement |
0
|
| gptkbp:isFiniteGroup |
true
|
| gptkbp:isNonAbelian |
true
|
| gptkbp:isomorphicTo |
gptkb:C_7
gptkb:the_additive_group_of_integers_modulo_7 |
| gptkbp:isSimple |
true
|
| gptkbp:operator |
addition modulo 7
|
| gptkbp:order |
7
|
| gptkbp:bfsParent |
gptkb:PSL(2,7)
|
| gptkbp:bfsLayer |
6
|