Find the exact object.

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

Lie theory · Real form

sp(3)\mathfrak{sp}(3)sp(3) real form

Compact real form of sp(6, C) with its curated integrating groups.

Reference coverageCompact real form
Definition

The compact quaternionic skew-Hermitian 3 × 3 matrices with commutator bracket.

Definition sources
Real dimension
2121
Source and assumptions

Complexification

sp(6,C)\mathfrak{sp}(6, \mathbb C)

This is the compact real form. The integration links below identify particular global groups with this local algebra.

Reference properties

PropertyValueEvidence
Real dimension2121Sources
Complexificationsp(6,C)\mathfrak{sp}(6, \mathbb C)Sources
Compact real formYesSources
Real rank00Sources

One algebra, several integrations

A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel. [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

The compact quaternionic skew-Hermitian 3 × 3 matrices with commutator bracket.

real-form:sp-3-compact-r#definition
Real dimension

21

real-form:sp-3-compact-r#dimension
Complexification

sp(6, C)

real-form:sp-3-compact-r#complexification
Compact real form

Yes

real-form:sp-3-compact-r#compact
Real rank

0

real-form:sp-3-compact-r#real-rank
One algebra, several integrations

A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel.

real-form:sp-3-compact-r#global-forms-1
Actual real Lie algebra

algebra:sp-3-compact-r

real-form:sp-3-compact-r#relation-1
Complexification

algebra:c-3-c

real-form:sp-3-compact-r#relation-2
Curated global form

group:sp-3

real-form:sp-3-compact-r#relation-3