Chevalley group of type D
From Groupprops
Definition
Let be a field and
be a natural number. The Chevalley group of type D denoted
, is defined as follows:
- Start with the split orthogonal group of degree
over
.
- Consider the intersection of the kernel of the spinor norm map with the kernel of the Dickson invariant map (note that the kernel of the Dickson invariant map is the same as the split special orthogonal group, i.e., the kernel of the determinant, when the characteristic is not 2)
- Consider the inner automorphism group of this intersection, i.e., quotient it out by its center.
The final answer obtained in Step (3) is denoted . It is also denoted
.
The notation is used as a shorthand for
where
is the (unique up to isomorphism) field of size
.
Particular cases
Finite fields
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] ![]() |
![]() |
exponent on ![]() ![]() |
![]() |
Group ![]() |
Order |
---|