Universal equivalence of general linear groups over local rings with 1/2

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.