Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
free group |
| gptkbp:automorphismGroup |
GL(2,Z)
|
| gptkbp:Cayley_graph |
infinite 4-regular tree
|
| gptkbp:centralTo |
trivial
|
| gptkbp:commutator_subgroup |
free group of countable rank
|
| gptkbp:has_generator |
a
b |
| gptkbp:hasSubgroup |
free group of any finite rank
|
| https://www.w3.org/2000/01/rdf-schema#label |
free group of rank 2
|
| gptkbp:is_Hopfian |
true
|
| gptkbp:is_linear |
true
|
| gptkbp:is_residually_finite |
true
|
| gptkbp:is_subgroup_separable |
true
|
| gptkbp:is_torsion-free |
true
|
| gptkbp:isNonAbelian |
true
|
| gptkbp:order |
infinite
|
| gptkbp:presentedBy |
<a,b | >
|
| gptkbp:rank |
2
|
| gptkbp:universal_property |
any map from {a,b} to a group extends uniquely to a homomorphism
|
| gptkbp:word_problem |
solvable
|
| gptkbp:bfsParent |
gptkb:SL(2,_Z)
gptkb:Borromean_rings gptkb:Thompson's_group_F |
| gptkbp:bfsLayer |
6
|