Let $S$ be a subring of a commutative ring $R$ and $a,b,c,d$ are all in $S$. If ideals $(a,b) = (c,d)$ in R, does $(a, b) = (c,d)$ still hold in $S$? If not, what would be a necessary condition on $R$ or $S$ for the statement to hold true?
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.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
If $S\subset R$ is faithfully flat or $S$ is a direct summand of $R$ (considered as $S$-module), then $IR\cap S=I$ for any ideal $I\subset S$.