Statements (24)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb: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} | 
| 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 | 
| https://www.w3.org/2000/01/rdf-schema#label | Z 7 |