Unramified morphisms are the same as formally unramified morphism that are locally of finite type.

Lemma 37.6.8. Let $f : X \to S$ be a morphism of schemes. The following are equivalent:

1. The morphism $f$ is unramified (resp. G-unramified), and

2. the morphism $f$ is locally of finite type (resp. locally of finite presentation) and formally unramified.

Proof. Use Lemma 37.6.7 and Morphisms, Lemma 29.35.2. $\square$

Comment #1284 by on

Suggested slogan: Unramified morphisms are the same as formally unramified morphism that are locally 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).
{"ft_lang_label":"__label__en","ft_lang_prob":0.85457456,"math_prob":0.8631188,"size":299,"snap":"2022-27-2022-33","text_gpt3_token_len":87,"char_repetition_ratio":0.14915255,"word_repetition_ratio":0.0,"special_character_ratio":0.2742475,"punctuation_ratio":0.16393442,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.97838116,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-06T18:55:38Z\",\"WARC-Record-ID\":\"<urn:uuid:6d92b370-f75c-47e6-94ce-8b4a273efc1c>\",\"Content-Length\":\"14795\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:4f4821ed-beda-46e2-8ee0-96499704a69e>\",\"WARC-Concurrent-To\":\"<urn:uuid:96cc462c-ad26-4a29-8a5b-875edb37c79c>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/02HE\",\"WARC-Payload-Digest\":\"sha1:UW7JJKZP7X63EM46JJQ33GGTD74AZNWR\",\"WARC-Block-Digest\":\"sha1:OXC24PRZUSZY3SJQKXE22JPL6FTSHADL\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104676086.90_warc_CC-MAIN-20220706182237-20220706212237-00774.warc.gz\"}"}