Algebraic structure → Ring theoryRing theory |
---|

In ring theory, a branch of abstract algebra, a **quotient ring**, also known as **factor ring**, **difference ring**^{ [1] } or **residue class ring**, is a construction quite similar to the quotient groups of group theory and the quotient spaces of linear algebra.^{ [2] }^{ [3] } It is a specific example of a quotient, as viewed from the general setting of universal algebra. One starts with a ring *R* and a two-sided ideal *I* in *R*, and constructs a new ring, the quotient ring *R* / *I*, whose elements are the cosets of *I* in *R* subject to special *+* and *⋅* operations.

- Formal quotient ring construction
- Examples
- Alternative complex planes
- Quaternions and alternatives
- Properties
- For algebras over a ring
- See also
- Notes
- Further references
- External links

Quotient rings are distinct from the so-called 'quotient field', or field of fractions, of an integral domain as well as from the more general 'rings of quotients' obtained by localization.

Given a ring and a two-sided ideal in , we may define an equivalence relation on as follows:

- if and only if is in .

Using the ideal properties, it is not difficult to check that is a congruence relation. In case , we say that and are *congruent modulo *. The equivalence class of the element in is given by

- .

This equivalence class is also sometimes written as and called the "residue class of modulo ".

The set of all such equivalence classes is denoted by ; it becomes a ring, the **factor ring** or **quotient ring** of modulo , if one defines

- ;
- .

(Here one has to check that these definitions are well-defined. Compare coset and quotient group.) The zero-element of is , and the multiplicative identity is .

The map from to defined by is a surjective ring homomorphism, sometimes called the * natural quotient map* or the

- The quotient ring
*R*/ {0} is naturally isomorphic to*R*, and*R*/*R*is the zero ring {0}, since, by our definition, for any*r*in*R*, we have that [*r*] =*r*+ "R" := {*r*+*b*:*b*∈ "R"}}, which equals*R*itself. This fits with the rule of thumb that the larger the ideal*I*, the smaller the quotient ring*R*/*I*. If*I*is a proper ideal of*R*, i.e.,*I*≠*R*, then*R*/*I*is not the zero ring. - Consider the ring of integers
**Z**and the ideal of even numbers, denoted by 2**Z**. Then the quotient ring**Z**/ 2**Z**has only two elements, the coset 0+2**Z**consisting of the even numbers and the coset 1+2**Z**consisting of the odd numbers; applying the definition, [*z*] =*z*+ 2**Z**:= {*z*+ 2*y*: 2*y*∈ 2**Z**}, where 2**Z**is the ideal of even numbers. It is naturally isomorphic to the finite field with two elements,**F**_{2}. Intuitively: if you think of all the even numbers as 0, then every integer is either 0 (if it is even) or 1 (if it is odd and therefore differs from an even number by 1). Modular arithmetic is essentially arithmetic in the quotient ring**Z**/*n***Z**(which has*n*elements). - Now consider the ring
**R**[*X*] of polynomials in the variable*X*with real coefficients, and the ideal*I*= (*X*^{2}+ 1) consisting of all multiples of the polynomial*X*^{2}+ 1. The quotient ring**R**[*X*] / (*X*^{2}+ 1) is naturally isomorphic to the field of complex numbers**C**, with the class [*X*] playing the role of the imaginary unit*i*. The reason is that we "forced"*X*^{2}+ 1 = 0, i.e.*X*^{2}= −1, which is the defining property of*i*. - Generalizing the previous example, quotient rings are often used to construct field extensions. Suppose
*K*is some field and*f*is an irreducible polynomial in*K*[*X*]. Then*L*=*K*[*X*] / (*f*) is a field whose minimal polynomial over*K*is*f*, which contains*K*as well as an element*x*=*X*+ (*f*). - One important instance of the previous example is the construction of the finite fields. Consider for instance the field
**F**_{3}=**Z**/ 3**Z**with three elements. The polynomial*f*(*X*) =*X*^{2}+ 1 is irreducible over**F**_{3}(since it has no root), and we can construct the quotient ring**F**_{3}[*X*] / (*f*). This is a field with 3^{2}= 9 elements, denoted by**F**_{9}. The other finite fields can be constructed in a similar fashion. - The coordinate rings of algebraic varieties are important examples of quotient rings in algebraic geometry. As a simple case, consider the real variety
*V*= {(*x*,*y*) |*x*^{2}=*y*^{3}} as a subset of the real plane**R**^{2}. The ring of real-valued polynomial functions defined on*V*can be identified with the quotient ring**R**[*X*,*Y*] / (*X*^{2}−*Y*^{3}), and this is the coordinate ring of*V*. The variety*V*is now investigated by studying its coordinate ring. - Suppose
*M*is a C^{∞}-manifold, and*p*is a point of*M*. Consider the ring*R*= C^{∞}(*M*) of all C^{∞}-functions defined on*M*and let*I*be the ideal in*R*consisting of those functions*f*which are identically zero in some neighborhood*U*of*p*(where*U*may depend on*f*). Then the quotient ring*R*/*I*is the ring of germs of C^{∞}-functions on*M*at*p*. - Consider the ring
*F*of finite elements of a hyperreal field ***R**. It consists of all hyperreal numbers differing from a standard real by an infinitesimal amount, or equivalently: of all hyperreal numbers*x*for which a standard integer*n*with −*n*<*x*<*n*exists. The set*I*of all infinitesimal numbers in ***R**, together with 0, is an ideal in*F*, and the quotient ring*F*/*I*is isomorphic to the real numbers**R**. The isomorphism is induced by associating to every element*x*of*F*the standard part of*x*, i.e. the unique real number that differs from*x*by an infinitesimal. In fact, one obtains the same result, namely**R**, if one starts with the ring*F*of finite hyperrationals (i.e. ratio of a pair of hyperintegers), see construction of the real numbers.

