The Stacks project

Proof. Let $k$ be the residue field of $A$. If the characteristic of $k$ is $p > 0$, then we denote $\Lambda $ a Cohen ring (Algebra, Definition 10.160.5) with residue field $k$ (Algebra, Lemma 10.160.6). If the characteristic of $k$ is $0$ we set $\Lambda = k$. Recall that $\Lambda [[x_1, \ldots , x_ n]]$ for any $n$ is formally smooth over $\mathbf{Z}$, resp. $\mathbf{Q}$ in the $\mathfrak m$-adic topology, see More on Algebra, Lemma 15.39.1. Fix a surjection $\Lambda [[x_1, \ldots , x_ n]] \to A$ as in the Cohen structure theorem (Algebra, Theorem 10.160.8).

Let $R \to A$ be a surjection from a regular local ring $R$. Let $f_1, \ldots , f_ r$ be a minimal sequence of generators of $\mathop{\mathrm{Ker}}(R \to A)$. We will use without further mention that an ideal in a Noetherian local ring is generated by a regular sequence if and only if any minimal set of generators is a regular sequence. Observe that $f_1, \ldots , f_ r$ is a regular sequence in $R$ if and only if $f_1, \ldots , f_ r$ is a regular sequence in the completion $R^\wedge $ by Algebra, Lemmas 10.68.5 and 10.97.2. Moreover, we have

because $A$ is $\mathfrak m_ A$-adically complete (first equality by Algebra, Lemma 10.97.1). Finally, the ring $R^\wedge $ is regular since $R$ is regular (More on Algebra, Lemma 15.43.4). Hence we may assume $R$ is complete.

If $R$ is complete we can choose a map $\Lambda [[x_1, \ldots , x_ n]] \to R$ lifting the given map $\Lambda [[x_1, \ldots , x_ n]] \to A$, see More on Algebra, Lemma 15.37.5. By adding some more variables $y_1, \ldots , y_ m$ mapping to generators of the kernel of $R \to A$ we may assume that $\Lambda [[x_1, \ldots , x_ n, y_1, \ldots , y_ m]] \to R$ is surjective (some details omitted). Then we can consider the commutative diagram

By Algebra, Lemma 10.135.6 we see that the condition for $R \to A$ is equivalent to the condition for the fixed chosen map $\Lambda [[x_1, \ldots , x_ n]] \to A$. This finishes the proof of the lemma. $\square$