Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:defines |
A finitely generated, torsion-free nilpotent group
|
| gptkbp:hasProperty |
can be embedded in a Lie group
every finitely generated torsion-free nilpotent group is a Mal'cev group admits a faithful representation by upper triangular integer matrices |
| https://www.w3.org/2000/01/rdf-schema#label |
Mal'cev group
|
| gptkbp:isA |
nilpotent group
|
| gptkbp:namedAfter |
gptkb:Anatoly_Mal'cev
|
| gptkbp:relatedTo |
gptkb:Mal'cev_correspondence
nilpotent Lie group |
| gptkbp:studiedIn |
group theory
|
| gptkbp:bfsParent |
gptkb:Mal'cev_Lie_algebra
|
| gptkbp:bfsLayer |
8
|