Find the exact object.

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

Lie theory · Family

G2\mathrm{G}_{2}Simple Lie type G₂

Complex simple Lie type G₂ with dimension, normalized Coxeter data, compact cover, and its center.

Classification coverageClassificationComplex simple algebraCompact global forms
Definition

The simple complex Lie algebra with Dynkin diagram G₂.

Definition sources
Complex algebra dimension
1414
Source and assumptions
Center of compact simply connected group
11
Source and assumptions

Parameter domain

Classification of complex simple type; compact center and global-form rule; selected concrete real forms.

Classification sources and conventions

Reference properties

PropertyValueEvidence
Rank22Sources
Complex algebra dimension1414Sources
Coxeter number h66Sources
Dual Coxeter number h∨44Sources
Compact simply connected groupG₂, compact form (simply connected and adjoint)Sources
Center of compact simply connected group11Sources
Root-length conventionLong roots have squared length 2Sources

Algebra, real form, global group

A Dynkin type classifies a complex simple Lie algebra. A real Lie group additionally requires a real form and a global form. The compact cover in this record is a specific connected group, not the meaning of the type symbol itself. [sources]

Connected compact groups with this simple Lie algebra are quotients of the simply connected compact group by subgroups of its center. Distinct central subgroups need not yield distinct abstract groups: automorphisms of the covering group can identify the resulting quotients. [sources]

Representation convention

Dominant integral highest weights classify finite-dimensional complex irreducible representations of the simply connected compact group. A representation descends to a chosen central quotient precisely when every element of the quotient kernel acts trivially. [sources]

The listed dual Coxeter number uses long-root squared length 2. Relating it to a physics Casimir convention requires the normalization of generators and invariant bilinear form. [sources]

Current real-form coverage

This foundation supplies the compact real form of this exceptional type. It does not yet provide the complete list of exceptional noncompact real forms or their global covers. [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 simple complex Lie algebra with Dynkin diagram G₂.

family:lie-g2#definition
Rank

2

family:lie-g2#rank
Complex algebra dimension

14

Derivation: For an irreducible root system, dim(g) = r + |Φ| = r(h + 1).

Premises: Rank r · Coxeter number h in Section 32.4

family:lie-g2#dimension
Coxeter number h

6

family:lie-g2#coxeter-number
Dual Coxeter number h∨

4

family:lie-g2#dual-coxeter-number
Compact simply connected group

G₂, compact form (simply connected and adjoint)

family:lie-g2#compact-cover
Center of compact simply connected group

1

family:lie-g2#center
Root-length convention

Long roots have squared length 2

family:lie-g2#root-normalization
Algebra, real form, global group

A Dynkin type classifies a complex simple Lie algebra. A real Lie group additionally requires a real form and a global form. The compact cover in this record is a specific connected group, not the meaning of the type symbol itself.

family:lie-g2#objects-1
Algebra, real form, global group

Connected compact groups with this simple Lie algebra are quotients of the simply connected compact group by subgroups of its center. Distinct central subgroups need not yield distinct abstract groups: automorphisms of the covering group can identify the resulting quotients.

family:lie-g2#objects-2
Representation convention

Dominant integral highest weights classify finite-dimensional complex irreducible representations of the simply connected compact group. A representation descends to a chosen central quotient precisely when every element of the quotient kernel acts trivially.

family:lie-g2#representations-1
Representation convention

The listed dual Coxeter number uses long-root squared length 2. Relating it to a physics Casimir convention requires the normalization of generators and invariant bilinear form.

family:lie-g2#representations-2
Current real-form coverage

This foundation supplies the compact real form of this exceptional type. It does not yet provide the complete list of exceptional noncompact real forms or their global covers.

family:lie-g2#real-forms-1
Concrete algebra record

algebra:g-2-c

family:lie-g2#relation-1