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 algebraicos.
Datos: Q254347
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.