definition 15.52 Balanced form
open in the book ·
parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2000
· p. 623
- ground object -- no derivation owed
Rests on
- depends_on definition 15.3 Tensor product Lie algebra ¶
Supports
-
depends_on
theorem 15.53
The factorised forms are exactly the balanced ones
¶
- depends_on proposition 15.55 Completeness fails for $k\ge3$ ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Tensor product Lie algebra | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2011 |
depends_on |
← | The factorised forms are exactly the balanced ones | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2029 |