The quotients **R**[*X*] / (*X*), **R**[X] / (*X* + 1), and **R**[*X*] / (*X* − 1) are all isomorphic to **R** and gain little interest at first. But note that **R**[*X*] / (*X*^{2}) is called the dual number plane in geometric algebra. It consists only of linear binomials as "remainders" after reducing an element of **R**[*X*] by *X*^{2}. This alternative complex plane arises as a subalgebra whenever the algebra contains a real line and a nilpotent.

Furthermore, the ring quotient **R**[*X*] / (*X*^{2} − 1) does split into **R**[*X*] / (*X* + 1) and **R**[*X*] / (*X* − 1), so this ring is often viewed as the direct sum **R** ⊕ **R**. Nevertheless, an alternative complex number *z* = *x* + *y* j is suggested by j as a root of *X*^{2} − 1, compared to i as root of *X*^{2} + 1 = 0. This plane of split-complex numbers normalizes the direct sum *R'* ⊕ **R** by providing a basis {1, j} for 2-space where the identity of the algebra is at unit distance from the zero. With this basis a unit hyperbola may be compared to the unit circle of the ordinary complex plane.

Suppose *X* and *Y* are two, non-commuting, indeterminates and form the free algebra **R**⟨*X*, *Y*⟩. Then Hamilton’s quaternions of 1843 can be cast as

If *Y*^{2} − 1 is substituted for *Y*^{2} + 1, then one obtains the ring of split-quaternions. Substituting minus for plus in *both* the quadratic binomials also results in split-quaternions. The anti-commutative property *YX* = −*XY* implies that *XY* has as its square

- (
*XY*)(*XY*) =*X*(*YX*)*Y*= −*X*(*XY*)*Y*= −*XXYY*= −1.

The three types of biquaternions can also be written as quotients by use of the free algebra with three indeterminates **R**⟨*X*, *Y*, *Z*⟩ and constructing appropriate ideals.

Clearly, if *R* is a commutative ring, then so is *R* / *I*; the converse, however, is not true in general.

