3
$\begingroup$

Can you tell me if my reasoning is correct?

I want to prove if $S \subset R$ are rings and $R$ is integral over $S$ and $I$ is an ideal of $R$ then $R/I$ is integral over $S/ (S\cap I)$.

Let $R$ be integral over $S$. $(S \cap I) \subset I$ is an ideal of $S$ and hence of $R$.

Since $R$ is integral over $S$ we have that $R/(S \cap I)$ is integral over $S/(S \cap I)$ and since $(S \cap I) \subset I$ we have $R/I \subset R/(S\cap I)$ and hence $R/I$ is integral over $S/(S\cap I)$.

  • 0
    @DylanMoreland I tried to write this in an answer.2012-07-06

2 Answers 2

3

Let $r+I\in R/I$. Find a monic polynomial $f(x)\in S[x]$ that $r$ satisfies.

It's natural then to look at the image of $f(x)$ in $S/(S\cap I)[x]$ to see if it works for $r+I$!

Here is the viewpoint from homomorphisms' perspective:

If $R$ is integral over $S$ and $\phi:R\rightarrow T$ is a ring homomorphism, then $\mathrm{Im}(R)$ is integral over $\mathrm{Im}(S)$.

0

Let me post my new attempt (with help of Dylan's comment):

Let $S \subset R$, $I$ an ideal of $R$, $S$ a subring of $R$. Let $\bar{x} \in R/I$. Then $x$ in $R$ and since $R$ is integral over $S$ there are $s_i$ such that $0 = x^n + s_{n-1} x^{n-1} + \dots + s_1 x + s_0$.

The same equation holds modulo $I$. We can view $\bar{s_i} = s_i + (S/S \cap I)$ as an element of $R/I$ since there is an embedding $S/(S \cap I) \hookrightarrow R/I$ defined by $s + (S\cap I) \mapsto s + I$. This is injective since if $s + (S\cap I)$ maps to zero, $s \in I$ and hence $s \in I \cap S$, i.e. the only element mapped to $0$ is $0$.