Quotient ring (original) (raw)

From Wikipedia, the free encyclopedia

Reduction of a ring by one of its ideals

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 group in group theory and to the quotient space in linear algebra.[2][3] It is a specific example of a quotient, as viewed from the general setting of universal algebra. Starting with a ring R {\displaystyle R} $R$ and a two-sided ideal I {\displaystyle I} $I$ in ⁠ R {\displaystyle R} $R$ ⁠, a new ring, the quotient ring ⁠ R / I {\displaystyle R\ /\ I} $R\ /\ I$ ⁠, is constructed, whose elements are the cosets of I {\displaystyle I} $I$ in R {\displaystyle R} $R$ subject to special + {\displaystyle +} $+$ and ⋅ {\displaystyle \cdot } $\cdot$ operations. (Quotient ring notation almost always uses a fraction slash "⁠ / {\displaystyle /} $/$ ⁠"; stacking the ring over the ideal using a horizontal line as a separator is uncommon and generally avoided.)

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

[edit]

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

a ∼ b {\displaystyle a\sim b} $a\sim b$ if and only if a − b {\displaystyle a-b} $a-b$ is in ⁠ I {\displaystyle I} $I$ ⁠.

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

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

⁠ ( a + I ) + ( b + I ) = ( a + b ) + I {\displaystyle (a+I)+(b+I)=(a+b)+I} $(a+I)+(b+I)=(a+b)+I$ ⁠;
⁠ ( a + I ) ( b + I ) = ( a b ) + I {\displaystyle (a+I)(b+I)=(ab)+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 {\displaystyle R\ /\ I} $R\ /\ I$ is ⁠ 0 ¯ = 0 + I = I {\displaystyle {\bar {0}}=0+I=I} ${\bar {0}}=0+I=I$ ⁠, and the multiplicative identity is ⁠ 1 ¯ = 1 + I {\displaystyle {\bar {1}}=1+I} ${\bar {1}}=1+I$ ⁠.

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

The quotient ring R / { 0 } {\displaystyle R\ /\ \lbrace 0\rbrace } $R\ /\ \lbrace 0\rbrace$ is naturally isomorphic to ⁠ R {\displaystyle R} $R$ ⁠, and R / R {\displaystyle R/R} $R/R$ is the zero ring ⁠ { 0 } {\displaystyle \lbrace 0\rbrace } $\lbrace 0\rbrace$ ⁠, since, by our definition, for any ⁠ r ∈ R {\displaystyle r\in R} $r\in R$ ⁠, we have that ⁠ [ r ] = r + R = { r + b : b ∈ R } {\displaystyle \left[r\right]=r+R=\left\lbrace r+b:b\in R\right\rbrace } $\left[r\right]=r+R=\left\lbrace r+b:b\in R\right\rbrace$ ⁠, which equals R {\displaystyle R} $R$ itself. This fits with the rule of thumb that the larger the ideal ⁠ I {\displaystyle I} $I$ ⁠, the smaller the quotient ring ⁠ R / I {\displaystyle R\ /\ I} $R\ /\ I$ ⁠. If I {\displaystyle I} $I$ is a proper ideal of ⁠ R {\displaystyle R} $R$ ⁠, i.e., ⁠ I ≠ R {\displaystyle I\neq R} $I\neq R$ ⁠, then R / I {\displaystyle R/I} $R/I$ is not the zero ring.
Consider the ring of integers Z {\displaystyle \mathbb {Z} } $\mathbb {Z}$ and the ideal of even numbers, denoted by ⁠ 2 Z {\displaystyle 2\mathbb {Z} } $2\mathbb {Z}$ ⁠. Then the quotient ring Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } $\mathbb {Z} /2\mathbb {Z}$ has only two elements, the coset 0 + 2 Z {\displaystyle 0+2\mathbb {Z} } $0+2\mathbb {Z}$ consisting of the even numbers and the coset 1 + 2 Z {\displaystyle 1+2\mathbb {Z} } $1+2\mathbb {Z}$ consisting of the odd numbers; applying the definition, ⁠ [ z ] = z + 2 Z = { z + 2 y : 2 y ∈ 2 Z } {\displaystyle \left[z\right]=z+2\mathbb {Z} =\left\lbrace z+2y:2y\in 2\mathbb {Z} \right\rbrace } $\left[z\right]=z+2\mathbb {Z} =\left\lbrace z+2y:2y\in 2\mathbb {Z} \right\rbrace$ ⁠, where 2 Z {\displaystyle 2\mathbb {Z} } $2\mathbb {Z}$ is the ideal of even numbers. It is naturally isomorphic to the finite field with two elements, ⁠ F 2 {\displaystyle F_{2}} $F_{2}$ ⁠. Intuitively: if you think of all the even numbers as ⁠ 0 {\displaystyle 0} $0$ ⁠, then every integer is either 0 {\displaystyle 0} $0$ (if it is even) or 1 {\displaystyle 1} $1$ (if it is odd and therefore differs from an even number by ⁠ 1 {\displaystyle 1} $1$ ⁠). Modular arithmetic is essentially arithmetic in the quotient ring Z / n Z {\displaystyle \mathbb {Z} /n\mathbb {Z} } $\mathbb {Z} /n\mathbb {Z}$ (which has n {\displaystyle n} $n$ elements).
Now consider the ring of polynomials in the variable X {\displaystyle X} $X$ with real coefficients, ⁠ R [ X ] {\displaystyle \mathbb {R} [X]} $\mathbb {R} [X]$ ⁠, and the ideal I = ( X 2 + 1 ) {\displaystyle I=\left(X^{2}+1\right)} $I=\left(X^{2}+1\right)$ consisting of all multiples of the polynomial ⁠ X 2 + 1 {\displaystyle X^{2}+1} $X^{2}+1$ ⁠. The quotient ring R [ X ] / ( X 2 + 1 ) {\displaystyle \mathbb {R} [X]\ /\ (X^{2}+1)} $\mathbb {R} [X]\ /\ (X^{2}+1)$ is naturally isomorphic to the field of complex numbers ⁠ C {\displaystyle \mathbb {C} } $\mathbb {C}$ ⁠, with the class [ X ] {\displaystyle [X]} $[X]$ playing the role of the imaginary unit ⁠ i {\displaystyle i} $i$ ⁠. The reason is that we "forced" ⁠ X 2 + 1 = 0 {\displaystyle X^{2}+1=0} $X^{2}+1=0$ ⁠, i.e. ⁠ X 2 = − 1 {\displaystyle X^{2}=-1} $X^{2}=-1$ ⁠, which is the defining property of ⁠ i {\displaystyle i} $i$ ⁠. Since any integer exponent of i {\displaystyle i} $i$ must be either ± i {\displaystyle \pm i} $\pm i$ or ⁠ ± 1 {\displaystyle \pm 1} $\pm 1$ ⁠, that means all possible polynomials essentially simplify to the form ⁠ a + b i {\displaystyle a+bi} $a+bi$ ⁠. (To clarify, the quotient ring ⁠ R [ X ] / ( X 2 + 1 ) {\displaystyle \mathbb {R} [X]\ /\ (X^{2}+1)} $\mathbb {R} [X]\ /\ (X^{2}+1)$ ⁠ is actually naturally isomorphic to the field of all linear polynomials ⁠ a X + b ; a , b ∈ R {\displaystyle aX+b;a,b\in \mathbb {R} } $aX+b;a,b\in \mathbb {R}$ ⁠, where the operations are performed modulo ⁠ X 2 + 1 {\displaystyle X^{2}+1} $X^{2}+1$ ⁠. In return, we have ⁠ X 2 = − 1 {\displaystyle X^{2}=-1} $X^{2}=-1$ ⁠, and this is matching X {\displaystyle X} $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 {\displaystyle K} $K$ is some field and f {\displaystyle f} $f$ is an irreducible polynomial in ⁠ K [ X ] {\displaystyle K[X]} $K[X]$ ⁠. Then L = K [ X ] / ( f ) {\displaystyle L=K[X]\ /\ (f)} $L=K[X]\ /\ (f)$ is a field whose minimal polynomial over K {\displaystyle K} $K$ is ⁠ f {\displaystyle f} $f$ ⁠, which contains K {\displaystyle K} $K$ as well as an element ⁠ x = X + ( f ) {\displaystyle x=X+(f)} $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 {\displaystyle F_{3}=\mathbb {Z} /3\mathbb {Z} } $F_{3}=\mathbb {Z} /3\mathbb {Z}$ with three elements. The polynomial f ( X ) = X 2 + 1 {\displaystyle f(X)=X^{2}+1} $f(X)=X^{2}+1$ is irreducible over F 3 {\displaystyle F_{3}} $F_{3}$ (since it has no root), and we can construct the quotient ring ⁠ F 3 [ X ] / ( f ) {\displaystyle F_{3}[X]\ /\ (f)} $F_{3}[X]\ /\ (f)$ ⁠. This is a field with 3 2 = 9 {\displaystyle 3^{2}=9} $3^{2}=9$ elements, denoted by ⁠ F 9 {\displaystyle F_{9}} $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 } {\displaystyle V=\left\lbrace (x,y)|x^{2}=y^{3}\right\rbrace } $V=\left\lbrace (x,y)|x^{2}=y^{3}\right\rbrace$ as a subset of the real plane ⁠ R 2 {\displaystyle \mathbb {R} ^{2}} $\mathbb {R} ^{2}$ ⁠. The ring of real-valued polynomial functions defined on V {\displaystyle V} $V$ can be identified with the quotient ring ⁠ R [ X , Y ] / ( X 2 − Y 3 ) {\displaystyle \mathbb {R} [X,Y]\ /\ (X^{2}-Y^{3})} $\mathbb {R} [X,Y]\ /\ (X^{2}-Y^{3})$ ⁠, and this is the coordinate ring of ⁠ V {\displaystyle V} $V$ ⁠. The variety V {\displaystyle V} $V$ is now investigated by studying its coordinate ring.
Suppose M {\displaystyle M} $M$ is a C ∞ {\displaystyle \mathbb {C} ^{\infty }} $\mathbb {C} ^{\infty }$ -manifold, and p {\displaystyle p} $p$ is a point of ⁠ M {\displaystyle M} $M$ ⁠. Consider the ring R = C ∞ ( M ) {\displaystyle R=\mathbb {C} ^{\infty }(M)} $R=\mathbb {C} ^{\infty }(M)$ of all C ∞ {\displaystyle \mathbb {C} ^{\infty }} $\mathbb {C} ^{\infty }$ -functions defined on M {\displaystyle M} $M$ and let I {\displaystyle I} $I$ be the ideal in R {\displaystyle R} $R$ consisting of those functions f {\displaystyle f} $f$ which are identically zero in some neighborhood U {\displaystyle U} $U$ of p {\displaystyle p} $p$ (where U {\displaystyle U} $U$ may depend on ⁠ f {\displaystyle f} $f$ ⁠). Then the quotient ring R / I {\displaystyle R\ /\ I} $R\ /\ I$ is the ring of germs of C ∞ {\displaystyle \mathbb {C} ^{\infty }} $\mathbb {C} ^{\infty }$ -functions on M {\displaystyle M} $M$ at ⁠ p {\displaystyle p} $p$ ⁠.
Consider the ring F {\displaystyle F} $F$ of finite elements of a hyperreal field ⁠ ∗ R {\displaystyle ^{*}\mathbb {R} } $^{*}\mathbb {R}$ ⁠. It consists of all hyperreal numbers differing from a standard real by an infinitesimal amount, or equivalently: of all hyperreal numbers x {\displaystyle x} $x$ for which a standard integer n {\displaystyle n} $n$ with − n < x < n {\displaystyle -n<x<n} $-n<x<n$ exists. The set I {\displaystyle I} $I$ of all infinitesimal numbers in ⁠ ∗ R {\displaystyle ^{*}\mathbb {R} } $^{*}\mathbb {R}$ ⁠, together with ⁠ 0 {\displaystyle 0} $0$ ⁠, is an ideal in ⁠ F {\displaystyle F} $F$ ⁠, and the quotient ring F / I {\displaystyle F\ /\ I} $F\ /\ I$ is isomorphic to the real numbers ⁠ R {\displaystyle \mathbb {R} } $\mathbb {R}$ ⁠. The isomorphism is induced by associating to every element x {\displaystyle x} $x$ of F {\displaystyle F} $F$ the standard part of ⁠ x {\displaystyle x} $x$ ⁠, i.e. the unique real number that differs from x {\displaystyle x} $x$ by an infinitesimal. In fact, one obtains the same result, namely ⁠ R {\displaystyle \mathbb {R} } $\mathbb {R}$ ⁠, if one starts with the ring F {\displaystyle F} $F$ of finite hyperrationals (i.e. ratio of a pair of hyperintegers), see construction of the real numbers.

