Lemma 33.42.8. Let $k$ be a field. Let $X$ be a curve over $k$. Let $x \in X$ be a closed point. We think of $x$ as a (reduced) closed subscheme of $X$ with sheaf of ideals $\mathcal{I}$. The following are equivalent

$\mathcal{O}_{X, x}$ is regular,

$\mathcal{O}_{X, x}$ is normal,

$\mathcal{O}_{X, x}$ is a discrete valuation ring,

$\mathcal{I}$ is an invertible $\mathcal{O}_ X$-module,

$x$ is an effective Cartier divisor on $X$.

If $k$ is perfect, these are also equivalent to

$X \to \mathop{\mathrm{Spec}}(k)$ is smooth at $x$.

## Comments (1)

Comment #6645 by Laurent Moret-Bailly on

There are also: