equation 14.23 eq:lie-sopq-defining
open in the book ·
parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:683
- part of a statement or proof
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
lemma A.387
Standard boost and transitivity
¶
-
depends_on
lemma A.388
The invariant measure
¶
-
depends_on
proposition A.390
Construction
¶
- depends_on proposition A.391 Reducible little-group data give reducible representations ¶
- depends_on theorem A.392 Wigner–Mackey classification; quoted ¶
-
depends_on
proposition A.390
Construction
¶
- depends_on proposition A.390 Construction ¶ ↺
-
depends_on
lemma A.388
The invariant measure
¶
-
depends_on
lemma A.386
The little group
¶
- depends_on proposition A.390 Construction ¶ ↺
-
depends_on
lemma 14.68
The algebra fixing a timelike momentum
¶
-
depends_on
definition A.384
The mass shell and the standard momentum
¶
- depends_on lemma A.387 Standard boost and transitivity ¶ ↺
- depends_on lemma A.386 The little group ¶ ↺
- depends_on lemma A.388 The invariant measure ¶ ↺
- depends_on theorem A.385 Labels of a massive representation ¶
- depends_on theorem A.392 Wigner–Mackey classification; quoted ¶ ↺
- depends_on lemma A.386 The little group ¶ ↺
- depends_on theorem A.385 Labels of a massive representation ¶ ↺
-
depends_on
definition A.384
The mass shell and the standard momentum
¶
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 |
← | Standard boost and transitivity | declared | appendices/A-long-proofs.tex:18912 |
depends_on |
← | The little group | declared | appendices/A-long-proofs.tex:18874 |
depends_on |
← | The algebra fixing a timelike momentum | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3023 |