Variations of complex planes

[edit]

The quotients ⁠ R [ X ] / ( X ) {\displaystyle \mathbb {R} [X]/(X)} $\mathbb {R} [X]/(X)$ ⁠, ⁠ R [ X ] / ( X + 1 ) {\displaystyle \mathbb {R} [X]/(X+1)} $\mathbb {R} [X]/(X+1)$ ⁠, and R [ X ] / ( X − 1 ) {\displaystyle \mathbb {R} [X]/(X-1)} $\mathbb {R} [X]/(X-1)$ are all isomorphic to R {\displaystyle \mathbb {R} } $\mathbb {R}$ and gain little interest at first. But note that R [ X ] / ( X 2 ) {\displaystyle \mathbb {R} [X]/(X^{2})} $\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 R [ X ] {\displaystyle \mathbb {R} [X]} $\mathbb {R} [X]$ by ⁠ X 2 {\displaystyle X^{2}} $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 R [ X ] / ( X 2 − 1 ) {\displaystyle \mathbb {R} [X]/(X^{2}-1)} $\mathbb {R} [X]/(X^{2}-1)$ does split into R [ X ] / ( X + 1 ) {\displaystyle \mathbb {R} [X]/(X+1)} $\mathbb {R} [X]/(X+1)$ and ⁠ R [ X ] / ( X − 1 ) {\displaystyle \mathbb {R} [X]/(X-1)} $\mathbb {R} [X]/(X-1)$ ⁠, so this ring is often viewed as the direct sum ⁠ R ⊕ R {\displaystyle \mathbb {R} \oplus \mathbb {R} } $\mathbb {R} \oplus \mathbb {R}$ ⁠. Nevertheless, a variation on complex numbers z = x + y j {\displaystyle z=x+yj} $z=x+yj$ is suggested by j {\displaystyle j} $j$ as a root of ⁠ X 2 − 1 = 0 {\displaystyle X^{2}-1=0} $X^{2}-1=0$ ⁠, compared to i {\displaystyle i} $i$ as root of ⁠ X 2 + 1 = 0 {\displaystyle X^{2}+1=0} $X^{2}+1=0$ ⁠. This plane of split-complex numbers normalizes the direct sum R ⊕ R {\displaystyle \mathbb {R} \oplus \mathbb {R} } $\mathbb {R} \oplus \mathbb {R}$ by providing a basis { 1 , j } {\displaystyle \left\lbrace 1,j\right\rbrace } $\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

