Definition 10.7.1. Let $\varphi : R \to S$ be a ring map. We say $\varphi : R \to S$ is finite if $S$ is finite as an $R$-module.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).