2
$\begingroup$

Let $R$ be a ring and let $S$ be a subring of R. If $R$ is a semi-local ring and $R$ is integral over $S$, why $S$ is semi-local as well?

2 Answers 2

5

Because $R$ is integral over $S$, given any maximal ideal of $\mathfrak n$ of $S$, there is a maximal ideal $\mathfrak m$ of $R$ lying over $\mathfrak m$. This shows that the number of maximal ideals of $S$ is bounded above by the number of maximal ideals of $R$. In particular, if $R$ has only finitely many such, then the same is true of $S$.

  • 0
    Thanks! It is clear now. Problem is, which answer shall I choose? heh, both are great.2011-05-16
2

A ring is semi-local when it has finitely many maximal ideals. By Corollary 5.8 of Atiyah-Macdonald, for every prime ideal $\frak{q}$ of $R$, the ideal ${\frak{p}}={\frak{q}}\cap S$ is maximal if and only if $\frak{q}$ is maximal. By Theorem 5.10 of Atiyah-Macdonald, for every prime $\frak{p}$ of $S$ there is some prime $\frak{q}$ of $R$ with ${\frak{q}}\cap S=\frak{p}$. Thus, because $R$ has finitely many maximal ideals, so will $S$.

  • 0
    yeah, I didn't see it either. Thank you a lot for this answer and the previous ones, you have been very helpful!2011-05-16