Summary
In algebra, a unit or invertible element of a ring is an invertible element for the multiplication of the ring. That is, an element u of a ring R is a unit if there exists v in R such that where 1 is the multiplicative identity; the element v is unique for this property and is called the multiplicative inverse of u. The set of units of R forms a group R^× under multiplication, called the group of units or unit group of R. Other notations for the unit group are R∗, U(R), and E(R) (from the German term Einheit). Less commonly, the term unit is sometimes used to refer to the element 1 of the ring, in expressions like ring with a unit or unit ring, and also unit matrix. Because of this ambiguity, 1 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 1 and its additive inverse −1 are always units. More generally, any root of unity in a ring R is a unit: if rn = 1, then rn − 1 is a multiplicative inverse of r. In a nonzero ring, the element 0 is not a unit, so R^× is not closed under addition. A nonzero ring R in which every nonzero element is a unit (that is, R^× = R −{0}) 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 R is R − {0}. In the ring of integers Z, the only units are 1 and −1. In the ring Z/nZ of integers modulo n, the units are the congruence classes (mod n) represented by integers coprime to n. They constitute the multiplicative group of integers modulo n. In the ring Z[] obtained by adjoining the quadratic integer to Z, one has (2 + )(2 − ) = 1, so 2 + is a unit, and so are its powers, so Z[] has infinitely many units. More generally, for the ring of integers R in a number field F, Dirichlet's unit theorem states that R^× is isomorphic to the group where is the (finite, cyclic) group of roots of unity in R and n, the rank of the unit group, is where are the number of real embeddings and the number of pairs of complex embeddings of F, respectively.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (7)
MATH-310: Algebra
This is an introduction to modern algebra: groups, rings and fields.
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
MATH-506: Topology IV.b - cohomology rings
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Show more