theorem 105.37 Opposite charges and opposite magnetic moments
open in the book ·
parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2891
· p. 2144
Rests on
- depends_on equation 105.26 eq:cpt-antiunitary-sandwich ¶
-
depends_on
lemma 105.35
Every Lorentz index costs a sign
¶
- depends_on equation 105.17 eq:cpt-C-photon ¶
- depends_on equation 105.6 eq:cpt-P-photon ¶
- depends_on equation 105.30 eq:cpt-T-photon ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-26 ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-29 ¶
Supports
- depends_on phenomenon 112.13 Electron and positron moments agree ¶
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 |
→ | eq:cpt-antiunitary-sandwich | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2896 |
depends_on |
→ | Every Lorentz index costs a sign | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2896 |
depends_on |
← | Electron and positron moments agree | declared | parts/11-qft-standard-model/14-exp-electron-g2.tex:1706 |
proves |
← | ch:07-discrete-symmetries-cpt@proof-29 | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2899 |