Find the exact object.

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

Lie theory · Lie algebra

so(5,C)≅sp(4,C)\mathfrak{so}(5, \mathbb C) \cong \mathfrak{sp}(4, \mathbb C)so(5, C) ≅ sp(4, C) — complex Lie algebra

The complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.

Reference coverageComplex simple algebra
Definition

The complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.

Definition sources
Scalar field
C\mathbb C
Source and assumptions
Complex dimension
1010
Source and assumptions
Complex rank
22
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldC\mathbb CSources
Complex dimension1010Sources
Complex rank22Sources
Root-system typeB₂ = C₂Sources
Simple over CYesSources

Using the algebra record

The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information. [sources]

Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test. [sources]

Names and aliases

sp(4,C) · C₂

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 complex simple algebra of type B₂, isomorphic to the symplectic Lie algebra on C⁴. The B₂ and C₂ diagrams use different conventional node numberings.

algebra:b-2-c#definition
Scalar field

C

algebra:b-2-c#field
Complex dimension

10

algebra:b-2-c#dimension
Complex rank

2

algebra:b-2-c#rank
Root-system type

B₂ = C₂

algebra:b-2-c#cartan-type
Simple over C

Yes

algebra:b-2-c#simple
Using the algebra record

The dimension here is complex dimension. A real form has the same real dimension, while restriction of scalars of this complex algebra to R doubles the dimension. Its connected integrating group and center require additional global information.

algebra:b-2-c#interpretation-1
Using the algebra record

Choose a real-form record before selecting a real Lie group. Highest weights belong to a weight-lattice convention, and their integration to a global quotient requires a kernel test.

algebra:b-2-c#interpretation-2
Simple-type classification

family:lie-b

algebra:b-2-c#relation-1
C₂ low-rank coincidence

family:lie-c

algebra:b-2-c#relation-2