[edit]

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

If Y 2 − 1 {\displaystyle Y^{2}-1} $Y^{2}-1$ is substituted for ⁠ Y 2 + 1 {\displaystyle Y^{2}+1} $Y^{2}+1$ ⁠, then one obtains the ring of split-quaternions. The anti-commutative property Y X = − X Y {\displaystyle YX=-XY} $YX=-XY$ implies that X Y {\displaystyle XY} $XY$ has as its square: ( X Y ) ( X Y ) = X ( Y X ) Y = − X ( X Y ) Y = − ( X X ) ( Y Y ) = − ( − 1 ) ( + 1 ) = + 1 {\displaystyle (XY)(XY)=X(YX)Y=-X(XY)Y=-(XX)(YY)=-(-1)(+1)=+1} $(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 R ⟨ X , Y , Z ⟩ {\displaystyle \mathbb {R} \langle X,Y,Z\rangle } $\mathbb {R} \langle X,Y,Z\rangle$ and constructing appropriate ideals.

Clearly, if R {\displaystyle R} $R$ is a commutative ring, then so is ⁠ R / I {\displaystyle R\ /\ I} $R\ /\ I$ ⁠; the converse, however, is not true in general.

The natural quotient map p {\displaystyle p} $p$ has I {\displaystyle I} $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 {\displaystyle R\ /\ I} $R\ /\ I$ are essentially the same as the ring homomorphisms defined on R {\displaystyle R} $R$ that vanish (i.e. are zero) on ⁠ I {\displaystyle I} $I$ ⁠. More precisely, given a two-sided ideal I {\displaystyle I} $I$ in R {\displaystyle R} $R$ and a ring homomorphism f : R → S {\displaystyle f:R\to S} $f:R\to S$ whose kernel contains ⁠ I {\displaystyle I} $I$ ⁠, there exists precisely one ring homomorphism g : R / I → S {\displaystyle g:R\ /\ I\to S} $g:R\ /\ I\to S$ with g p = f {\displaystyle gp=f} $gp=f$ (where p {\displaystyle p} $p$ is the natural quotient map). The map g {\displaystyle g} $g$ here is given by the well-defined rule g ( [ a ] ) = f ( a ) {\displaystyle g([a])=f(a)} $g([a])=f(a)$ for all a {\displaystyle a} $a$ in ⁠ 1 R {\displaystyle 1R} $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 → S {\displaystyle f:R\to S} $f:R\to S$ induces a ring isomorphism between the quotient ring R / ker ⁡ ( f ) {\displaystyle R\ /\ \ker(f)} $R\ /\ \ker(f)$ and the image ⁠ i m ( f ) {\displaystyle \mathrm {im} (f)} $\mathrm {im} (f)$ ⁠. (See also: Fundamental theorem on homomorphisms.)

The ideals of R {\displaystyle R} $R$ and R / I {\displaystyle R\ /\ I} $R\ /\ I$ are closely related: the natural quotient map provides a bijection between the two-sided ideals of R {\displaystyle R} $R$ that contain I {\displaystyle I} $I$ and the two-sided ideals of R / I {\displaystyle R\ /\ I} $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 {\displaystyle M} $M$ is a two-sided ideal in R {\displaystyle R} $R$ that contains ⁠ I {\displaystyle I} $I$ ⁠, and we write M / I {\displaystyle M\ /\ I} $M\ /\ I$ for the corresponding ideal in R / I {\displaystyle R\ /\ I} $R\ /\ I$ (i.e. ⁠ M / I = p ( M ) {\displaystyle M\ /\ I=p(M)} $M\ /\ I=p(M)$ ⁠), the quotient rings R / M {\displaystyle R\ /\ M} $R\ /\ M$ and ( R / I ) / ( M / I ) {\displaystyle (R/I)\ /\ (M/I)} $(R/I)\ /\ (M/I)$ are naturally isomorphic via the (well-defined) mapping ⁠ a + M ↦ ( a + I ) + M / I {\displaystyle a+M\mapsto (a+I)+M/I} $a+M\mapsto (a+I)+M/I$ ⁠.

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

The Chinese remainder theorem states that, if the ideal I {\displaystyle I} $I$ is the intersection (or equivalently, the product) of pairwise coprime ideals ⁠ I 1 , … , I k {\displaystyle I_{1},\ldots ,I_{k}} $I_{1},\ldots ,I_{k}$ ⁠, then the quotient ring R / I {\displaystyle R\ /\ I} $R\ /\ I$ is isomorphic to the product of the quotient rings ⁠ R / I n , n = 1 , … , k {\displaystyle R\ /\ I_{n},\;n=1,\ldots ,k} $R\ /\ I_{n},\;n=1,\ldots ,k$ ⁠.

For algebras over a ring

[edit]

An associative algebra A {\displaystyle A} $A$ over a commutative ring R {\displaystyle R} $R$ is itself a ring. If I {\displaystyle I} $I$ is an ideal in A {\displaystyle A} $A$ (closed under A {\displaystyle A} $A$ -multiplication: ⁠ A I ⊆ I {\displaystyle AI\subseteq I} $AI\subseteq I$ ⁠), then A / I {\displaystyle A/I} $A/I$ inherits the structure of an algebra over R {\displaystyle R} $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 ed.). Springer. pp. 21–23. 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", pp. 47–51.
"Quotient ring", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Ideals and factor rings from John Beachy's Abstract Algebra Online