isCarnotAlgebra
P140367
predicate
Indicates that the given algebra satisfies the defining structural properties of a Carnot algebra (a stratified, nilpotent Lie algebra with a graded decomposition).
Sample triples (1)
| Subject | Object |
|---|---|
| Heisenberg Lie algebra | true ⓘ |