Projective special unitary finite simple groups
Exclude (n,q) = (3,2); q is the fixed-field size, not the matrix-field size.
The determinant-one isometries of a nondegenerate Hermitian form over F(q²), modulo scalar matrices.
Definition sourcesParameter domain
Exclude (n,q) = (3,2); q is the fixed-field size, not the matrix-field size.
| Parameter | Allowed values |
|---|---|
| n | integer n ≥ 3 |
| q | q = p^f, with p prime and f ≥ 1 |
Reference properties
Exceptions and identifications
n = 2: PSU(2,q) ≅ PSL(2,q); these are indexed in the linear family. [sources]
(3,2): PSU(3,2) has order 72 and is not simple. [sources]
(4,2): PSU(4,2) ≅ PSp(4,3). [sources]
Names and aliases
Uₙ(q) · ²Aₙ₋₁(q)
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 determinant-one isometries of a nondegenerate Hermitian form over F(q²), modulo scalar matrices.
- Finite simple groups: Lecture 3 — Classical groupsUnitary groups; structure of unitary groups I–IIOpen source
family:finite-unitary#definitionParameter domain
n: integer n ≥ 3; q: q = p^f, with p prime and f ≥ 1
- Finite simple groups: Lecture 3 — Classical groupsUnitary groups; structure of unitary groups I–IIOpen source
family:finite-unitary#parametersScope and restrictions
Exclude (n,q) = (3,2); q is the fixed-field size, not the matrix-field size.
- Finite simple groups: Lecture 3 — Classical groupsUnitary groups; structure of unitary groups I–IIOpen source
family:finite-unitary#restrictionOrder
q^[n(n−1)/2] · ∏ᵢ₌₂ⁿ(qⁱ−(−1)ⁱ) / gcd(n,q+1)
- Finite simple groups: Lecture 3 — Classical groupsOrders and scalar center of unitary groupsOpen source
family:finite-unitary#order-formulaExceptions and identifications
n = 2: PSU(2,q) ≅ PSL(2,q); these are indexed in the linear family.
- Finite simple groups: Lecture 3 — Classical groupsUnitary groups; structure of unitary groups I–IIOpen source
family:finite-unitary#exceptions-1Exceptions and identifications
(3,2): PSU(3,2) has order 72 and is not simple.
- Finite simple groups: Lecture 3 — Classical groupsUnitary groups; structure of unitary groups I–IIOpen source
family:finite-unitary#exceptions-2Exceptions and identifications
(4,2): PSU(4,2) ≅ PSp(4,3).
- Groups with a p-element acting with a single non-trivial Jordan block on a simple module in characteristic pSection 7, seven exceptional isomorphisms before Proposition 24Open source
family:finite-unitary#exceptions-3