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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question

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|cite|improve this answer

Your Answer


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.