Chevalley group of type D

Definition

Let $K$ be a field and $n$ be a natural number. The Chevalley group of type D denoted $D_{n}(K)$, is defined as follows:

1. Start with the split orthogonal group of degree $2n$ over $K$.
2. 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)
3. 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 $D_{n}(K)$. It is also denoted $P\Omega _{2n}^{+}(K)$.

The notation $D_{n}(q)$ is used as a shorthand for $D_{n}(\mathbb {F} _{q})$ where $\mathbb {F} _{q}$ is the (unique up to isomorphism) field of size $q$.

Particular cases

Finite fields

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

$q$ (field size)	$p$ (underlying prime, field characteristic)	exponent on $p$ giving $q$	$n$	Group $D_{n}(q)$	Order