Dominio de Dedekind

- Mathematics & Logic -
Pure Mathematics Dictionary
Un dominio de Dedekind es un dominio íntegro que es noetheriano, está íntegramente cerrado en su cuerpo de fracciones y tiene dimensión de Krull uno; equivalentemente, todo ideal propio no nulo se factoriza de forma única como producto de ideales primos. Los dominios de Dedekind son el marco natural para la factorización de ideales en teoría de números algebraicos.