Find the exact object.

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

Lie theory · Lie algebra

u(1)\mathfrak{u}(1)u(1) — real Lie algebra

The real one-dimensional abelian Lie algebra iR with zero bracket. Its abstract Lie algebra alone does not distinguish the integrating groups U(1) and R.

Reference coverageCompact algebraReductive
Definition

The real one-dimensional abelian Lie algebra iR with zero bracket. Its abstract Lie algebra alone does not distinguish the integrating groups U(1) and R.

Definition sources
Real dimension
11
Source and assumptions
Absolute rank (of complexification)
11
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldRSources
Real dimension11Sources
Absolute rank (of complexification)11Sources
Simple over RNoSources
Compact real algebraYesSources
Complexification(C,[ , ]=0)(\mathbb C,[\, ,\,]=0)Sources

From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree. [sources]

For an abelian central summand, the abstract real Lie algebra does not encode whether the corresponding connected group factor is a circle or an additive real line. This record therefore links the chosen compact integration explicitly. [sources]

Names and aliases

so(2) · R with zero bracket

Aliases identify the stated object under this record’s conventions. Type names and broader search terms are kept separate.

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

The real one-dimensional abelian Lie algebra iR with zero bracket. Its abstract Lie algebra alone does not distinguish the integrating groups U(1) and R.

algebra:u-1-r#definition
Scalar field

R

algebra:u-1-r#field
Real dimension

1

algebra:u-1-r#dimension
Absolute rank (of complexification)

1

algebra:u-1-r#rank
Simple over R

No

algebra:u-1-r#simple
Compact real algebra

Yes

algebra:u-1-r#compact
Complexification

C (zero bracket)

algebra:u-1-r#complexification
From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree.

algebra:u-1-r#integration-1
From algebra to group

For an abelian central summand, the abstract real Lie algebra does not encode whether the corresponding connected group factor is a circle or an additive real line. This record therefore links the chosen compact integration explicitly.

algebra:u-1-r#integration-2
Complexification

algebra:abelian-1-c

algebra:u-1-r#relation-1
Curated integrating group

group:u-1

algebra:u-1-r#relation-2