Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

Lie theory · Map

U(1)≅SO(2)↪SO(3)\mathrm{U}(1) \cong \mathrm{SO}(2) \hookrightarrow \mathrm{SO}(3)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}.

Executable coverageEmbedding
Definition

eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.

Definition sources

The group map

Kernel{1}\{1\}
ImageRotations fixing a chosen oriented axis, isomorphic to SO(2)

Injective: an embedding.

Reference properties

PropertyValueEvidence
Domainu-1Sources
Codomainso-3Sources
Specified homomorphismeⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.Sources
Kernel{1}\{1\}Sources
ImageRotations fixing a chosen oriented axis, isomorphic to SO(2)Sources
InjectiveYesSources
SurjectiveNoSources

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

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π.

map:u-1-to-so-3#definition
Domain

u-1

map:u-1-to-so-3#domain
Codomain

so-3

map:u-1-to-so-3#codomain
Specified homomorphism

eⁱθ ↦ diag(R(θ),1), where R(θ) has rows (cos θ,−sin θ) and (sin θ,cos θ), with θ modulo 2π.

map:u-1-to-so-3#formula
Kernel

{1}

map:u-1-to-so-3#kernel
Image

Rotations fixing a chosen oriented axis, isomorphic to SO(2)

map:u-1-to-so-3#image
Injective

Yes

map:u-1-to-so-3#injective
Surjective

No

map:u-1-to-so-3#surjective
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₂.

map:u-1-to-so-3#meaning-1
Global 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.

Derivation: The kernel of Z → C₂ is 2Z. Since π₂(SO(3))=0, the boundary map is injective with this image.

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-2
Domain group

group:u-1

map:u-1-to-so-3#relation-1
Codomain group

group:so-3

map:u-1-to-so-3#relation-2
Associated homogeneous quotient

space:so-3-over-so-2

map:u-1-to-so-3#relation-3