  In this study, it is proven that the universal equivalence of general linear
groups (admitting the inverse-transpose automorphism) of orders greater than
$2$, over local, not necessarily commutative rings with $1/2$, is equivalent to
the coincidence of the orders of the groups and the universal equivalence of
the corresponding rings.
