A square root of unity is an element of a ring with identity satisfying . In a field of characteristic different from two, the only possibilities are and : the difference of squares identity has no other roots because a field has no zero divisors. In a general ring more solutions may occur; modulo eight the four residue classes all have square one.
New to topics? Read the docs here!