If $I=(a_1,\dots, a_m)$ and $J=(b_1, \dots, b_n)$ are ideals in a commutative ring, then we have
\[IJ=(a_ib_j),\]
where $1\leq i \leq m$ and $1\leq j \leq n$.
Proof.
(a) Prove that $IJ=(x, 6)$.
Note that the product ideal $IJ$ is generated by the products of generators of $I$ and $J$, that is, $x^2, 2x, 3x, 6$. That is, $IJ=(x^2, 2x, 3x, 6)$.
It follows that $IJ$ contains $x=3x-2x$ as well. As the first three generators can be generated by $x$, we deduce that $IJ=(x, 6)$.
(b) Prove that the element $x\in IJ$ cannot be written as $x=f(x)g(x)$, where $f(x)\in I$ and $g(x)\in J$.
Assume that $x=f(x)g(x)$ for some $f(x)\in I$ and $g(x) \in J$.
As $\Z[x]$ is a UFD, we have either
\[f(x)=\pm x, g(x)=\pm 1, \text{ or } f(x)=\pm 1, g(x)=\pm x.\]
In the former case, we have $1\in J$ and hence $J=\Z[x]$, which is a contradiction.
Similarly, in the latter case, we have $1\in I$ and hence $I=\Z[x]$, which is a contradiction.
Thus, in either case, we reached a contradiction.
Hence, $x$ cannot be written as the product of elements in $I$ and $J$.
Comment.
Let $I$ and $J$ be an ideal of a commutative ring $R$.
Then the product of ideals $I$ and $J$ is defined to be
\[IJ:=\{\sum_{i=1}^k a_i b_i \mid a_i\in I, b_i\in J, k\in \N\}.\]
The above problems shows that in general, there are elements in the product $IJ$ that cannot be expressed simply as $ab$ for $a\in I$ and $b\in J$.
Equivalent Conditions For a Prime Ideal in a Commutative Ring
Let $R$ be a commutative ring and let $P$ be an ideal of $R$. Prove that the following statements are equivalent:
(a) The ideal $P$ is a prime ideal.
(b) For any two ideals $I$ and $J$, if $IJ \subset P$ then we have either $I \subset P$ or $J \subset P$.
Proof. […]
If a Prime Ideal Contains No Nonzero Zero Divisors, then the Ring is an Integral Domain
Let $R$ be a commutative ring. Suppose that $P$ is a prime ideal of $R$ containing no nonzero zero divisor. Then show that the ring $R$ is an integral domain.
Definitions: zero divisor, integral domain
An element $a$ of a commutative ring $R$ is called a zero divisor […]
If Every Proper Ideal of a Commutative Ring is a Prime Ideal, then It is a Field.
Let $R$ be a commutative ring with $1$.
Prove that if every proper ideal of $R$ is a prime ideal, then $R$ is a field.
Proof.
As the zero ideal $(0)$ of $R$ is a proper ideal, it is a prime ideal by assumption.
Hence $R=R/\{0\}$ is an integral […]
The Ideal Generated by a Non-Unit Irreducible Element in a PID is Maximal
Let $R$ be a principal ideal domain (PID). Let $a\in R$ be a non-unit irreducible element.
Then show that the ideal $(a)$ generated by the element $a$ is a maximal ideal.
Proof.
Suppose that we have an ideal $I$ of $R$ such that
\[(a) \subset I \subset […]
Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$
Let $R$ be a commutative ring. Consider the polynomial ring $R[x,y]$ in two variables $x, y$.
Let $(x)$ be the principal ideal of $R[x,y]$ generated by $x$.
Prove that $R[x, y]/(x)$ is isomorphic to $R[y]$ as a ring.
Proof.
Define the map $\psi: R[x,y] \to […]
A Prime Ideal in the Ring $\Z[\sqrt{10}]$
Consider the ring
\[\Z[\sqrt{10}]=\{a+b\sqrt{10} \mid a, b \in \Z\}\]
and its ideal
\[P=(2, \sqrt{10})=\{a+b\sqrt{10} \mid a, b \in \Z, 2|a\}.\]
Show that $p$ is a prime ideal of the ring $\Z[\sqrt{10}]$.
Definition of a prime ideal.
An ideal $P$ of a ring $R$ is […]
Prime Ideal is Irreducible in a Commutative Ring
Let $R$ be a commutative ring. An ideal $I$ of $R$ is said to be irreducible if it cannot be written as an intersection of two ideals of $R$ which are strictly larger than $I$.
Prove that if $\frakp$ is a prime ideal of the commutative ring $R$, then $\frakp$ is […]
Generators of the Augmentation Ideal in a Group Ring
Let $R$ be a commutative ring with $1$ and let $G$ be a finite group with identity element $e$. Let $RG$ be the group ring. Then the map $\epsilon: RG \to R$ defined by
\[\epsilon(\sum_{i=1}^na_i g_i)=\sum_{i=1}^na_i,\]
where $a_i\in R$ and $G=\{g_i\}_{i=1}^n$, is a ring […]