Definition 89.3.6. Let $R \to S$ be a local homomorphism of local rings. The relative cotangent space1 of $R$ over $S$ is the $S/\mathfrak m_ S$-vector space $\mathfrak m_ S/(\mathfrak m_ R S + \mathfrak m_ S^2)$.

[1] Caution: We will see later that in our general setting the tangent space of an object $A \in \mathcal{C}_\Lambda$ over $\Lambda$ should not be defined simply as the $k$-linear dual of the relative cotangent space. In fact, the correct definition of the relative cotangent space is $\Omega _{S/R} \otimes _ S S/\mathfrak m_ S$.

There are also:

• 4 comment(s) on Section 89.3: The base category

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