Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:characterizedBy |
derived series terminates at identity
|
| gptkbp:definedIn |
Lie algebra is solvable
|
| gptkbp:example |
gptkb:Heisenberg_group
gptkb:upper_triangular_matrix_group abelian Lie group |
| gptkbp:hasApplication |
gptkb:partial_differential_equations
gptkb:geometry physics representation theory |
| gptkbp:hasProperty |
gptkb:Riemannian_manifold
connected |
| gptkbp:Lie_algebra |
solvable Lie algebra
|
| gptkbp:relatedTo |
gptkb:semisimple_Lie_group
nilpotent Lie group |
| gptkbp:studiedIn |
gptkb:Lie_theory
gptkb:mathematics |
| gptkbp:subclassOf |
gptkb:Lie_group
solvable group |
| https://www.w3.org/2000/01/rdf-schema#label |
solvable Lie group
|