Normalized axial rotation subgroup of SO(3)
eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π. Kernel: {1}.
eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.
Definition sourcesThe group map
Reference properties
Global and representation consequences
This uses the actual spatial rotation angle θ. The quotient SO(3)/SO(2) is S². The inclusion sends a winding number to its parity in π₁(SO(3)) = C₂. [sources]
A 2π rotation lifts to a path from I to −I in SU(2), whereas a 4π rotation lifts to a loop. Therefore the inclusion induces reduction modulo two, and the boundary map π₂(S²) → π₁(SO(2)) is multiplication by +2 after choosing compatible orientations. [sources]
Related objects and maps
- Domain group
- Codomain group
- Associated homogeneous quotient
Claims and sources
Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.
Definition
eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#definitionDomain
u-1
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#domainCodomain
so-3
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#codomainSpecified homomorphism
eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#formulaKernel
{1}
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#kernelImage
Rotations fixing a chosen oriented axis, isomorphic to SO(2)
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#imageInjective
Yes
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#injectiveSurjective
No
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#surjectiveGlobal and representation consequences
This uses the actual spatial rotation angle θ. The quotient SO(3)/SO(2) is S². The inclusion sends a winding number to its parity in π₁(SO(3)) = C₂.
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.1, Proposition 43.2 and Corollary 43.5: weight lattices and descent to central quotientsOpen source
map:u-1-to-so-3#meaning-1Global and representation consequences
A 2π rotation lifts to a path from I to −I in SU(2), whereas a 4π rotation lifts to a loop. Therefore the inclusion induces reduction modulo two, and the boundary map π₂(S²) → π₁(SO(2)) is multiplication by +2 after choosing compatible orientations.
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Algebraic TopologySection 4.2, Theorem 4.41, printed page 376; Hopf-fibration example on page 375Open source
Premises: map:su-2-to-so-3 · SO(3) is RP³ · π₂(RP³)=π₂(S³)=0 · Fiber loop is one spatial 2π rotation
map:u-1-to-so-3#meaning-2Domain group
group:u-1
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#relation-1Codomain group
group:so-3
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
- Conrad and Landesman · Compact Lie groupsLecture 16, including (16.6), and Appendix P: Spin(n) as the simply connected double cover for n ≥ 3Open source
map:u-1-to-so-3#relation-2Associated homogeneous quotient
space:so-3-over-so-2
- Lie Groups and Lie AlgebrasSection 4.17, printed page 31: SU(2)/U(1) and SO(3)/SO(2) as S²; SU(2)=S³ and SO(3)=RP³Open source
map:u-1-to-so-3#relation-3