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.