Lemma 10.7.3. Suppose that $R \to S$ and $S \to T$ are finite ring maps. Then $R \to T$ is finite.
Proof. If $t_ i$ generate $T$ as an $S$-module and $s_ j$ generate $S$ as an $R$-module, then $t_ i s_ j$ generate $T$ as an $R$-module. (Also follows from Lemma 10.7.2.) $\square$
Comments (0)