Opentopia Directory Encyclopedia Tools

Unit (ring theory)

Encyclopedia : U : UN : UNI : Unit (ring theory)


In mathematics, a unit in a (unital) ring R is an invertible element of R, i.e. an element u such that there is a v in R with

uv = vu = 1R, where 1R is the multiplicative identity element.
That is, u is an invertible element of the multiplicative monoid of R.

Unfortunately, the term unit is also used to refer to the identity element 1R of the ring, in expressions like ring with a unit or unit ring, and also e.g. unit matrix. (For this reason, some authors call 1R "unity", and say that R is a "ring with unity" rather than "ring with a unit".)

Group of units

The units of R form a group U(R) under multiplication, the group of units of R. The group of units U(R) is sometimes also denoted R* or R×.

In a commutative unital ring R, the group of units U(R) acts on R via multiplication. The orbits of this action are called sets of associates; in other words, there is an equivalence relation ~ on R called associatedness such that

r ~ s
means that there is a unit u with r = us.

One can check that U is a functor from the category of rings to the category of groups: every ring homomorphism f : RS induces a group homomorphism U(f) : U(R) → U(S), since f maps units to units. This functor has a left adjoint which is the integral group ring construction.

A ring R is a field if and only if R* = R \ .

Examples

 


From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles
0123456789
ABCDEFGHIJ
KLMNOPQRST
UVWXYZ?

E-mail this article to:

Personal Message: