satisfiesJacobiIdentity
P69850
predicate
Indicates that a given binary operation on elements of an algebraic structure obeys the Jacobi identity, i.e., the specific cyclic sum of nested operations always equals zero.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| JacobiIdentity | 1 |
Sample triples (3)
| Subject | Object |
|---|---|
| Lie ring | true ⓘ |
| Lie bracket | [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 via predicate surface "JacobiIdentity" ⓘ |
| Poisson bracket | true ⓘ |