¿Hay algún integral de los dominios en los que no distinto de cero el primer ideal es finitely generado? (Otro de los campos, por supuesto, donde la condición vacuously satisfecho.)
Le pregunté a un similar pregunta el otro día, pero la solución se basó en el uso de cero-divisores y que en realidad no ayuda a despejar la situación estaba considerando.
Respuesta
¿Demasiados anuncios?
Cada anillo de valoración de rango uno que no es discreto satisfacer su requisito.
Un ejemplo concreto que puede encontrar aquí . Otro es el cierre integral de$\mathbb Z_p$ (el anillo de$p$ - enteros adic) en$\overline{\mathbb Q}_p$ (el cierre algebraico de% -número acústico).
