Let $R$ be a commutative ring, suppose that $I$ and $J$ are ideals of $R$. Suppose that $R/I\cong S_1$ and $R/J\cong S_2$. It is true that if $S_1\subset S_2$ if then $J\subset I$?
Factor Rings in Commutative Rings
2
$\begingroup$
abstract-algebra
-
0If by $S_1 \subset S_2$ you mean $S_1$ embeds in $S_2$ then this is easily seen to be false. Consider $R=k[x,y]$, $I=(x)$ and $J=(y)$. – 2012-08-10
1 Answers
2
Consider the following. Let $k$ be a field. For all $a\in k$, we have $k[X]/(X-a)\cong k.$ However, each ideal $(X-a)$ is maximal, and so none is contained in the other.