Quotient ring

In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. It is a specific example of a quotient, as viewed from the general setting of universal algebra. Starting with a ring $R$ and a two-sided ideal $I$ in ⁠$R$⁠, a new ring, the quotient ring ⁠$R\ /\ I$⁠, is constructed, whose elements are the cosets of $I$ in $R$ subject to special ${\displaystyle }$ and $\cdot$ operations. (Quotient ring notation always uses a fraction slash "⁠$/$⁠".)

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.

Formal quotient ring construction

Given a ring $R$ and a two-sided ideal $I$ in ⁠$R$⁠, we may define an equivalence relation $\sim$ on $R$ as follows:

$a\sim b$ if and only if $a-b$ is in ⁠$I$⁠.

Using the ideal properties, it is not difficult to check that $\sim$ is a congruence relation. In case ⁠$a\sim b$⁠, we say that $a$ and $b$ are congruent modulo $I$ (for example, $1$ and $3$ are congruent modulo $2$ as their difference is an element of the ideal ⁠$2\mathbb {Z}$⁠, the even integers). The equivalence class of the element $a$ in $R$ is given by: $$\left[a\right]=a I:=\left\lbrace a r:r\in I\right\rbrace$$

This equivalence class is also sometimes written as $a{\bmod {I}}$ and called the "residue class of $a$ modulo $I$".

The set of all such equivalence classes is denoted by ⁠$R\ /\ I$⁠; it becomes a ring, the factor ring or quotient ring of $R$ modulo ⁠${1}$⁠, if one defines

• ⁠$(a I) (b I)=(a b) I$⁠;
• ⁠$(a I)(b I)=(ab) I$⁠.

(Here one has to check that these definitions are well-defined. Compare coset and quotient group.) The zero-element of $R\ /\ I$ is ⁠${\bar {0}}=(0 I)=I$⁠, and the multiplicative identity is ⁠${\bar {1}}=(1 I)$⁠.

The map $p$ from $R$ to $R\ /\ I$ defined by $p(a)=a I$ is a surjective ring homomorphism, sometimes called the natural quotient map or the canonical homomorphism.

Examples

