Let $K$ be a number field and $\mathcal O_K$ the ring of algebraic integers in $K$.
If $\mathfrak p$ is a prime ideal, then $\mathcal O_K/\mathfrak p$ is finite field.
My question is:
Finding a Dedekind domain $D$ and $\mathfrak p$ a prime ideal (in $D$) such that $D/\mathfrak p$ is infinite.
I appreciate any reference.
Thank you all.