The units of a ring form a group under the ring's multiplication, denoted . Closure follows because a product of units has inverseThe identity element is the ring's one, associativity is inherited, and each multiplicative inverse is again a unit. The reversed order in the displayed formula is essential in a noncommutative ring.
For example, and . In the second group, each nonidentity element has square one. For a field , the unit group of the matrix ring is the general linear group , connecting the abstract definition with invertible matrices.
New to topics? Read the docs here!