- Dominio de Dedekind
-
Dominio de Dedekind
En Teoría de anillos se dice de un dominio A que es un dominio de Dedekind si todo ideal de A es proyectivo como A-módulo.
Descripción
Todo dominio de Dedekind es noetheriano. Una propiedad que caracteriza a este tipo de anillos queda reflejada en el siguiente teorema:
Sea A un dominio. A es un dominio de Dedekind si, y sólo si, cada módulo inversible es inyectivo.Ejemplos clásicos de dominios de Dedekind son los anillos de enteros algebráicos.
Categoría: Teoría de anillos
Wikimedia foundation. 2010.