proposition 15.41 Resonance, general form
open in the book ·
parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1532
· p. 617
Rests on
- depends_on definition 15.3 Tensor product Lie algebra ¶
- proves proof ch:13-lie-algebra-expansions@proof-24 ¶
Supports
-
depends_on
theorem 15.43
The three constants of the classification are the three
structure constants of $A$
¶
- depends_on corollary 15.46 The sign data, hypothesis (H3), and the count eleven ¶
-
depends_on
corollary 15.44
The eight vertices are the eight degenerations of $A$
¶
- depends_on remark 15.45 A correction this forces: the general splitting gives the static algebra, not Carroll ¶
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:1542 |
depends_on |
← | The three constants of the classification are the three structure constants of $A$ | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1644 |
proves |
← | ch:13-lie-algebra-expansions@proof-24 | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1545 |