In algebra, a unit or invertible element of a ring is an invertible element for the multiplication of the ring. That is, an element of a ring is a unit if there exists in such thatwhere is the multiplicative identity; the element is unique for this property and is called the multiplicative inverse of . The set of units of forms a group under multiplication, called the group of units or unit group of . Other notations for the unit group are,, and (from the German term German: [[wikt:Einheit|Einheit]]).
Less commonly, the term unit is sometimes used to refer to the element of the ring, in expressions like ring with a unit or unit ring, and also unit matrix. Because of this ambiguity, is more commonly called the "unity" or the "identity" of the ring, and the phrases "ring with unity" or a "ring with identity" may be used to emphasize that one is considering a ring instead of a rng.
The multiplicative identity and its additive inverse are always units. More generally, any root of unity in a ring is a unit: if, then is a multiplicative inverse of .In a nonzero ring, the element 0 is not a unit, so is not closed under addition.A nonzero ring in which every nonzero element is a unit (that is,) is called a division ring (or a skew-field). A commutative division ring is called a field. For example, the unit group of the field of real numbers is .
In the ring of integers, the only units are and .
In the ring of integers modulo, the units are the congruence classes represented by integers coprime to . They constitute the multiplicative group of integers modulo .
In the ring obtained by adjoining the quadratic integer to, one has, so is a unit, and so are its powers, so has infinitely many units.
More generally, for the ring of integers in a number field, Dirichlet's unit theorem states that is isomorphic to the group where
\muR
r1,r2
This recovers the example: The unit group of (the ring of integers of) a real quadratic field is infinite of rank 1, since
r1=2,r2=0
For a commutative ring, the units of the polynomial ring are the polynomialssuch that is a unit in and the remaining coefficients
a1,...,an
N | |
a | |
i |
=0
R[[x]]
The unit group of the ring of matrices over a ring is the group of invertible matrices. For a commutative ring, an element of is invertible if and only if the determinant of is invertible in . In that case, can be given explicitly in terms of the adjugate matrix.
For elements and in a ring, if
1-xy
1-yx
1+y(1-xy)-1x
A commutative ring is a local ring if is a maximal ideal.
As it turns out, if is an ideal, then it is necessarily a maximal ideal and is local since a maximal ideal is disjoint from .
If is a finite field, then is a cyclic group of order .
Every ring homomorphism induces a group homomorphism, since maps units to units. In fact, the formation of the unit group defines a functor from the category of rings to the category of groups. This functor has a left adjoint which is the integral group ring construction.
\operatorname{GL}1
Gm
\operatorname{GL}1(R)
Gm(R)
Gm
Gm(R)\simeq\operatorname{Hom}(Z[t,t-1],R)
Z[t,t-1]\toR
Z[t]
Ga
Suppose that is commutative. Elements and of are called if there exists a unit in such that ; then write . In any ring, pairs of additive inverse elements and are associate, since any ring includes the unit . For example, 6 and −6 are associate in . In general, is an equivalence relation on .
Associatedness can also be described in terms of the action of on via multiplication: Two elements of are associate if they are in the same -orbit.
In an integral domain, the set of associates of a given nonzero element has the same cardinality as .
The equivalence relation can be viewed as any one of Green's semigroup relations specialized to the multiplicative semigroup of a commutative ring .