• The quotient ring $R\ /\ \lbrace 0\rbrace$ is naturally isomorphic to ⁠$R$⁠, and $R/R$ is the zero ring ⁠$\lbrace 0\rbrace$⁠, since, by our definition, for any ⁠$r\in R$⁠, we have that ⁠$\left[r\right]=r R=\left\lbrace r b:b\in R\right\rbrace$⁠, 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\neq R$⁠, then $R/I$ is not the zero ring.
• Consider the ring of integers $\mathbb {Z}$ and the ideal of even numbers, denoted by ⁠$2\mathbb {Z}$⁠. Then the quotient ring $\mathbb {Z} /2\mathbb {Z}$ has only two elements, the coset $0 2\mathbb {Z}$ consisting of the even numbers and the coset $1 2\mathbb {Z}$ consisting of the odd numbers; applying the definition, ⁠$\left[z\right]=z 2\mathbb {Z} =\left\lbrace z 2y:2y\in 2\mathbb {Z} \right\rbrace$⁠, where $2\mathbb {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 $\mathbb {Z} /n\mathbb {Z}$ (which has $n$ elements).
• Now consider the ring of polynomials in the variable $X$ with real coefficients, ⁠$\mathbb {R} [X]$⁠, and the ideal $I=\left(X^{2} 1\right)$ consisting of all multiples of the polynomial ⁠$X^{2} 1$⁠. The quotient ring $\mathbb {R} [X]\ /\ (X^{2} 1)$ is naturally isomorphic to the field of complex numbers ⁠$\mathbb {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$⁠. Since any integer exponent of $i$ must be either $\pm i$ or ⁠$\pm 1$⁠, that means all possible polynomials essentially simplify to the form ⁠$a bi$⁠. (To clarify, the quotient ring ⁠$\mathbb {R} [X]\ /\ (X^{2} 1)$⁠ is actually naturally isomorphic to the field of all linear polynomials ⁠$aX b;a,b\in \mathbb {R}$⁠, where the operations are performed modulo ⁠$X^{2} 1$⁠. In return, we have ⁠$X^{2}=-1$⁠, and this is matching $X$ to the imaginary unit in the isomorphic field of complex numbers.)
• 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}=\mathbb {Z} /3\mathbb {Z}$ with three elements. The polynomial $f(X)=Xi^{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=\left\lbrace (x,y)|x^{2}=y^{3}\right\rbrace$ as a subset of the real plane ⁠$\mathbb {R} ^{2}$⁠. The ring of real-valued polynomial functions defined on $V$ can be identified with the quotient ring ⁠$\mathbb {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 $\mathbb {C} ^{\infty }$-manifold, and $p$ is a point of ⁠$M$⁠. Consider the ring $R=\mathbb {C} ^{\infty }(M)$ of all $\mathbb {C} ^{\infty }$-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 $\mathbb {C} ^{\infty }$-functions on $M$ at ⁠$p$⁠.
• Consider the ring $F$ of finite elements of a hyperreal field ⁠$^{*}\mathbb {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 ⁠$^{*}\mathbb {R}$⁠, together with ⁠$0$⁠, is an ideal in ⁠$F$⁠, and the quotient ring $F\ /\ I$ is isomorphic to the real numbers ⁠$\mathbb {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 ⁠$\mathbb {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.

Variations of complex planes

The quotients ⁠$\mathbb {R} [X]/(X)$⁠, ⁠$\mathbb {R} [X]/(X 1)$⁠, and $\mathbb {R} [X]/(X-1)$ are all isomorphic to $\mathbb {R}$ and gain little interest at first. But note that $\mathbb {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 $\mathbb {R} [X]$ by ⁠$X^{2}$⁠. This variation of a complex plane arises as a subalgebra whenever the algebra contains a real line and a nilpotent.

Furthermore, the ring quotient $\mathbb {R} [X]/(X^{2}-1)$ does split into $\mathbb {R} [X]/(X 1)$ and ⁠$\mathbb {R} [X]/(X-1)$⁠, so this ring is often viewed as the direct sum ⁠$\mathbb {R} \oplus \mathbb {R}$⁠. Nevertheless, a variation on complex numbers $z=x yj$ is suggested by $j$ as a root of ⁠$X^{2}-1=0$⁠, compared to $i$ as root of ⁠$X^{2} 1=0$⁠. This plane of split-complex numbers normalizes the direct sum $\mathbb {R} \oplus \mathbb {R}$ by providing a basis $\left\lbrace 1,j\right\rbrace$ 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.

Quaternions and variations

Suppose $X$ and $Y$ are two non-commuting indeterminates and form the free algebra ⁠$\mathbb {R} \langle X,Y\rangle$⁠. Then Hamilton's quaternions of 1843 can be cast as: $$\mathbb {R} \langle X,Y\rangle /(X^{2} 1,\,Y^{2} 1,\,XY YX)$$

If $Y^{2}-1$ is substituted for ⁠$Y^{2} 1$⁠, then one obtains the ring of split-quaternions. The anti-commutative property $YX=-XY$ implies that $XY$ has as its square: $$(XY)(XY)=X(YX)Y=-X(XY)Y=-(XX)(YY)=-(-1)( 1)= 1$$

Substituting minus for plus in both the quadratic binomials also results in split-quaternions.

The three types of biquaternions can also be written as quotients by use of the free algebra with three indeterminates $\mathbb {R} \langle X,Y,Z\rangle$ and constructing appropriate ideals.

Properties

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\to S$ whose kernel contains ⁠$I$⁠, there exists precisely one ring homomorphism $g:R\ /\ I\to 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 ⁠$1R$⁠. 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\to S$ induces a ring isomorphism between the quotient ring $R\ /\ \ker(f)$ and the image ⁠$\mathrm {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\mapsto (a I) M/I$⁠.

The following facts prove useful in commutative algebra and algebraic geometry: for $R\neq \lbrace 0\rbrace$ 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},\ldots ,I_{k}$⁠, then the quotient ring $R\ /\ I$ is isomorphic to the product of the quotient rings ⁠$R\ /\ I_{n},\;n=1,\ldots ,k$⁠.

For algebras over a 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.

See also

• Associated graded ring
• Residue field
• Goldie's theorem
• Quotient module

Further references

• 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 ed.). Springer. pp. 21–23. ISBN 0-387-98541-7.21-23&rft.edition=2nd&rft.pub=Springer&rft.date=1998&rft.isbn=0-387-98541-7&rft.au=Joseph Rotman&rfr_id=info:sid/en.wikipedia.org:Quotient ring" class="Z3988">
• 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", pp. 47–51.

External links

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