Definition 10.160.1 (0324)—The Stacks project

Processing math: 100%

Definition 10.160.1. Let $(R, \mathfrak m)$ be a local ring. We say $R$ is a complete local ring if the canonical map

$R \longrightarrow \mathop{\mathrm{lim}}\nolimits _ n R/\mathfrak m^ n$

to the completion of $R$ with respect to $\mathfrak m$ is an isomorphism ¹.

[1] This includes the condition that

$\bigcap \mathfrak m^ n = (0)$ ; in some texts this may be indicated by saying that

$R$ is complete and separated. Warning: It can happen that the completion

$\mathop{\mathrm{lim}}\nolimits _ n R/\mathfrak m^ n$ of a local ring is non-complete, see Examples, Lemma 110.7.1. This does not happen when

$\mathfrak m$ is finitely generated, see Lemma 10.96.3 in which case the completion is Noetherian, see Lemma 10.97.5.

Comments (0)

There are also:

2 comment(s) on Section 10.160: The Cohen structure theorem

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).

Comments (0)

Post a comment