Está en la página 1de 2

Dominio de ideales principales

Un dominio de ideales principales (DIP) es un dominio Cada ideal primo de R es principal.


de integridad en el que todo ideal es principal (est gene-
rado por un slo elemento). Cualquier dominio de ideales R es un dominio de factorizacin nica y un domi-
principales es tambin un dominio de factorizacin ni- nio de Dedekind. (Existen DFU que no son DIP y
ca, pero no al revs; esto es, que un dominio entero sea Dominios
de Dedekind que no son DIP, por ejem-
DFU es una condicin necesaria para sea un DIP.[1] En plo Z[ 5] es un dominio de Dedekind pero no un
estos dominios existe siempre el mximo comn divisor DIP).
y el mnimo comn mltiplo, hecho que no ocurre en los Cada ideal nitamente generado de R es principal y
dominios de integridad en general. El mximo comn di- se cumple la condicin de cadena ascendente para
visor de a y b en un DIP es el elemento d del anillo tal que ideales principales.
a, b = d .
R admite una norma Dedekind-Hasse.(Las normas
Dedekind-Hasse son una generalizacin de las nor-
1 Ejemplos mas admitidas en los dominios euclideos).

Ejemplos de dominio de ideales principales:


3 Notas
El anillo Z de los nmeros enteros.
[1] Del texto discurre esta condicin necesaria que vincula a
El anillo de polinomios en una variable con coe- ciertas categoras de dominios enteros
cientes en el cuerpo K , K[x] .
El anillo de los enteros gaussianos, Z[i] .
4 Enlaces externos
El anillo de los enteros de Eisenstein, Z[] donde
es una raz cbica de la unidad en C . Weisstein, Eric W. Principal ring. En Weisstein,
Eric W. MathWorld (en ingls). Wolfram Research.
Ejemplos de dominios ntegros que no son ideales prin-
cipales:

El anillo de los polinomios en una variable con coe-


cientes enteros, Z[x] . Basta considerar el ideal ge-
nerado por 2 y x y observar que dicho ideal no puede
ser generado por un solo elemento.

Si K es un cuerpo y K[x, y] es su anillo de polino-


mios en dos variables, entonces K[x, y] no es do-
minio de ideales principales. Sea I el ideal generado
por x e y es trivial ver que no puede generarse por
un solo elemento. Adems este dominio ntegro es
un ejemplo de dominio de factorizacin nica que
no es dominio de ideales principales.

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

R es un dominio de ideales principales.

1
2 5 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

5 Origen del texto y las imgenes, colaboradores y licencias


5.1 Texto
Dominio de ideales principales Fuente: https://es.wikipedia.org/wiki/Dominio_de_ideales_principales?oldid=85791689 Colaboradores:
Vivero, Taichi, Jgomez53, JAnDbot, Saraedum, Rehernan~eswiki, VolkovBot, Castelo, Muro Bot, Raulshc, Ptbotgourou, Albert11235,
ZroBot, HRoestBot, Grillitus, Addbot, X2y3 y Annimos: 3

5.2 Imgenes

5.3 Licencia del contenido


Creative Commons Attribution-Share Alike 3.0