Exercise 111.50.3. Suppose that $R$ is a ring and

Note that we are assuming that $A$ is presented by the same number of equations as variables. Thus the matrix of partial derivatives

is $n \times n$, i.e., a square matrix. Assume that its determinant is invertible as an element in $A$. Note that this is exactly the condition that says that $\Omega _{A/R} = (0)$ in this case of $n$-generators and $n$ relations. Let $\pi : B' \to B$ be a surjection of $R$-algebras whose kernel $J$ has square zero (as an ideal in $B'$). Let $\varphi : A \to B$ be a homomorphism of $R$-algebras. Show there exists a unique homomorphism of $R$-algebras $\varphi ' : A \to B'$ such that $\varphi = \pi \circ \varphi '$.

## Comments (0)