definition 14.32 The special unitary group in two dimensions

Rests on

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

Supports

• depends_on proposition 14.35 Generators of $\mathfrak{su}(2)$ ¶
  • depends_on proposition 14.36 Closed form of the exponential ¶
    • depends_on proposition 14.45 Which representations descend to $\SO(3,\R)$ ¶
    • depends_on theorem 14.37 $\SU(2)$ is a two-to-one cover of $\SO(3,\R)$ ¶
      • depends_on corollary 14.38 $\SU(2)$ is the universal cover ¶
        • depends_on proposition 14.31 $\SO(3,\R)$ is not simply connected ¶
        • depends_on proposition 14.45 Which representations descend to $\SO(3,\R)$ ¶ ↺
      • depends_on lemma A.369 $\Phi$ is a two-sheeted covering ¶
  • depends_on theorem 14.37 $\SU(2)$ is a two-to-one cover of $\SO(3,\R)$ ¶ ↺
• depends_on proposition 14.33 $\SU(2)$ is the three-sphere ¶
  • depends_on corollary 14.38 $\SU(2)$ is the universal cover ¶ ↺
  • depends_on lemma A.369 $\Phi$ is a two-sheeted covering ¶ ↺
  • depends_on theorem 14.37 $\SU(2)$ is a two-to-one cover of $\SO(3,\R)$ ¶ ↺