Encontré lo que creo que es un error en el libro de Neukirch, en el Capítulo 1 Sección 3 (Ideales). El Ejercicio 5 establece
El anillo cociente $\mathcal{O}/\mathfrak{a}$ de un dominio de Dedekind por un ideal $\mathfrak{a} \neq 0$ es un dominio de ideales principales.
Creo que puedo demostrar que todo ideal en el cociente $\mathcal{O}/\mathfrak{a}$ es principal, pero esto no necesita ser necesariamente un dominio, ¿verdad? (es decir $\mathbb{Z}/(4)$ )
Esto parece obvio, pero solo necesito algo de validación, de lo contrario me sentiré loco.
