Ring (mathematics)

From Knowino
(Redirected from Commutative ring)
Jump to: navigation, search

In mathematics, a ring is an algebraic structure with two binary operations, commonly called addition and multiplication. These operations are defined so as to emulate and generalize the integers. Other common examples of rings include the ring of polynomials of one variable with real coefficients, or a ring of square matrices of a given dimension.

To qualify as a ring, addition must be commutative and each element must have an inverse under addition: for example, the additive inverse of 3 is -3. However, multiplication in general does not satisfy these properties. A ring in which multiplication is commutative and every element except the additive identity element (0) has a multiplicative inverse (reciprocal) is called a field: for example, the set of rational numbers. (The only ring in which 0 has an inverse is the trivial ring of only one element.)

A ring can have a finite or infinite number of elements. An example of a ring with a finite number of elements is \mathbb{Z}_5, the set of remainders when an integer is divided by 5, i.e. the set {0,1,2,3,4} with operations such as 4 + 4 = 3 because 8 has remainder 3 when divided by 5. A similar ring \mathbb{Z}_n can be formed for other positive values of n.


[edit] Formal definition

A ring is a set R equipped with two binary operations, which are generally denoted + and · and called addition and multiplication, respectively, such that:

In practice, the symbol · is usually omitted, and multiplication is just denoted by juxtaposition. The usual order of operations is also assumed, so that a + bc is an abbreviation for a + (b·c). The distributive property is specified separately for left and right multiplication to cover cases where multiplication is not commutative, such as a ring of matrices.

[edit] Types of rings

[edit] Unital ring

A ring in which there is an identity element for multiplication is called a unital ring, unitary ring, or simply ring with identity. The identity element is generally denoted 1. Some authors, notably Bourbaki, demand that their rings should have an identity element, and call rings without an identity pseudorings.

[edit] Commutative ring

A ring in which the multiplication operation is commutative is called a commutative ring. Such commutative rings are the basic object of study in commutative algebra, in which rings are generally also assumed to have a unit.

[edit] Division ring

For more information, see: Division ring.

A unital ring in which every non-zero element a has an inverse, that is, an element a−1 such that a−1a = aa−1 = 1, is called a division ring or skew field.

[edit] Homomorphisms of rings

A ring homomorphism is a mapping π from a ring A to a ring B respecting the ring operations. That is,

π(ab) = π(a)π(b)
π(a + b) = π(a) + π(b)

If the rings are unital, it is often assumed that π maps the identity element of A to the identity element of B.

A homomorphism can map a larger set onto a smaller set; for example, the ring A could be the integers \mathbb{Z} and could be mapped onto the trivial ring which contains only the single element 0.

[edit] Subrings

If A is a ring, a subset B of A is called a subring if B is a ring under the ring operations inherited from A. It can be seen that this is equivalent to requiring that B be closed under multiplication and subtraction.

If A is unital, some authors demand that a subring of A should contain the unit of A.

[edit] Ideals

A two-sided ideal of a ring A is a subring I such that for any element a in A and any element b in I we have that ab and ba are elements of I. The concept of ideal of a ring corresponds to the concept of normal subgroups of a group. Thus, we may introduce an equivalence relation on A by declaring that two elements of A are equivalent if their difference is an element of I. The set of equivalence classes is then denoted by A / I and is a ring with the induced operations.

If h:A\rarr B is a ring homomorphism, then the kernel of h, defined as the inverse image of 0, \{x \in A:h(x) = 0\}, is an ideal of A. Conversely, if I is an ideal of A, then there is a natural ring homomorphism, the quotient homomorphism, from A to A / I such that I is the set of all elements mapped to 0 in A / I.

[edit] Examples

[edit] Constructing new rings from given ones

(r1, s1) + (r2, s2) = (r1+r2, s1+s2) and
(r1, s1)(r2, s2) = (r1r2, s1s2).
With these operations R×S is a ring.

[edit] History

The study of rings originated from the study of polynomial rings and algebraic number fields in the second half of the nineteenth century, amongst other by Richard Dedekind. The term ring itself, however, was coined by David Hilbert in 1897.

[edit] See also

[edit] References

Fraleigh, John B. 2003. A First Course in Abstract Algebra. 7th ed. Boston: Addison-Wesley

Hilbert, David. 1897. Die Theorie der algebraische Zahlkoerper, ahresbericht der Deutschen Mathematiker Vereiningung vol. 4.

Lang, Serge. 2002. Algebra. 3rd ed. New York: Springer

Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools