In the category of (commutative, unital) $\mathbb{C}$-algebras, let ${f : \mathbb{C}[t, t^{-1}] \rightarrow \mathbb{C}[t, t^{-1}, x]/(x^2 -t)}$ be the obvious map sending $t$ in the domain to $t$ in the codomain. Let $N$ be a nilpotent ideal in an algebra $C$ and let ${q : C \rightarrow C/N}$ be the resulting quotient. Let ${g : \mathbb{C}[t, t^{-1}] \rightarrow C}$ and ${h : \mathbb{C}[t, t^{-1}, x]/(x^2 -t) \rightarrow C/N}$ be such that ${h f = q g}$ (in other words, such that `the square commutes').
Why is it that there exists a unique ${k : \mathbb{C}[t, t^{-1}, x]/(x^2 -t) \rightarrow C}$ such that ${k f = g}$ and ${q k = h}$ (in other words, a unique $k$ making the inner triangles of the square commute)?
(Please, no appeal to schemes, references to EGA etc. I just want to see a direct proof using only the simplest commutative-algebraic facts. Thanks in advance.)
Lemma 1 Let $A$ be a commutative ring in which no nonzero integer is a zero divisor (in particular, $A$ has characteristic $0$). Let $s \in A$ such that $s^2 = 1$. If $1-s$ is nilpotent, then $s = 1$.
Proof. Choose a positive integer $n$ such that $(1-s)^{2n+1} = 0$. By the binomial theorem, $$0 = \sum_{i=0}^{2n+1} \binom{2n+1}{i} (-1)^i s^i = \sum_{i=0}^n \binom{2n+1}{2i} - s \sum_{i=0}^n \binom{2n+1}{2i+1} = (1-s) \sum_{i=0}^n \binom{2n+1}{2i}.$$ Since $\sum_{i=0}^n \binom{2n+1}{2i}$ is not a zero divisor, $1-s = 0$, so $s = 1$. $\square$
Corollary If $k$ exists then it is unique.
Proof. Suppose there are two such maps, $k$ and $k'$. Since $kf = g = k'f$, we see that $k(x)^2 = k'(x)^2$ is a unit in $C$. In particular, $k(x)$ is a unit. Since $qk = h = qk'$, we see that $k(x) - k'(x)$ is nilpotent, so $1 - k'(x)/k(x)$ is nilpotent. By Lemma 1, $k'(x)/k(x) = 1$, i.e. $k(x) = k'(x)$. This shows that $k = k'$. $\square$
Existence of $k$ boils down to smoothness of the map $\operatorname{Spec} \mathbb{C}[t,t^{-1},x]/(x^2 - t) \to \operatorname{Spec} \mathbb{C}[t,t^{-1}]$, which we can unpack into straight algebra.
Lemma 2 If $N^2 = 0$ then there exists a map $k$ as desired.
Proof. Since $q$ is surjective, choose some $y \in C$ such that $q(y) = h(x)$. Now $q(y^2 - g(t)) = 0$, so $y^2 - g(t) \in N$. Since $q(2y) = h(2x)$ is a unit in $C/N$, $2y$ is a unit in $C$. So let $z = (g(t) - y^2)/(2y)$ (whence $z \in N$). Let $k_0 : \mathbb{C}[t,t^{-1},x] \to C$ be defined by sending $t \mapsto g(t)$ and $x \mapsto y+z$. Then $k_0(x^2 - t) = (y+z)^2 - g(t) = y^2 + (2y)z + z^2 - g(t) = y^2 - g(t) + (2y)z = 0$ since $N^2 = 0$. Thus, $k_0$ descends to give a map $k : \mathbb{C}[t,t^{-1},x]/(x^2 - t) \to C$ where $k(t) = g(t)$ and $k(x) = y + z$. It's easy to check that $kf = g$ and $qk = h$. $\square$
Now we can lift from $C/N$ to $C/N^2$, to $C/N^4$, ..., until we reach $C/N^m = C$. Formally, as an inductive proof:
Corollary There exists a map $k$ as desired.
Proof. Let $n$ be the smallest positive integer such that $N^n = 0$. We will use induction on $n$. If $n = 1$ then $q$ is an isomorphism and we are done. For the inductive step, suppose $n > 1$ and that the result holds for all smaller values of $n$. Factor $q$ as the composition of the quotients $C \to C/N^2 \to (C/N^2)/(N/N^2) \cong C/N$. Since $(N/N^2)^2 = 0$, Lemma 2 says that $h$ lifts up the projection $C/N^2 \to C/N$ to give a map $\ell : \mathbb{C}[t,t^{-1},x]/(x^2 - t) \to C/N^2$ making everything commute. By inductive hypothesis, $\ell$ lifts up to $k : \mathbb{C}[t,t^{-1},x]/(x^2 - t) \to C$. $\square$