Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:dihedral_group
|
| gptkbp:automorphismGroup |
gptkb:dihedral_group_of_order_18
|
| gptkbp:centralTo |
cyclic group of order 1
|
| gptkbp:cycle |
false
|
| gptkbp:hasNormalSubgroup |
gptkb:cyclic_group_of_order_9
cyclic group of order 2 |
| gptkbp:hasSubgroup |
gptkb:dihedral_group_of_order_6
gptkb:cyclic_group_of_order_9 cyclic group of order 2 cyclic group of order 3 |
| gptkbp:isGroupOfSymmetriesOf |
regular nonagon
|
| gptkbp:isNilpotent |
false
|
| gptkbp:isNonAbelian |
true
|
| gptkbp:isomorphicTo |
semidirect product of C_9 and C_2
|
| gptkbp:isSimple |
false
|
| gptkbp:isSolvable |
true
|
| gptkbp:notation |
D_9
Dih_9 |
| gptkbp:numberOfElementsOfOrder1 |
1
|
| gptkbp:numberOfElementsOfOrder2 |
9
|
| gptkbp:numberOfElementsOfOrder9 |
2
|
| gptkbp:order |
18
|
| gptkbp:presentedBy |
⟨r, s | r^9 = s^2 = 1, s r s^{-1} = r^{-1}⟩
|
| gptkbp:bfsParent |
gptkb:symmetric_group_S_9
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
dihedral group of order 18
|