definition 109.27 The complex Lorentz group

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on lemma 109.42 Total inversion is a complex Lorentz transformation ¶
  • depends_on corollary 109.43 Total inversion is automatic ¶
    • depends_on theorem 109.44 Jost ¶
      • depends_on corollary 109.45 Locality implies $PCT$ ¶
    • depends_on theorem 109.49 Spin and statistics ¶
      • depends_on corollary 109.50 The connection between spin and statistics ¶
• depends_on theorem 109.28 Bargmann–Hall–Wightman; imported ¶
  • depends_on corollary 109.43 Total inversion is automatic ¶ ↺
  • depends_on theorem 109.49 Spin and statistics ¶ ↺
• depends_on theorem 109.30 Jost; imported ¶
  • depends_on corollary 109.43 Total inversion is automatic ¶ ↺