Dominio integral

En matemáticas , un dominio integral es un anillo conmutativo no nulo en el que el producto de cualesquiera dos elementos no nulos es no nulo . ^{[ 1 ] [ 2 ]} En un dominio integral, todo elemento no nulo a tiene la propiedad de cancelación , es decir, si a ≠ 0 , ab = ac implica b = c . Los dominios integrales son generalizaciones del anillo de los enteros y proporcionan un entorno útil para estudiar la divisibilidad .

El término «dominio integral» se define casi universalmente como se indicó anteriormente, pero existen algunas variaciones. Este artículo sigue la convención de que los anillos tienen un elemento neutro multiplicativo , generalmente denotado por 1, pero algunos autores no la siguen, al no exigir que los dominios integrales tengan un elemento neutro multiplicativo. ^{[ 3 ] [ 4 ]} En ocasiones se admiten dominios integrales no conmutativos. ^{[ 5 ]} Sin embargo, este artículo sigue la convención mucho más común de reservar el término «dominio integral» para el caso conmutativo y usar « dominio » para el caso general, incluidos los anillos no conmutativos.

Algunas fuentes, en particular Lang , utilizan el término anillo completo para referirse al dominio integral. ^{[ 6 ]}

Algunos tipos específicos de dominios integrales se dan con la siguiente cadena de inclusiones de clases :

rngs ⊃ anillos ⊃ anillos conmutativos ⊃ dominios integrales ⊃ dominios integralmente cerrados ⊃ dominios MCD ⊃ dominios de factorización única ⊃ dominios de ideales principales ⊃ dominios euclidianos ⊃ cuerpos ⊃ cuerpos algebraicamente cerrados

Un dominio de integridad es un anillo conmutativo no nulo en el que el producto de cualesquiera dos elementos no nulos es no nulo. Equivalentemente:

• Un dominio de integridad es un anillo conmutativo no nulo sin divisores de cero no nulos .
• Un dominio integral es un anillo conmutativo en el que el ideal cero {0} es un ideal primo .
• Un dominio de integridad es un anillo conmutativo no nulo para el cual cada elemento no nulo es cancelable bajo la multiplicación.
• Un dominio de integridad es un anillo cuyo conjunto de elementos no nulos es un monoide conmutativo bajo la multiplicación (porque un monoide debe ser cerrado bajo la multiplicación).
• Un dominio de integridad es un anillo conmutativo no nulo en el que, para cada elemento no nulo r , la función que asigna a cada elemento x del anillo el producto xr es inyectiva . Los elementos r con esta propiedad se denominan regulares , por lo que es equivalente a exigir que cada elemento no nulo del anillo sea regular.
• Un dominio de integridad es un anillo isomorfo a un subanillo de un cuerpo . (Dado un dominio de integridad, se puede incrustar en su cuerpo de fracciones ).

• El ejemplo arquetípico es el anillo de todos los números enteros .${\displaystyle \mathbb {Z} }$
• Todo cuerpo es un dominio de integridad. Por ejemplo, el cuerpo de todos los números reales es un dominio de integridad. Recíprocamente, todo dominio de integridad artiniano es un cuerpo. En particular, todos los dominios de integridad finitos son cuerpos finitos (más generalmente, según el pequeño teorema de Wedderburn , los dominios finitos son cuerpos finitos ). El anillo de los enteros proporciona un ejemplo de un dominio de integridad infinito no artiniano que no es un cuerpo, y que posee secuencias descendentes infinitas de ideales como: ${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Z} }$

  ${\displaystyle \mathbb {Z} \supset 2\mathbb {Z} \supset \cdots \supset 2^{n}\mathbb {Z} \supset 2^{n+1}\mathbb {Z} \supset \cdots }$

• Los anillos de polinomios son dominios de integridad si sus coeficientes pertenecen a un dominio de integridad. Por ejemplo, el anillo de todos los polinomios de una variable con coeficientes enteros es un dominio de integridad; lo mismo ocurre con el anillo de todos los polinomios de n variables con coeficientes complejos .${\displaystyle \mathbb {Z} [x]}$${\displaystyle \mathbb {C} [x_{1},\ldots ,x_{n}]}$
• El ejemplo anterior puede aprovecharse aún más tomando cocientes de ideales primos. Por ejemplo, el anillo correspondiente a una curva elíptica plana es un dominio de integridad. La integralidad puede comprobarse demostrando que es un polinomio irreducible .${\displaystyle \mathbb {C} [x,y]/(y^{2}-x(x-1)(x-2))}$${\displaystyle y^{2}-x(x-1)(x-2)}$
• El anillo es un dominio de integridad para cualquier entero no cuadrado . Si , entonces este anillo es siempre un subanillo de , de lo contrario, es un subanillo de${\displaystyle \mathbb {Z} [x]/(x^{2}-n)\cong \mathbb {Z} [{\sqrt {n}}]}$${\displaystyle n}$${\displaystyle n>0}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {C} .}$
• El anillo de enteros p -ádicos es un dominio de integridad.${\displaystyle \mathbb {Z} _ {p}}$
• El anillo de series de potencias formales de un dominio integral es un dominio integral.
• Si es un subconjunto abierto conexo del plano complejo , entonces el anillo formado por todas las funciones holomorfas es un dominio de integridad. Lo mismo ocurre con los anillos de funciones analíticas en subconjuntos abiertos conexos de variedades analíticas .${\displaystyle U}$${\displaystyle \mathbb {C} }$${\displaystyle {\mathcal {H}}(U)}$
• Un anillo local regular es un dominio integral. De hecho, un anillo local regular es un UFD . ^{[ 7 ] [ 8 ]}

