Exercise 111.35.4 (029G)—The Stacks project

Processing math: 100%

Table of contents
Part 9: Miscellany
Chapter 111: Exercises
Section 111.35: Tangent Spaces
Exercise 111.35.4 (cite)

previous definition
next exercise

numberstags

history
statistics

Exercise 111.35.4. For any field $K$ prove that the diagram

$\xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & \mathop{\mathrm{Spec}}(K[\epsilon _1]) \ar[d] \\ \mathop{\mathrm{Spec}}(K[\epsilon _2]) \ar[r] & \mathop{\mathrm{Spec}}(K[\epsilon _1, \epsilon _2]/(\epsilon _1\epsilon _2)) }$

is a pushout diagram in the category of schemes. (Here $\epsilon _ i^2 = 0$ as before.)

Comments (0)

There are also:

3 comment(s) on Section 111.35: Tangent Spaces

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