Questions 26 & 27 PreWrite

26. a. Prove that equality modulo an ideal I of a ring R is an equivalence relation.

Proof: (Reflexivity)

\begin{align} \forall x \sim _I x \end{align}

(2)
\begin{align} x-x \in I \end{align}

(3)
\begin{equation} x-x=0 \end{equation}

A subring by definition is nonempty and any number times 0 is 0 so $0 \in I$

(Symmetry)

\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)
\begin{equation} 0 - (x-y) = y-x \end{equation}

0 is in the subring and it is closed under subtraction.

(Transitivity)

\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)
\begin{equation} (x-y) + (y-z) = x-y+y-z = x-z \end{equation}

The subring is closed under addition.

27. a. Show that every unit of a ring R has a unique inverse.

Proof: Suppose for some $x, a, b \in R$ the inverse of x, c is equal to $c = xa, c = xb$.

$cb = b(xa) = a(bx) = ac$

Thus, $cb = ac$ and $b = a$.

page revision: 7, last edited: 03 Apr 2018 01:31