Example 10.118.5. Let $k$ be a field of characteristic $p > 0$ such that $k$ has infinite degree over its subfield $k^ p$ of $p$th powers. For example $k = \mathbf{F}_ p(t_1, t_2, t_3, \ldots )$. Consider the ring

Then $A$ is a discrete valuation ring and its completion is $A^\wedge = k[[x]]$. Note that the induced extension of fraction fields of $A \subset k[[x]]$ is infinite purely inseparable. Choose any $f \in k[[x]]$, $f \not\in A$. Let $R = A[f] \subset k[[x]]$. Then $R$ is a Noetherian local domain of dimension $1$ whose completion $R^\wedge $ is nonreduced (think!).

## Comments (0)