The reduced Whitehead group is the quotient group
of the Whitehead group by the subgroup generated
by
.
Here, the element
denotes the element
of group order dividing 2 corresponding to the unit
where
is the set of
invertible matrices with coefficients
in an associative ring
with unit,
i.e., the set of all units in an
associative unit ring
.