Lemma 10.154.2. Let $R$ be a Noetherian complete local ring. Any quotient of $R$ is also a Noetherian complete local ring. Given a finite ring map $R \to S$, then $S$ is a product of Noetherian complete local rings.
The ring $S$ is Noetherian by Lemma 10.30.1. As an $R$-module $S$ is complete by Lemma 10.96.1. Hence $S$ is the product of the completions at its maximal ideals by Lemma 10.96.8.
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).