Lemma 15.36.4. Let $(R, \mathfrak m)$ and $(S, \mathfrak n)$ be rings endowed with finitely generated ideals. Endow $R$ and $S$ with the $\mathfrak m$-adic and $\mathfrak n$-adic topologies. Let $R \to S$ be a homomorphism of topological rings. The following are equivalent
$R \to S$ is formally smooth for the $\mathfrak n$-adic topology,
$R \to S^\wedge $ is formally smooth for the $\mathfrak n^\wedge $-adic topology,
$R^\wedge \to S^\wedge $ is formally smooth for the $\mathfrak n^\wedge $-adic topology.
Here $R^\wedge $ and $S^\wedge $ are the $\mathfrak m$-adic and $\mathfrak n$-adic completions of $R$ and $S$.
The assumption that $\mathfrak m$ is finitely generated implies that $R^\wedge $ is $\mathfrak mR^\wedge $-adically complete, that $\mathfrak mR^\wedge = \mathfrak m^\wedge $ and that $R^\wedge /\mathfrak m^ nR^\wedge = R/\mathfrak m^ n$, see Algebra, Lemma 10.95.3 and its proof. Similarly for $(S, \mathfrak n)$. Thus it is clear that diagrams as in Definition 15.36.1 for the cases (1), (2), and (3) are in 1-to-1 correspondence.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).