Dominio de Dedekind

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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[editar]

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.