
Definition 10.53.1. Let $R \to S$ be a ring map.

1. We say that $R \to S$ is essentially of finite type if $S$ is the localization of an $R$-algebra of finite type.

2. We say that $R \to S$ is essentially of finite presentation if $S$ is the localization of an $R$-algebra of finite presentation.

Comment #2605 by Oliver on

Does this notion have an "official" scheme theoretic analogue? To me there are at least two choices. One would be to require the induced morphisms of stalks to be essentially of finite type as maps of rings, the other would be via open affine covers.

Comment #2606 by on

Do you think it would be useful to have such a notion?

There are also:

• 5 comment(s) on Section 10.53: Homomorphisms essentially of finite type

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).