An effective Cartier divisor on a scheme $X$ (a closed subscheme of $X$ that is locally cut out by one equation that is not a zero-divisor) is always a regular embedding of codimension 1 (in the stalks, it is cut out by one equation that is not a zero-divisor). The converse is true if $X$ is locally Noetherian, using Nakayama's lemma to "lift" from the stalk to an "honest neighborhood". 



> 
> Is there a (necessarily non-Noetherian) example of a codimension 1 regular embedding that is not an effective Cartier divisor?
> 
> 
> 


(See section 8.4.7 of the March 23, 2013 version of the notes [**here**](http://math.stanford.edu/~vakil/216blog/) for some discussion, if you care.)


I am asking this out of idle curiosity rather than any need for it, but I am genuinely curious.



Example of codim 1 regular embedding that is not an effective Cartier divisor?
Let $(A,m,k)$ be a discrete valuation ring. Consider the subring $R\subset A^\mathbb{N}$ of converging sequences (for the discrete topology on $A$), i.e. ultimately constant sequences. We have a morphism $\varphi:R\to A$ sending any sequence to its limit. Put $\mathfrak{p}=\varphi^{-1}(m)$: this is the maximal ideal of sequences with noninvertible limit. 


Now it is easy to check that $\varphi$ induces an isomorphism $R\_\mathfrak{p}\cong A$. In particular, $\mathfrak{p}$ becomes principal in $R\_\mathfrak{p}$, and of course also in $R\_\mathfrak{q}$ for all $\mathfrak{q}\neq\mathfrak{p}$ because then $\mathfrak{p}R\_\mathfrak{q}=R\_\mathfrak{q}$. So $V(\mathfrak{p})\subset\mathrm{Spec}\,(R)$ is a regular embedding of codimension 1. 


On the other hand, $\mathfrak{p}$ is not finitely generated. Indeed, if $J\subset\mathfrak{p}$ is a finitely generated ideal, there is an $N\in\mathbb{N}$ such that for each $u:\mathbb{N}\to A$ in $J$ and each $n>N$ we have $u(n)\in m$. Clearly there is no such $N$ for $\mathfrak{p}$.