Los siguientes anillos no son dominios de integridad.

• El anillo cero (el anillo en el que ).${\displaystyle 0=1}$
• El anillo cociente cuando m es un número compuesto . Para demostrar esto, elijamos una factorización propia (es decir, que y no sean iguales a o ). Entonces y , pero .${\displaystyle \mathbb {Z} /m\mathbb {Z} }$${\displaystyle m=xy}$${\displaystyle x}$${\displaystyle y}$${\displaystyle 1}$${\displaystyle m}$${\displaystyle x\not \equiv 0{\bmod {m}}}$${\displaystyle y\not \equiv 0{\bmod {m}}}$${\displaystyle xy\equiv 0{\bmod {m}}}$
• Un producto de dos anillos conmutativos no nulos. En dicho producto , se tiene .${\displaystyle R\times S}$${\displaystyle (1,0)\cdot (0,1)=(0,0)}$
• El anillo cociente para cualquier . Las imágenes de y son distintas de cero, mientras que su producto es 0 en este anillo.${\displaystyle \mathbb {Z} [x]/(x^{2}-n^{2})}$${\displaystyle n\in \mathbb {Z} }$${\displaystyle x+n}$${\displaystyle x-n}$
• El anillo de matrices n × n sobre cualquier anillo no nulo cuando n ≥ 2. Si y son matrices tales que la imagen de está contenida en el núcleo de , entonces . Por ejemplo, esto sucede para .${\displaystyle M}$${\displaystyle N}$${\displaystyle N}$${\displaystyle M}$${\displaystyle MN=0}$${\displaystyle M=N=({\begin{smallmatrix}0&1\\0&0\end{smallmatrix}})}$
• El anillo cociente para cualquier cuerpo y cualquier polinomio no constante . Las imágenes de f y g en este anillo cociente son elementos no nulos cuyo producto es 0. Este argumento muestra, equivalentemente, que no es un ideal primo . La interpretación geométrica de este resultado es que los ceros de fg forman un conjunto algebraico afín que no es irreducible (es decir, no es una variedad algebraica ) en general. El único caso en que este conjunto algebraico puede ser irreducible es cuando fg es una potencia de un polinomio irreducible , que define el mismo conjunto algebraico.${\displaystyle k[x_{1},\ldots ,x_{n}]/(fg)}$${\displaystyle k}$${\displaystyle f,g\in k[x_{1},\ldots ,x_{n}]}$${\displaystyle (fg)}$
• El anillo de funciones continuas en el intervalo unitario . Consideremos las funciones

  ${\displaystyle f(x)={\begin{cases}1-2x&x\in \left[0,{\tfrac {1}{2}}\right]\\0&x\in \left[{\tfrac {1}{2}},1\right]\end{cases}}\qquad g(x)={\begin{cases}0&x\in \left[0,{\tfrac {1}{2}}\right]\\2x-1&x\in \left[{\tfrac {1}{2}},1\right]\end{cases}}}$

Ni ni es cero en todas partes, pero sí lo es.${\displaystyle f}$${\displaystyle g}$${\displaystyle fg}$

• El producto tensorial . Este anillo tiene dos idempotentes no triviales , y . Son ortogonales, lo que significa que , y por lo tanto no es un dominio. De hecho, existe un isomorfismo definido por . Su inverso está definido por . Este ejemplo muestra que un producto fibrado de esquemas afines irreducibles no tiene por qué ser irreducible.${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} }$${\displaystyle e_{1}={\tfrac {1}{2}}(1\otimes 1)-{\tfrac {1}{2}}(i\otimes i)}$${\displaystyle e_{2}={\tfrac {1}{2}}(1\otimes 1)+{\tfrac {1}{2}}(i\otimes i)}$${\displaystyle e_{1}e_{2}=0}$${\displaystyle \mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} }$${\displaystyle \mathbb {C} \times \mathbb {C} \to \mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} }$${\displaystyle (z,w)\mapsto z\cdot e_{1}+w\cdot e_{2}}$${\displaystyle z\otimes w\mapsto (zw,z{\overline {w}})}$

En esta sección, R es un dominio de integridad.

Dados los elementos a y b de R , se dice que a divide a b , o que a es un divisor de b , o que b es un múltiplo de a , si existe un elemento x en R tal que ax = b .

Las unidades de R son los elementos que dividen a 1; estos son precisamente los elementos invertibles en R. Las unidades dividen a todos los demás elementos.

Si a divide a b y b divide a a , entonces a y b son elementos asociados o asociados . ^{[ 9 ]} De manera equivalente, a y b son asociados si a = ub para alguna unidad u .

Un elemento irreducible es un número no unitario distinto de cero que no puede escribirse como producto de dos números no unitarios.

Un elemento no nulo y distinto de cero p es un elemento primo si, siempre que p divida un producto ab , entonces p divide a o p divide b . De forma equivalente, un elemento p es primo si y solo si el ideal principal ( p ) es un ideal primo distinto de cero .

Tanto la noción de elementos irreducibles como la de elementos primos generalizan la definición ordinaria de números primos en el anillo si se consideran primos los primos negativos.${\displaystyle \mathbb {Z} ,}$

Todo elemento primo es irreducible. Lo contrario no es cierto en general: por ejemplo, en el anillo de enteros cuadráticos, el elemento 3 es irreducible (si se factorizara de forma no trivial, cada factor tendría que tener norma 3, pero no existen elementos con norma 3, ya que no tiene soluciones enteras), pero no es primo (ya que 3 divide a 3 sin dividir a ninguno de sus factores). En un dominio de factorización única (o, más generalmente, en un dominio de MCD ), un elemento irreducible es un elemento primo.${\displaystyle \mathbb {Z} \left[{\sqrt {-5}}\right]}$${\displaystyle a^{2}+5b^{2}=3}$${\displaystyle \left(2+{\sqrt {-5}}\right)\left(2-{\sqrt {-5}}\right)}$

Aunque la factorización única no se cumple en , existe factorización única de ideales . Véase el teorema de Lasker-Noether .${\displaystyle \mathbb {Z} \left[{\sqrt {-5}}\right]}$

• Un anillo conmutativo R es un dominio de integridad si y solo si el ideal (0) de R es un ideal primo.
• Si R es un anillo conmutativo y P es un ideal en R , entonces el anillo cociente R/P es un dominio de integridad si y solo si P es un ideal primo .
• Sea R un dominio de integridad. Entonces, los anillos de polinomios sobre R (en cualquier número de indeterminadas) son dominios de integridad. Esto es particularmente cierto si R es un cuerpo .
• La propiedad de cancelación se cumple en cualquier dominio de integridad: para cualesquiera a , b y c en un dominio de integridad, si a ≠ 0 y ab = ac , entonces b = c . Otra forma de expresarlo es que la función x ↦ ax es inyectiva para cualquier a distinto de cero en el dominio.
• La propiedad de cancelación se cumple para ideales en cualquier dominio integral: si xI = xJ , entonces o x es cero o I = J.
• Un dominio integral es igual a la intersección de sus localizaciones en los ideales máximos.
• Un límite inductivo de dominios de integridad es un dominio de integridad.
• Si A y B son dominios de integridad sobre un cuerpo algebraicamente cerrado k , entonces A ⊗ _k B es un dominio de integridad. Esto es consecuencia del teorema de Hilbert sobre los valores nulos , ^{[ a ]} y, en geometría algebraica, implica que el anillo de coordenadas del producto de dos variedades algebraicas afines sobre un cuerpo algebraicamente cerrado es también un dominio de integridad.

El cuerpo de fracciones K de un dominio de integridad R es el conjunto de fracciones a / b tales que a y b pertenecen a R y b ≠ 0 módulo una relación de equivalencia apropiada, dotado de las operaciones usuales de suma y multiplicación. Es "el cuerpo más pequeño que contiene a R " en el sentido de que existe un homomorfismo de anillos inyectivo R → K tal que cualquier homomorfismo de anillos inyectivo de R a un cuerpo se factoriza a través de K. El cuerpo de fracciones del anillo de los enteros es el cuerpo de los números racionales. El cuerpo de fracciones de un cuerpo es isomorfo al cuerpo mismo.${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Q} .}$

Los dominios de integridad se caracterizan por ser reducidos (es decir, ^x² = 0 implica x = 0 ) e irreducibles (es decir, tienen un único ideal primo mínimo ). La primera condición garantiza que el nilradical del anillo sea cero, de modo que la intersección de todos los ideales primos mínimos del anillo sea cero. La segunda condición es que el anillo tenga un único ideal primo mínimo. De ello se deduce que el único ideal primo mínimo de un anillo reducido e irreducible es el ideal cero, por lo que dichos anillos son dominios de integridad. Lo contrario es evidente: un dominio de integridad no tiene elementos nilpotentes distintos de cero, y el ideal cero es el único ideal primo mínimo.

En geometría algebraica , esto se traduce en el hecho de que el anillo de coordenadas de un conjunto algebraico afín es un dominio de integridad si y solo si el conjunto algebraico es una variedad algebraica .

En términos más generales, un anillo conmutativo es un dominio integral si y solo si su espectro es un esquema afín integral .

La característica de un dominio de integridad es ser 0 o un número primo .

Si R es un dominio integral de característica prima p , entonces el endomorfismo de Frobenius x ↦ x ^p es inyectivo .

• Norma de Dedekind-Hasse : la estructura adicional necesaria para que un dominio integral sea principal.
• Propiedad de producto cero

• "¿De dónde proviene el término "dominio integral"? "