Exercise 111.35.5. Let $f : X \to S$ be a morphism of schemes. Let $x \in X$. Define addition of tangent vectors, using Exercise 111.35.4 and a suitable morphism

Similarly, define scalar multiplication of tangent vectors (this is easier). Show that $T_{X/S, x}$ becomes a $\kappa (x)$-vector space with your constructions.

## Comments (0)

There are also: