Lemma 37.2.4 (09ZU)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 37: More on Morphisms
Section 37.2: Thickenings
Lemma 37.2.4 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 37.2.4. Let $S \subset S'$ be a thickening of schemes. Let $X' \to S'$ be a morphism and set $X = S \times _{S'} X'$. Then $(X \subset X') \to (S \subset S')$ is a morphism of thickenings. If $S \subset S'$ is a first (resp. finite order) thickening, then $X \subset X'$ is a first (resp. finite order) thickening.

Proof. Omitted. $\square$

Comments (0)

There are also:

6 comment(s) on Section 37.2: Thickenings

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

Comments (0)

Post a comment