The question I am asking is very elementary I think. Suppose $R$ is an integral domain. Let $I$ be an ideal of $R$. Then we can consider the quotient ring $R/I= I_R$. Now consider an ideal $J'$ of $R/I$ , then from the fourth isomorphism theorem of ring we can say that there is an ideal $J$ of $R$ containing $I$ such that $J' = J/I $ in $R/I$.
Now if we consider the quotient ring $I_R$ , then we can again quotient it by the ideal $J'$ i.e by $J/I$, so we have a quotient ring $I_R/J'$ which is actually $(R/I)/(J/I)$ and from third isomorphism theorem we have $(R/I)/(J/I)$ i.e $I_R/J'$ isomorphic to $R/J$.
Now while viewing some questions and answers about quotient ring on this site, I found this answer (question is attached with it) in which the very 1st line is confusing to me. Why the ordering in quotient doesn't matter ?
( Regarding to the question if we see, then we have $R = \mathbb Z[x] , I =((x^2+x+1)(x^3 +x+1)) , I_R = \mathbb Z[x]/I, J' = (2) $. So for $J'$ we have an ideal $J$ corresponding to it in $\mathbb Z[x] $ which contains $I$ . So we have $(R/I)/(J/I) $ isomorphic to $R/J$. I understand atmost to this extent. ) If I accept the 1st line, then I am ok with the proof.
Next in this answer how $ \mathbb Z[√3] /(1+2√3) $ is isomorphic to $\mathbb Z[x]/((x^2-3),(1+2x))$ ? I am ok that $\mathbb Z[√3]$ is isomorphic to the ring $\mathbb Z[x]/(x^2-3)$, and I think $\mathbb Z[√3]/(1+2√3) $ is isomorphic to $(\mathbb Z[x]/(x^2 - 3))/(1+2√3)$. So is it permissible to write $(\mathbb Z[x]/(x^2 - 3))/(1+2√3)$ as $\mathbb Z[x] /( x^2-3, 1+ 2√3) $ ? If yes then why ? Here $1+2√3$ is actually $1+2x$ because here $x^2=3$, so $x=√3 $, am I right ?
All of my questions are very easy I think, but due to a bizzare view about the Polynomial Rings and there quotients I am unable to understand these. Also my question is large , but I need to understand the concept, so I am looking for a simple explanation. Thank you.