Find the exact object.

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

Lie theory · Group

Sp(3)\mathrm{Sp}(3)Compact symplectic group of quaternionic rank three

Simply connected compact form of C₃. Quaternionic unitary 3 × 3 matrices; equivalently the compact unitary symplectic subgroup of U(6).

Compare this group
Reference coverageCompact Lie groupSimple algebraSimply connected
Definition

Quaternionic unitary 3 × 3 matrices; equivalently the compact unitary symplectic subgroup of U(6).

Definition sources
Real dimension
2121
Source and assumptions
Compact rank
33
Source and assumptions
Center
C2\mathrm{C}_{2}
Source and assumptions
Fundamental group π₁
00
Source and assumptions

Reference properties

PropertyValueEvidence
Real dimension2121Sources
Compact rank33Sources
CenterC2\mathrm{C}_{2}Sources
Fundamental group π₁00Sources
CompactYesSources
ConnectedYesSources
AbelianNoSources
Simple real Lie algebraYesSources
Global formSimply connected compact form of C₃Sources
Real Lie algebrasp(3)\mathfrak{sp}(3)Sources

Global structure and topology

Sp(3) is compact and simply connected with center {±I}. In this notation the argument 3 is quaternionic dimension, while its defining complex representation has dimension 6. [sources]

Representation category and descent

The defining complex 6 has quaternionic type. All irreducible complex representations are indexed by dominant integral C₃ highest weights; a central quotient keeps those for which −I acts trivially. [sources]

Symplectic notation

This site writes compact Sp(n) for quaternionic n × n unitary matrices, also called USp(2n). It writes Sp(2n,R) for real matrices of size 2n preserving an alternating form. The two conventions count different dimensions. [sources]

Names and aliases

USp(6)

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

Quaternionic unitary 3 × 3 matrices; equivalently the compact unitary symplectic subgroup of U(6).

group:sp-3#definition
Real dimension

21

group:sp-3#dimension
Compact rank

3

group:sp-3#rank
Center

C₂

group:sp-3#center
Fundamental group π₁

0

group:sp-3#pi1
Compact

Yes

group:sp-3#compact
Connected

Yes

group:sp-3#connected
Abelian

No

group:sp-3#abelian
Simple real Lie algebra

Yes

group:sp-3#simple-algebra
Global form

Simply connected compact form of C₃

group:sp-3#global-form
Real Lie algebra

sp(3)

group:sp-3#lie-algebra
Global structure and topology

Sp(3) is compact and simply connected with center {±I}. In this notation the argument 3 is quaternionic dimension, while its defining complex representation has dimension 6.

group:sp-3#topology-1
Representation category and descent

The defining complex 6 has quaternionic type. All irreducible complex representations are indexed by dominant integral C₃ highest weights; a central quotient keeps those for which −I acts trivially.

group:sp-3#representations-1
Symplectic notation

This site writes compact Sp(n) for quaternionic n × n unitary matrices, also called USp(2n). It writes Sp(2n,R) for real matrices of size 2n preserving an alternating form. The two conventions count different dimensions.

group:sp-3#notation-1
Real Lie algebra

algebra:sp-3-compact-r

group:sp-3#relation-1
Real-form context

real-form:sp-3-compact-r

group:sp-3#relation-2