Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a commutative ring and $I,J,K$ be ideals such that $I\subseteq J$ and $I\subseteq K$.

Let $\pi: R \to R/I$ be the canonical map. I am able to prove $\pi$ preserves sum and products. Unsure about intersections.

$J/I + K/I = (J+K)/I$

$J/I \cdot K/I = (J\cdot K)/I$

$J/I \cap K/I = (J\cap K)/I$?

share|improve this question

1 Answer 1

Remember that the quotient map induces a lattice isomorphism between the ideals of $R/I$ and the ideals of $R$ that contain $I$; in particular, since $J\cap K$ is the largest ideal of $R$ that contains $I$ and is contained in both $J$ and $K$, then it follows that $(J\cap K)/I$ is the largest ideal of $R/I$ that is contained in both $J/I$ and $K/I$, hence must equal $(J/I) \cap (K/I)$.

Though I think that is by far the best way to go, to prove it explicitly, note that if $x\in J\cap K$, then $x+I\in J/I$ and $x+I\in K/I$, so you get $(J\cap K)/I\subseteq (J/I)\cap(K/I)$. For the converse inclusion, let $a+I\in (J/I)\cap(K/I)$. Then there exists $j\in J$ and $k\in K$ with $j+I = k+I = a+I$. In particular, $j-k\in I$. Therefore, $k=j-(j-k)\in J$, because $j\in J$ and $j-k\in I\subseteq J$, hence $k\in J\cap K$, thus, $a+I = k+I\in (J\cap K)/I$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.