Lemma 10.36.7. Let $R \to S$ be a ring homomorphism. The set
\[ S' = \{ s \in S \mid s\text{ is integral over }R\} \]
is an $R$-subalgebra of $S$.
Lemma 10.36.7. Let $R \to S$ be a ring homomorphism. The set
is an $R$-subalgebra of $S$.
Proof. This is clear from Lemmas 10.36.4 and 10.36.3. $\square$
Comments (0)
There are also: