# Chevalley group of type B

From Groupprops

## Definition

Let be a field and be a natural number. The **Chevalley group of type B**, denoted , is defined as follows:

- Start with a symmetric bilinear form on under which the vector space decomposes as the sum of a -dimensional hyperbolic space and a one-dimensional anisotropic space. Note that for a finite field, this is the unique (up to equivalence) nondegenerate symmetric bilinear form on .
- Consider the orthogonal group for this bilinear form.
- Take the intersection of the kernels of the spinor norm and Dickson invariant maps (for characteristic not equal to 2, we could take the kernel of the determinant map instead of the kernel of the Dickson invariant map).

The group obtained at the end of Step (3) is the group . It is also denoted .

For a prime power , we denote by the group .

## Collisions with other Chevalley groups

- is always isomorphic to , i.e., the group .
- For characteristic two, these coincide with the projective symplectic groups. Specifically, , where ., Thus, for instance, is isomorphic to .