Example 90.3.13. Let $\Lambda = k[[x]]$ be the power series ring in $1$ variable over $k$. Set $A = k$ and $B = \Lambda /(x^2)$. Then $B \to A$ is an essential surjection by Lemma 90.3.12 because it is a small extension and the map $B \to A$ does not have a right inverse (in the category $\mathcal{C}_\Lambda $). But the map
\[ k \cong \mathfrak m_ B/\mathfrak m_ B^2 \longrightarrow \mathfrak m_ A/\mathfrak m_ A^2 = 0 \]
is not an isomorphism. Thus in Lemma 90.3.12 (3) it is necessary to consider the map of relative cotangent spaces $\mathfrak m_ B/(\mathfrak m_\Lambda B + \mathfrak m_ B^2) \to \mathfrak m_ A/(\mathfrak m_\Lambda A + \mathfrak m_ A^2)$.
Comments (0)
There are also: