Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
knot
finitely presented group |
| gptkbp:abelianization |
Z
|
| gptkbp:centralTo |
trivial
|
| gptkbp:fundamentalGroupOf |
trefoil knot complement
|
| gptkbp:hasOneRelation |
true
|
| gptkbp:hasPropertyF |
false
|
| gptkbp:hasPropertyFA |
false
|
| gptkbp:hasPropertyFAb |
false
|
| gptkbp:hasPropertyFZ |
false
|
| gptkbp:hasPropertyT |
false
|
| gptkbp:hasTwoGenerators |
true
|
| gptkbp:hasWordProblem |
solvable
|
| https://www.w3.org/2000/01/rdf-schema#label |
trefoil knot group
|
| gptkbp:isNonAbelian |
true
|
| gptkbp:isomorphicTo |
gptkb:modular_group_PSL(2,_Z)
braid group B_3 |
| gptkbp:presentedBy |
⟨a, b | a^2 = b^3⟩
|
| gptkbp:residuallyFinite |
true
|
| gptkbp:usedIn |
knot theory
low-dimensional topology |
| gptkbp:bfsParent |
gptkb:fundamental_group_of_knot_complement
|
| gptkbp:bfsLayer |
7
|