The natural quotient map *p* has *I* as its kernel; since the kernel of every ring homomorphism is a two-sided ideal, we can state that two-sided ideals are precisely the kernels of ring homomorphisms.

The intimate relationship between ring homomorphisms, kernels and quotient rings can be summarized as follows: *the ring homomorphisms defined on R / I are essentially the same as the ring homomorphisms defined on R that vanish (i.e. are zero) on I*. More precisely, given a two-sided ideal *I* in *R* and a ring homomorphism *f* : *R* → *S* whose kernel contains *I*, there exists precisely one ring homomorphism *g* : *R* / *I* → *S* with *gp* = *f* (where *p* is the natural quotient map). The map *g* here is given by the well-defined rule *g*([*a*]) = *f*(*a*) for all *a* in *R*. Indeed, this universal property can be used to *define* quotient rings and their natural quotient maps.

As a consequence of the above, one obtains the fundamental statement: every ring homomorphism *f* : *R* → *S* induces a ring isomorphism between the quotient ring *R* / ker(*f*) and the image im(*f*). (See also: fundamental theorem on homomorphisms.)

The ideals of *R* and *R* / *I* are closely related: the natural quotient map provides a bijection between the two-sided ideals of *R* that contain *I* and the two-sided ideals of *R* / *I* (the same is true for left and for right ideals). This relationship between two-sided ideal extends to a relationship between the corresponding quotient rings: if *M* is a two-sided ideal in *R* that contains *I*, and we write *M* / *I* for the corresponding ideal in *R* / *I* (i.e. *M* / *I* = *p*(*M*)), the quotient rings *R* / *M* and (*R* / *I*) / (*M* / *I*) are naturally isomorphic via the (well-defined!) mapping *a* + *M* ↦ (*a* + *I*) + *M* / *I*.

The following facts prove useful in commutative algebra and algebraic geometry: for *R* ≠ {0} commutative, *R* / *I* is a field if and only if *I* is a maximal ideal, while *R* / *I* is an integral domain if and only if *I* is a prime ideal. A number of similar statements relate properties of the ideal *I* to properties of the quotient ring *R* / *I*.

The Chinese remainder theorem states that, if the ideal *I* is the intersection (or equivalently, the product) of pairwise coprime ideals *I*_{1}, ..., *I _{k}*, then the quotient ring

An associative algebra *A* over a commutative ring *R* is a ring itself. If *I* is an ideal in *A* (closed under *R*-multiplication), then *A* / *I* inherits the structure of an algebra over *R* and is the **quotient algebra**.

- ↑ Jacobson, Nathan (1984).
*Structure of Rings*(revised ed.). American Mathematical Soc. ISBN 0-821-87470-5. - ↑ Dummit, David S.; Foote, Richard M. (2004).
*Abstract Algebra*(3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9. - ↑ Lang, Serge (2002).
*Algebra*. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.

- F. Kasch (1978)
*Moduln und Ringe*, translated by DAR Wallace (1982)*Modules and Rings*, Academic Press, page 33. - Neal H. McCoy (1948)
*Rings and Ideals*, §13 Residue class rings, page 61, Carus Mathematical Monographs #8, Mathematical Association of America. - Joseph Rotman (1998).
*Galois Theory (2nd edition)*. Springer. pp. 21–3. ISBN 0-387-98541-7. - B.L. van der Waerden (1970)
*Algebra*, translated by Fred Blum and John R Schulenberger, Frederick Ungar Publishing, New York. See Chapter 3.5, "Ideals. Residue Class Rings", pages 47 to 51.

- "Quotient ring",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994] - Ideals and factor rings from John Beachy's
*Abstract Algebra Online*

In mathematics, an **associative algebra** is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. The addition and multiplication operations together give *A* the structure of a ring; the addition and scalar multiplication operations together give *A* the structure of a vector space over *K*. In this article we will also use the term *K*-algebra to mean an associative algebra over the field *K*. A standard first example of a *K*-algebra is a ring of square matrices over a field *K*, with the usual matrix multiplication.

