Math 361, Spring 2015, Assignment 4

Carefully define the following terms, then give one example and one non-example of each:

1. Kernel (of a ring homomorphism).
2. Ideal.
3. Principal idea.
4. Quotient ring (a.k.a. factor ring).
5. Prime ideal.
6. Maximal ideal.

Carefully state the following theorems (you do not need to prove them):

1. Theorem concerning images and pre-images of subrings.
2. Theorem characterizing the subrings that can be kernels of homomorphisms.
3. Fundamental theorem of ring homomorphisms.
4. Equivalent conditions for containment of principal ideals.
5. Equivalent condition for equality of principal ideals.
6. Theorem characterizing prime ideals (in terms of properties of the corresponding quotient rings).
7. Theorem characterizing maximal ideals (in terms of properties of the corresponding quotient rings).
8. Theorem relating maximal ideals to prime ideals.

Solve the following problems:

1. Section 26, problems 3, 11, 12, 13, and 14.
2. Section 27, problems 1, 10, 15, 16, and 17.

--------------------End of assignment--------------------

Questions:

Does anyone know the theorem number corresponding to "Theorem characterizing the subrings that can be kernels of homomorphisms" in the book?

Solutions:

Definitions:

1. The Kernel of a ring morphism $\phi$ is the subring $S$ such that $\phi[S]=\left\{0\right\}$.
2. An Ideal $I$ of a ring $R$ is a subring of $R$ such that for all $i\in I, a \in R$, $ai\in R$ and $ia \in R$, that is to say $I$ preserves right and left products.
3. If $R$ is a commutative unital ring and $a \in R$, the ideal $\{ra | r \in R \}$ of all multiples of $a$ is the Principal Ideal Generated By $a$ and is denoted by $\langle a \rangle$. An ideal $I$ of $R$ is a Principal Ideal if $I=\langle a \rangle$ for some $a \in R$.
4. Let $I$ be an ideal of a ring $R$. Then the additive cosets of $I$ form the Quotient Ring $R/I$ under the binary operations defined by:
   1. $(a+I)+(b+I)=(a+b)+I$
   2. $(a+I)(b+I)=ab+I$
5. An ideal $I\ne R$ in a commutative ring $R$ is a Prime Ideal if $ab\in I$ implies $a\in I$ or $b\in I$ for $a,b\in R$.
6. A Maximal Ideal of a ring $R$ is an ideal $M\ne R$ such that there is no proper ideal $I$ of $R$ with $I$ properly conaining $M$.

Theorems:

1. Let $S,R$ be rings and let $\phi: R \rightarrow S$ be a ring morphism. Let $A$ be a subring of $R$ and let $B$ be a subring of $S$. Then:
   1. $\phi[A]$ is a subring of $S$ and
   2. $\phi^{-1}[B]$ is a subring of $R$
3. Let $\phi:R \rightarrow R'$ be a ring morphism with kernel $N$. Then $\phi[R]$ is a ring, and the map $\mu:R/N \rightarrow \phi[R]$ given by $\mu(x+N)=\phi(x)$ is an isomorphism. If \gamma: R \rightarrow R/N$ is the morphism given by $\gamma(x)=x+N$, then for each $x\in R$ we have $\phi(x)=\mu\gamma(x)$.