Dominio de ideales principales

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

Un dominio de ideales principales (DIP) es un dominio de integridad en el que todo ideal es principal (está generado por un sólo elemento). Cualquier dominio de ideales principales es también un dominio de factorización única, pero no al revés; esto es, que un dominio entero sea DFU es una condición necesaria para sea un DIP.[1] En estos dominios existe siempre el máximo común divisor y el mínimo común múltiplo, hecho que no ocurre en los dominios de integridad en general. El máximo común divisor de a y b en un DIP es el elemento d del anillo tal que \langle a,b \rangle =\langle d \rangle .

Ejemplos[editar]

Ejemplos de dominio de ideales principales:

  • El anillo \mathbb{Z} de los números enteros.
  • El anillo de polinomios en una variable con coeficientes en el cuerpo \mathbb{K}, \mathbb{K}[x].
  • El anillo de los enteros gaussianos, \mathbb{Z}[i].
  • El anillo de los enteros de Eisenstein, \mathbb{Z}[\omega] donde \omega es una raíz cúbica de la unidad en \mathbb{C}.

Ejemplos de dominios íntegros que no son ideales principales:

  • El anillo de los polinomios en una variable con coeficientes enteros, \mathbb{Z}[x]. Basta considerar el ideal generado por 2 y x y observar que dicho ideal no puede ser generado por un solo elemento.
  • Si \mathbb{K} es un cuerpo y \mathbb{K}[x,y] es su anillo de polinomios en dos variables, entonces \mathbb{K}[x,y] no es dominio de ideales principales. Sea el ideal generado por x e y es trivial ver que no puede generarse por un solo elemento. Además este dominio íntegro es un ejemplo de dominio de factorización única que no es dominio de ideales principales.

Propiedades[editar]

Sea R un dominio íntegro, las siguientes proposiciones son equivalentes:

  • R es un dominio de ideales principales.
  • Cada ideal primo de R es principal.
  • R es un dominio de factorización única y un dominio de Dedekind. (Existen DFU que no son DIP y Dominios de Dedekind que no son DIP, por ejemplo \mathbb{Z}[\sqrt{-5}] es un dominio de Dedekind pero no un DIP).
  • Cada ideal finitamente generado de R es principal y se cumple la condición de cadena ascendente para ideales principales.
  • R admite una norma Dedekind-Hasse.(Las normas Dedekind-Hasse son una generalización de las normas admitidas en los dominios euclideos).

Notas[editar]

  1. Del texto discurre esta condición necesaria que vincula a ciertas categorías de dominios enteros

Enlaces externos[editar]