A **quotient group** or **factor group** is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure. For example, the cyclic group of addition modulo *n* can be obtained from the group of integers under addition by identifying elements that differ by a multiple of *n* and defining a group structure that operates on each such class as a single entity. It is part of the mathematical field known as group theory.

In algebra, a **homomorphism** is a structure-preserving map between two algebraic structures of the same type. The word *homomorphism* comes from the ancient Greek language: *ὁμός (homos)* meaning "same" and *μορφή (morphe)* meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German *ähnlich* meaning "similar" to *ὁμός* meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

In mathematics, specifically abstract algebra, an **integral domain** is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element *a* has the cancellation property, that is, if *a* ≠ 0, an equality *ab* = *ac* implies *b* = *c*.

In algebra, a **prime ideal** is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

In ring theory, a branch of abstract algebra, a **ring homomorphism** is a structure-preserving function between two rings. More explicitly, if *R* and *S* are rings, then a ring homomorphism is a function *f* : *R* → *S* such that *f* is

In mathematics, **rings** are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a *ring* is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a **Boolean ring***R* is a ring for which *x*^{2} = *x* for all *x* in *R*, that is, a ring that consists only of idempotent elements. An example is the ring of integers modulo 2.

In ring theory, a branch of abstract algebra, a **commutative ring** is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of noncommutative rings where multiplication is not required to be commutative.

In mathematics, an **algebra over a field** is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition and scalar multiplication by elements of a field and satisfying the axioms implied by "vector space" and "bilinear".

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In the branch of abstract algebra known as ring theory, a **unit** of a ring is any element that has a multiplicative inverse in : an element such that

In mathematics, and more specifically in abstract algebra, a ***-algebra** is a mathematical structure consisting of two **involutive rings**R and A, where R is commutative and A has the structure of an associative algebra over R. Involutive algebras generalize the idea of a number system equipped with conjugation, for example the complex numbers and complex conjugation, matrices over the complex numbers and conjugate transpose, and linear operators over a Hilbert space and Hermitian adjoints. However, it may happen that an algebra admits no involution at all.

In mathematics, especially in the field of algebra, a **polynomial ring** or **polynomial algebra** is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, the **symmetric algebra***S*(*V*) on a vector space *V* over a field *K* is a commutative algebra over K that contains V, and is, in some sense, minimal for this property. Here, "minimal" means that *S*(*V*) satisfies the following universal property: for every linear map f from V to a commutative algebra A, there is a unique algebra homomorphism *g* : *S*(*V*) → *A* such that *f* = *g* ∘ *i*, where i is the inclusion map of V in *S*(*V*).

In mathematics, the **characteristic** of a ring *R*, often denoted char(*R*), is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero.

In abstract algebra, a **bicomplex number** is a pair (*w*, *z*) of complex numbers constructed by the Cayley–Dickson process that defines the bicomplex conjugate , and the product of two bicomplex numbers as

In abstract algebra, a **completion** is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions *R* on a space *X* concentrates on a **formal neighborhood** of a point of *X*: heuristically, this is a neighborhood so small that *all* Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in case *R* has a metric given by a non-Archimedean absolute value.

In mathematics, the **category of rings**, denoted by **Ring**, is the category whose objects are rings and whose morphisms are ring homomorphisms. Like many categories in mathematics, the category of rings is large, meaning that the class of all rings is proper.

In mathematics, in the subfield of ring theory, a ring *R* is a **polynomial identity ring** if there is, for some *N* > 0, an element *P* other than 0 of the free algebra, Z⟨*X*_{1}, *X*_{2}, ..., *X*_{N}⟩, over the ring of integers in *N* variables *X*_{1}, *X*_{2}, ..., *X*_{N} such that for all *N*-tuples *r*_{1}, *r*_{2}, ..., *r*_{N} taken from *R* it happens that

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.