Suppose we are given a regular symmetric bilinear form on a
finite-dimensional vector space
V over a commutative field
K of
characteristic

.
We want to write given elements of the
commutator subgroup

(of the orthogonal group

)
and also of the kernel of the spinorial norm

as (short)
products of involutions and as products of commutators.