theorem 14.90 Bacry–Lévy-Leblond
open in the book ·
parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3887
· p. 585
Rests on
- depends_on definition 14.83 Contraction ¶
- depends_on equation 14.34 eq:lie-so3-algebra-real ¶
- proves proof ch:12-lie-groups-fibre-bundles@prooflink-11 ¶
Supports
- 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 ¶
-
depends_on
definition A.413
The Galilei algebra of three space dimensions
¶
- depends_on proposition A.419 The coboundaries ¶
-
depends_on
proposition A.418
The cocycles
¶
- depends_on proposition A.419 The coboundaries ¶ ↺
- depends_on theorem A.414 $H^{2}$ of the Galilei algebra ¶
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 |
→ | Contraction | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3913 |
depends_on |
→ | eq:lie-so3-algebra-real | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3913 |
depends_on |
← | The sign data, hypothesis (H3), and the count eleven | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1779 |
depends_on |
← | The eight vertices are the eight degenerations of $A$ | declared | parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1713 |
depends_on |
← | The Galilei algebra of three space dimensions | declared | appendices/A-long-proofs.tex:20228 |
proves |
← | ch:12-lie-groups-fibre-bundles@prooflink-11 | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3915 |