Find the exact object.

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

Lie theory · Lie algebra

so(8,C)\mathfrak{so}(8, \mathbb C)so(8, C) — complex Lie algebra

The complex 8 × 8 matrices skew with respect to a nondegenerate symmetric bilinear form.

Reference coverageComplex simple algebra
Definition

The complex 8 × 8 matrices skew with respect to a nondegenerate symmetric bilinear form.

Definition sources
Scalar field
C\mathbb C
Source and assumptions
Complex dimension
2828
Source and assumptions
Complex rank
44
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldC\mathbb CSources
Complex dimension2828Sources
Complex rank44Sources
Root-system typeD4\mathrm{D}_{4}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]

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 8 × 8 matrices skew with respect to a nondegenerate symmetric bilinear form.

algebra:d-4-c#definition
Scalar field

C

algebra:d-4-c#field
Complex dimension

28

algebra:d-4-c#dimension
Complex rank

4

algebra:d-4-c#rank
Root-system type

D₄

algebra:d-4-c#cartan-type
Simple over C

Yes

algebra:d-4-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:d-4-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:d-4-c#interpretation-2
Simple-type classification

family:lie-d

algebra:d-4-c#relation-1