Problem 26 Proof Wed Recitation: Maria Acevedo

26. a. Statement: The equality modulo an ideal I of a ring R is an equivalence relation.
Proof: (Reflexivity)

(1)
\begin{align} \forall x \sim _I x \end{align}
(2)
\begin{align} x-x \in I \end{align}
(3)
$$x-x=0$$

An ideal by definition is nonempty and any number times 0 is 0 so $0 \in I$
(Symmetry)

(4)
\begin{align} x\sim _Iy \rightarrow y \sim _Ix \end{align}
(5)
\begin{align} x-y \in I \rightarrow y-x \in I \end{align}
(6)
\begin{align} 0 \in I \end{align}
(7)
$$0 - (x-y) = y-x$$

0 is in the ideal and it is closed under subtraction.
(Transitivity)

(8)
\begin{align} x \sim _Iy, y \sim _Iz \rightarrow x \sim _Iz \end{align}
(9)
\begin{align} x-y \in I, y-z \in I \rightarrow x-z \in I \end{align}
(10)
$$(x-y) + (y-z) = x-y+y-z = x-z$$

The ideal is closed under addition.

b. Statement: Multiplication on the quotient ring $R/I$ is well defined: $(r+I)(s+I)= rs+I$.
Proof: Let $r, s \in I$, $r \sim_I r’ \rightarrow r-r’ \in I, s \sim_I s’ \rightarrow s-s’ \in I$, and $r+I=r’+I, s+I=s’+I$. Suppose $a=r-r’$ and $b=s-s’$. Then:
$(r + I)(s + I) = rs + I = (r' + a)(s' + b) + I = r's' + r'b + as' + ab + I$. It follows that, because I is an ideal $r'b + as' + ab \in I$ and because it is closed under addition $r'b + as' + ab + I = I$. Thus $r's' + r'b + as' + ab + I = r's' + I$.

page revision: 1, last edited: 12 Apr 2018 03:29