Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
finite-dimensional Lie algebras
|
| gptkbp:consequence |
nilpotency of Lie algebra under ad-nilpotency
|
| gptkbp:field |
gptkb:Lie_group
|
| https://www.w3.org/2000/01/rdf-schema#label |
Engel's theorem
|
| gptkbp:namedAfter |
gptkb:Friedrich_Engel
|
| gptkbp:provenBy |
induction on dimension
|
| gptkbp:relatedTo |
gptkb:Lie's_theorem
|
| gptkbp:sentence |
A Lie algebra in which all elements are ad-nilpotent is nilpotent.
|
| gptkbp:usedIn |
structure theory of Lie algebras
|
| gptkbp:yearProposed |
1900s
|
| gptkbp:bfsParent |
gptkb:Lie_algebras
|
| gptkbp:bfsLayer |
6
|