definition 14.20 Cartan subalgebra and rank
open in the book ·
parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:628
· p. 548
- ground object -- no derivation owed
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
proposition 14.22
The rank of $\mathfrak{so}(p,q)$
¶
-
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.388 The invariant measure ¶
- depends_on proposition A.390 Construction ¶
-
depends_on
lemma A.386
The little group
¶
- depends_on proposition A.390 Construction ¶ ↺
- 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.387
Standard boost and transitivity
¶
- 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
¶
-
depends_on
lemma 14.68
The algebra fixing a timelike momentum
¶
-
depends_on
proposition 14.50
Dimension and rank
¶
- depends_on lemma A.378 Real ideals and complex ideals ¶
-
depends_on
proposition 14.54
The two Casimir operators of $\mathfrak{su}(3)$
¶
- depends_on example A.358 Rank two: $\mathfrak{su}(3)$ ¶
- depends_on proposition 102.28 The parameters of QCD ¶
-
depends_on
theorem A.376
$\mathfrak{su}(3)$ is simple
¶
- depends_on corollary A.377 The adjoint representation is irreducible ¶
-
depends_on
theorem A.346
Racah
¶
- depends_on example A.359 The Lorentz algebra ¶
- depends_on example A.357 Rank one: $\mathfrak{su}(2)$ ¶
- depends_on example A.358 Rank two: $\mathfrak{su}(3)$ ¶ ↺
- depends_on theorem A.352 Chevalley's theorem on finite reflection groups, quoted ¶
- depends_on theorem A.351 Chevalley restriction theorem, quoted ¶
-
depends_on
theorem 14.21
Racah
¶
- depends_on proposition 14.22 The rank of $\mathfrak{so}(p,q)$ ¶ ↺
- depends_on proposition 14.54 The two Casimir operators of $\mathfrak{su}(3)$ ¶ ↺
- depends_on theorem A.385 Labels of a massive representation ¶ ↺
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 |
← | The rank of $\mathfrak{so}(p,q)$ | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:675 |
depends_on |
← | Dimension and rank | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:1934 |
depends_on |
← | Racah | declared | appendices/A-long-proofs.tex:16923 |
depends_on |
← | Chevalley's theorem on finite reflection groups, quoted | declared | appendices/A-long-proofs.tex:17125 |
depends_on |
← | Chevalley restriction theorem, quoted | declared | appendices/A-long-proofs.tex:17096 |
depends_on |
← | Racah | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:642 |