Unit (ring theory)

In algebra, a unit or invertible element of a ring is a special number that can be paired with another number in the same ring to make 1, the multiplicative identity. This means if you have a unit u in a ring R, there is another number v in R such that when you multiply u by v (or v by u), you get 1. This number v is unique and is called the multiplicative inverse of u.

All the units in a ring form a group under multiplication, called the group of units or unit group of the ring. This group is very important in studying the properties of rings.

Sometimes, the word unit can also mean the number 1 in the ring, especially when talking about a ring with a unit or a unit ring. To avoid confusion, people often call 1 the "unity" or the "identity" of the ring and use phrases like "ring with unity" or "ring with identity" instead of "unit ring".

Examples

In algebra, a unit is a special kind of number in a ring that can be "reversed" through multiplication. The number 1 and its opposite, −1, are always units. For example, in the ring of whole numbers, only 1 and −1 can reverse other numbers through multiplication.

In more complex structures, like rings built from whole numbers with added roots (such as √3), there can be many more units. These units have special properties that allow them to act like reversible numbers in calculations.

Group of units

A commutative ring is a special kind of ring called a local ring when a certain part of it, called R ∖ R^×, is a maximal ideal.

If R is a finite field, then the set of its units forms a cyclic group of order |R| − 1.

Every ring homomorphism from a ring R to another ring S creates a matching group homomorphism from R^× to S^×. This shows how the idea of units connects rings to groups.

Associatedness

In a special kind of math structure called a ring, two numbers are called "associates" if you can multiply one by a special number (called a unit) to get the other. For example, in whole numbers, 6 and -6 are associates because multiplying 6 by the unit -1 gives -6.

This idea of being an associate creates a way to group numbers together, and it works like a special kind of relationship across the whole ring.