Example 89.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 89.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

is not an isomorphism. Thus in Lemma 89.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: