# Matemáticas/Álgebra Abstracta/Anillos/Tipos de Dominios
## Introducción

El anillo de los Enteros es un dominio (de integridad) con algunas propiedades muy interesantes tales como la división euclídea, la factorización de manera única en primos y que sus ideales son todos principales.
Analizaremos dichas propiedades y sus relaciones. Para hacer lo anterior, estudiaremos tres categorías de dominios: dominios euclídeos (que tienen algo parecido al resultado de algoritmo de la división de Euclides), dominios de ideales principales (DIPs) y dominios de factorización única (DFUs).
Tal estudio estará fundamentado principalmente en las relaciones de divisibilidad y las propiedades de primos e irreducibles.
Veremos que, en general, se cumple que dominios euclídeos son DIPS y que los DIPs son DFUs, lo que se ilustra en la figura siguiente. En la última sección, mostraremos que las relaciones de inclusión entre esas clases son estrictas, es decir hay DIPs que no son euclídeos y DFU que no son DIPs.
Nuestros principales ejemplos serán los Enteros, los anillos de polinomios sobre un cuerpo y los subanillos de los Complejos de la forma
$\mathbb {Z} [m]=\{a+b{\sqrt {m}}:a,b\in \mathbb {Z} ,m{\text{ un entero que no es un cuadrado}}\}.$
Resultará muy interesante ver que la aritmética en esos últimos dominios es dependiente del entero $m.$ En algunos casos, por ejemplo tendremos que irreducibles siempre será primos, pero en otros no.
Hay una sección completa dedicada a los Enteros Gaussianos, $\mathbb {Z} [i],$. Además de proveernos con una serie de interesantes y bellos resultados, es una muestra del genio de Gauss.
En este capítulo, para indicar que $a$ y $b$ son asociados, escribiremos $a\sim b.$

## Los Dominios de Factorización Única, DFUs

Recordemos que llamamos dominio de factorización única a un dominio donde cada elemento no nulo que no es una unidad puede escribirse como un producto de irreducibles, donde los irreducibles y las veces que aparecen son únicas, excepto por asociados. Decimos que ese producto es una descomposición del elemento en producto de irreducibles. Esto quiere decir que, $D$ es un DFU, ssi,
* cada elemento de $D$ que no es ni nulo ni unidad, es un producto de elementos irreducibles, y
* si $a_{1}a_{2}\dots a_{m}=b_{1}\cdots b_{n}$ donde los $a_{i}$'s y los $b_{j}$'s son irreducibles, se cumple que $m=n,$ y que, eventualmente después de una reenumeración de los $b_{j}$'s, se cumplirá que $a_{i}\sim b_{i}.$
Nuestro ejemplo primero son los Enteros, $\mathbb {Z} ,$ donde el Teorema Fundamental de la Aritmética establece precisamente que se trata de un DFU.
Observación. Supongamos que el conjunto de elementos irreducibles de $D$ se haya particionado de acuerdo a las clases de equivalencia de la relación "es asociado con". En algunos casos, hay una manera natural de seleccionar un representante de cada clase. En tales casos, se puede utilizar dichos representantes para eliminar la referencia a asociados en el enunciado de la descomposición en producto de irreducibles.
* El anillo $\mathbb {Z}$ es un DFU. Sigue, de la definición general de irreducible, que si $p$ es irreducible también lo es $-p$ y no hay otro asociado con él. Podemos seleccionar como representante de la clase al número positivo de la clase.
* El anillo $k[X]$ de los polinomios con coeficientes en un cuerpo es un DFU (ver el Teorema A del capítulo La Factorización de Polinomios). En cada clase de equivalencia, siempre hay un polinomio mónico, al que podemos usar como representante predilecto de la clase.
* Irreducibles en un DFU son primos
Sabemos que en un dominio cualquiera los elementos primos son irreducibles. Hemos visto ejemplos de dominios donde hay elementos irreducibles que no son primos, ver también en el ejemplo A de la sección de Contraejemplos. Sin embargo, cuando el dominio es DFU, se cumple que todos los irreducibles son primos como vimos en la proposición 2 del capítulo La Factorización de Polinomios.
El siguiente lema será usado más adelante.
Lema A.
Sea $p$ un irreducible tal que $p^{r},$ $r>0,$ divide a un elemento $a$ de un DFU $D.$ Entonces, $p^{r}$ (o un asociado) aparece en cualquier descomposición en irreducibles de $a.$
Proposición 1. (Existencia de mcd y mcm)
Sea $D$ un DFU. Dos elementos no nulos siempre tienen mcd y mcm.
En el ejemplo B de la sección de Contraejemplos, se muestra que $\mathbb {Z} [{\sqrt {-5}}]$ es un dominio donde hay mcd de dos elementos, pero no mcm, por lo que ese dominio no puede ser un DFU,

### Caracterización de los DFU

El objetivo de esta sección es obtener una caracterización de los DFU usando que irreducibles son primos y que se cumple la llamada condición de cadenas finitas de divisores propios que veremos a continuación
Cadenas Finitas de Divisores Propios
¿Cuántos divisores o factores propios tiene un elemento cualquiera? (Un divisor propio de un elemento es un divisor del elemento que no es una unidad o un asociado del elemento.)
Veamos la situación en un DFU. Sea $a$ un elemento que no es una unidad y sea $b$ un divisor propio de $a.$ Entonces, hay un $c$ tal que $a=bc.$ Sean $a=p_{1}\cdots p_{r},$ $b=p_{1}'\dots p_{s}'$ y $c=p_{1}''\dots p_{'}'$ las descomposiciones de $a,$ $b$ y $c,$ respectivamente. Entonces,
$p_{1}\cdots p_{r}=p_{1}'\dots p_{s}'p_{1}''\dots p_{t}''$
Sigue de la unicidad que cada uno de los $p_{j}'$ debe aparecer en el lado izquierdo, es decir que hay un $p_{i_{j}}\sim p_{j}',$ por lo que $b\sim p_{i_{1}}\dots p_{i_{s}}.$ Es decir que cada factor propio está formado por un producto finito de los factores irreducibles de $a.$ Por lo tanto, la cantidad total de factores de un elemento cualquiera es finita. Por lo que se cumple la siguiente proposición.
Proposición 2. En un DFU no hay una sucesión infinita de elementos $a_{i}$ tales que cada $a_{i+1}$ sea un factor propio de $a_{i}.$
Llamamos condición de cadenas finitas de divisores propios a la propiedad de la proposición.
El siguiente enunciado es una forma equivalente para la condición.
(CFD) En cualquier sucesión $(a_{i})$ de elementos de $D$ tal que $a_{i+1}|a_{i},$ hay un $k$ tal que $n>k$ implica que $a_{n}\sim a_{k}.$
Usando esa noción, tenemos la siguiente proposición caracterizando a los DFUs. La demostración será una simple abstracción de una de las pruebas clásicas del Teorema Fundamental de la Aritmética.
Proposición 3. Sea $D$ un dominio cualquiera. Entonces, $D$ es un DFU, ssi,
Otra caracterización de los UFD
Veremos, a continuación, otra caracterización de los UFD usando la existencia de mcds en lugar de que los irreducibles sean primos.
Necesitaremos algunas propiedades de los MCD que revisaremos a continuación.
Sea $D$ un dominio tal que dos elementos no nulos siempre tienen MCD.
Lema B.
Cualquier cantidad finita de elementos no nulos, tiene un MCD.
Lema C. (Asociatividad del MCD)
${\text{mcd}}\{a,{\text{mcd}}\{b,c\}\}\sim {\text{mcd}}\{{\text{mcd}}\{a,b\}c\}.$
Lema D. ${\text{mcd}}\{ca,cb\}\sim c\,{\text{mcd}}\{a,b\}$
Lema E.
Si ${\text{mcd}}\{a,b\}\sim 1$ y ${\text{mcd}}\{a,c\}\sim 1,$ entonces, ${\text{mcd}}\{a,bc\}\sim 1.$
La siguiente proposición muestra que la condición de que los irreducibles sean primos es equivalente a que haya mcd de elementos.
Proposición 4. Sea $D$ un dominio cualquiera donde dos elementos no nulos cualesquiera tienen un mcd. Entonces, cada irreducible es primo.
Tenemos, en forma inmediata, el siguiente resultado.
Corolario 4.1. (Segunda caracterización de los UFD) Un dominio es DFU, ssi,
* $D[X]$ es UFD, cuando $D$ lo es.
Este resultado fue probado en el teorema A del capítulo 20. Tiene importantes consecuencias como que $\mathbb {Z} [X]$ y $k[X],$ $k$ cuerpo, son DFUs. Por inducción, sigue entonces que $\mathbb {Z} [X_{1},X_{2},X_{3},\dots ]$ y $k[X_{1},X_{2},X_{3},\dots ]$ (polinomios en varias indeterminadas) son DFUs.

### Ejercicios

* Probar que la relación "ser asociado con" es una relación de equivalencia.
* Sea $D$ un DFU. Probar que si $d\sim {\text{mcd}}\{a_{1},a_{2},\ldots ,a_{n}\}$ entonces ${\text{mcd}}\{a_{1}/d,a_{2}/d,\ldots ,a_{n}/d\},$ donde $x/y$ es el elemento $z$ tal que $yz=x,$ cuando $y|x.$
* Sea $D$ un DFU. Sean $a,b,c$ elementos de $D.$ Probar que si ${\text{mcd}}{a,b}\sim 1$ y que $a|bc,$ entonces $a|c.$
* Escribir la prueba de que cuando $D$ es un DFU, entonces también lo es el anillo de polinomios sobre $D$ en $n$ indeterminadas, $D[X_{1},X_{2},\dots ,X_{n}].$

## Los Dominios de Ideales Principales

Recordemos que llamamos dominio de ideales principales, DIP a un dominio tal que cada ideal propio está generado por un elemento. Notemos que los cuerpos son trivialmente DIPS. También sabemos que $\mathbb {Z}$ y $k[X]$ son DIPS (ver la proposición 19.2).
Proposición 5. Sea $D$ un DIP. Sea $x$ un elemento no nulo de $D.$ Las siguientes propiedades son equivalentes:
Sea $a$ un divisor propio de $b,$ entonces $b=ac,$ lo que implica que $b$ está en $\langle a\rangle .$ Si $a$ estuviera en $\langle b\rangle ,$ $b$ dividiría a $a,$ por lo que $a$ y $b$ serían asociados. Luego, cuando $a$ es un divisor propio de $b,$ $\langle b\rangle$ es un subconjunto propio de $\langle a\rangle .$
Sigue de la discusión anterior, que la condición de cadenas finitas de divisores propios es equivalente, en un DIP, a la siguiente condición:
Un dominio satisface la condición noetheriana, ssi, no hay una cadena infinita de ideales.
$I_{1}\varsubsetneq I_{2}\varsubsetneq \dots \varsubsetneq I_{n}\varsubsetneq \dots$
Equivalente, toda cadena de ideales ascendentes es finita.
Proposición 6.
DIPS satisfacen la condición noetheriana.
Como lo anterior implica que se cumple la condición de cadena finita de divisores y que los irreducibles son primos, concluimos que
Proposición 7. Los DIPs son DFUs.
La siguiente proposición es la generalización del teorema de Bezout para los Enteros--- dados dos enteros no nulos, podemos expresar el mcd de ellos como una combinación lineal de dicho enteros.
Proposición 10. (Teorema de Bezout)
Sea $D$ un DIP y sean $a$ y $b$ elementos no nulos de $D.$ Entonces, hay un elemento $d$ que es un mcd de $a$ y $b.$ Además, hay elementos $x,$ $y$ tales que

### Ejercicios

* Sean $a$ y $b$ elementos de un DIP. Probar que el generador $m$ del ideal $\langle a\rangle \cap \langle b\rangle$ es un mcm de $a$ y $b.$
* Sea $p$ un entero primo. Sea $D_{p}=\{a/b\in \mathbb {Q} :{\text{mcd}}(a,b)=1,b=p^{k}{\text{ para algún }}k\geq 0.\}.$ Probar que $D_{p}$ es un DIP.
* Sea $D=\mathbb {Z} [{\sqrt {2}}]=\{a+b{\sqrt {2}};A,b\in \mathbb {Z} \}.$ Sea $J=\langle 2\rangle .$ Describir la estructura de $D/J$ (Escribir su tabla de multiplicación). Hallar un ideal maximal de $D/J.$
* Sea $A=\{{\begin{bmatrix}a&0\\0&b\end{bmatrix}}:a,b\in \mathbb {Z} \}.$ Probar que cada ideal de $A$ es principal. Hallar los ideales primos y maximales y verificar que no todos los ideales primos son maximales.
* Sea $D$ un DIP. Probar que un ideal primo es o $\{0\}$ o $D$ o un ideal maximal.

## Los Dominios Euclídeos

Dijimos en la introducción que los dominios euclídeos representan la abstracción de la división euclídea en los Enteros. A continuación, tendremos la definición formal.
Definición. ({Dominio Euclídeo) Sea $D$ un dominio. Decimos que $D$ es un dominio euclídeo, ssi, hay una función $\phi :D\setminus \{0\}\longrightarrow \mathbb {Z}$ (llamada el tamaño o la norma euclídea) tal que
* Si $a|b,$ $b\neq 0,$ entonces $\phi (a)\leq \phi (b),$ y
* Para todo a,b en $D,$ $b\neq 0,$ hay elementos $q$ y $r$ tales que $a=qb+r$ con $r$ tal que $\phi (r)<\phi (b)$ o $r=0.$
Supongamos que $D$ es un dominio euclídeo con "tamaño" $\phi .$ Como las unidades son divisores de cualquier elemento del dominio, tenemos que para todo unidad $u$ y $a$ no nulo, se cumple, por (i), que $\phi (u)\leq \phi (a).$ En particular, lo anterior es válido para $a=1$; pero como 1 es una unidad, para cualquier unidad $u,$ $\phi (1)\leq \phi (u).$ Luego, $\phi (1)=\phi (u)$ para toda unidad $u.$ Además, $\phi (1)$ es el menor valor asumido por $\phi .$ Es decir que el conjunto de los $\phi (a),$ $a$ no nulo es un conjunto de números enteros acotado inferiormente por $\phi (1).$

#### Ejemplos de Dominios Euclídeos

Ejemplo.
El ejemplo prototipo es el dominio de los números enteros con $\phi (z)=|z|.$ En efecto, si $a|b,$ $b\neq 0,$ hay un entero $c$ tal que $ac=b$; de donde $|a|\,|c|=|ac|=|b|,$ por lo que $|a|\leq |b,$ ya que $|c|\geq 1.$ Recordemos el teorema de la división euclídea que establece que para todo $a$ y $b$ enteros, $b>0$ podemos hallar únicos enteros $q$ y $r,$ tales que $a=qb+r$ con $0\leq r<b.$ Claramente, de allí, sigue la segunda condición de la definición de dominio Euclídeo.
Ejemplo.
Sea $D=k[X]$ el anillo de polinomios con coeficientes en un cuerpo $k.$ Veremos que se trata de un dominio euclídeo con tamaño o estructura euclídea dada por el \text{gr}ado de los polinomios.
Cuando $f$ y $g$ son polinomios tales que ninguno de ellos es nulo y $f|g$ entonces ${\text{gr}}(f)\leq {\text{gr}}(g).$
Para los polinomios, se tiene, también, un teorema de la división análogo al de la división euclídea de los Enteros. Es decir, dados polinomios $f$ y $g,$ $g$ no nulo, hay polinomios $q$ y $r$ tales que $f=qg+r,$ donde $r=0$ o ${\text{gr}}(r)<{\text{gr}}(g).$ Es decir que el anillo de polinomios es un dominio euclídeo, con tamaño definido por el \text{gr}ado de un polinomio.
Probaremos, a continuación, que todos los dominios euclídeos comparten con los Enteros, la propiedad de que cada ideal es principal.
Proposición 11.
Sea $D$ un dominio euclídeo con norma euclídea $\phi .$ Entonces, $D$ es un DIP (cada ideal es principal). Cuando el ideal no es nulo, su generador, tiene el menor tamaño entre los elementos del ideal.
Corolario 11.1. Los dominios euclídeos son DFUs.

### Ejercicios

* Sea $\phi$ una estructura euclídea en un dominio $D.$ Definamos $\phi '$ por $\phi '(x):=\phi (x)-m,$ donde $m$ es un entero fijo. Probar que $\phi '$ también es una estructura euclídea en $D.$ Es decir que, sin perdida de generalidad, siempre se puede suponer que la estructura es tal que para todo elemento no nulo $x,$ $\phi (x)\geq 0.$
* Sean $\alpha =4+5i$ y $b=7+8i$ elementos de $\mathbb {Z} [i].$ Hallar $\gamma$ un máximo común divisor de $\alpha$ y $\beta ,$ junto con enteros gaussianos $z,$ $w$ tales que $z\alpha +w\beta =\gamma .$
* (Primos en $\mathbb {Z} [i]$) Sea $\pi$ un elemento primo de $\mathbb {Z} [i]$ tal que $\pi \not \in \mathbb {Z} ,i\mathbb {Z} .$ Probar que $N(\pi )=2$ o $N(\pi )=p$ es un entero primo de la forma $4k+1.$ En caso contrario, probar que $N(\pi )=p^{2}$ donde $p$ es un entero primo de la forma $4k+3.$ ¿Cuáles enteros primos $p$ son primos Gaussianos?
* Sea $\omega =\cos(2\pi /3)+i\operatorname {sen}(2\pi /3)$ un raíz cúbica de la unidad. $\mathbb {Z} [\omega ]=\{a+b\omega :a,b\in \mathbb {Z} \}$ es un dominio de integridad. Sea $N(z)=z\,{\overline {z}}.$
** Sea $\alpha =a+b\omega .$ Probar que $N(\alpha )=a^{2}-ab+b^{2}$ y que $N(\alpha \beta )=N(\alpha )N(\beta ).$
** Probar que $z$ en $\mathbb {Z} [\omega ]$ es una unidad, ssi, $N(z)=1.$
** Probar que si $N(z)$ es un entero primo, entonces $z$ es irreducible en $\mathbb {Z} [\omega ].$
** Probar que $1-\omega$ es irreducible.
** Probar que $\mathbb {Z} [\omega ]$ es un dominio euclídeo.
* Sea $D$ un dominio euclídeo. Probar que podemos computar el mcd de dos elementos usando un algoritmo análogo al existente por los enteros.

## Los Enteros de Gauss

Recordemos que llamamos enteros de Gauss o enteros gaussianos a los elementos del dominio
$\mathbb {Z} [i]=\{a+bi:a,b\in \mathbb {Z} ,\quad i^{2}=-1\}.$
En esta sección estudiaremos detalladamente el dominio de los enteros gaussianos. Además de su importancia como uno de los primeros dominios de números no tradicional, nos servirá para ilustrar diversas técnicas al trabajar con dominios euclídeos (ya que probaremos que $\mathbb {Z} [i]$ lo es). Llamamos la atención, también, a observar las relaciones que hay entre la aritmética de este dominio y la teoría de los números enteros ordinarios.
Recordemos que llamamos norma del entero gaussiano $z$ al número entero denotado $N(z)$ y definido como $N(z):=z\,{\bar {z}}.$ Se verifica que $N$ es multiplicativa, o sea que $N(zw)=N(z)N(w).$ Cuando $z=a+bi,$ se cumple que $N(z)=a^{2}+b^{2}$ (lo que gráficamente es el cuadrado de la distancia del punto $(a,b)$ al origen en el plano cartesiano). Notemos que si $z\neq 0,$ entonces $N(z)>0.$
Empezaremos nuestro estudio con la siguiente proposición.
Proposición 12. Los enteros de Gauss son un dominio euclídeo con estructura euclídea dada por la norma.
La demostración seguirá después de algunos lemas.
Lema F.
Para todo complejo $z,$ hay al menos un entero de Gauss $\tau$ tal que $N(z-\tau )\leq 1/2.$
Lema G.
Sean $\alpha$ y $\beta$ enteros de Gauss, $\alpha \neq 0.$ Entonces, hay enteros de Gauss $\tau$ y $\rho$ tales que
Sigue de los trabajos generales anteriores que $\mathbb {Z} [i]$ es un DIP y, en consecuencia, un DFU.
A continuación, nos preocuparemos de la divisibilidad en $\mathbb {Z} [I].$ Como se trata de un DFU, elementos irreducibles son primos y viceversa. Mucho del trabajo relacionara primos en $\mathbb {Z} [I]$ con primos en $\mathbb {Z}$; para distinguirlos hablaremos de primos gaussianos (en $\mathbb {Z} [I]$) y de primos enteros (en $\mathbb {Z}$),

### Unidades de Z[i]

Sea $z=a+bi$ un entero gaussiano cuya norma es igual a 1. Entonces, se tiene que $a^{2}+b^{2}=1,$ lo que implica que $a=\pm 1,b=0$ o $a=0,b=\pm 1.$ Es decir $z$ está en $\{1,-1,i,-i\}.$ Notemos que cada uno de esos enteros gaussianos es un unidad en $\mathbb {Z} [I],$ (</math>i(-i)=1</math>).
Supongamos, ahora, que $u$ fuera una unidad de $\mathbb {Z} [I].$ Entonces hay un $v$ tal que $uv=1.$ Luego, tomando norma y usando que es multiplicativa, tenemos que
$uv=1\implies N(uv)=N(1)\implies N(u)N(v)=1.$
Luego, $N(u)=N(v)=1.$ Por lo que,
$z\in \mathbb {Z} [I]{\text{ es una unidad }}\iff N(z)=1\iff z\in \{1,-1,i,-i\}.$
* 2 no es primo en $\mathbb {Z} [I]$.
Observando que $(1+i)(1-i)=2,$ tenemos que el primo entero 2 no es irreducible en $\mathbb {Z} [I]$ (ramifica) ya que ni $(1+i)$ ni $(1-i)$ son unidades. De hecho se trata de irreducibles.
Si $1+i=uv,$ tomando normas tenemos que $2=N(1+i)=N(u)N(v),$ de donde o $N(u)=1$ o $N(v)=1,$ por lo que $u$ o $v$ es una unidad. Luego, $(1+i)$ es irreducible en $\mathbb {Z} [I].$ Análogamente, se verifica que $1-i$ es irreducible, u observando que $1-i$ es un asociado de $1+i$ ya que $1-i=(-i)(1+i).$
* Primos Enteros iguales a una suma de cuadrados.
Sea $p$ un entero primo tal que $p=a^{2}+b^{2},$ con $a,b$ enteros. Como $a^{2}+b^{2}=(a+bi)(a-bi),$ si $a,b\neq 0$ se tiene que $p$ no es un primo gaussiano. Por ejemplo, $2=1^{2}+1^{2},$ $5=2^{2}+1^{2},$ $13=3^{2}+1^{2},$ etc.
* 3 es un primo gaussiano.
Supongamos que $3=zw.$ Tomando normas tenemos que $9=N(z)N(w)$ por lo que $N(z)=1,3$ o $9.$ Si $z=a+bi,$ se ve claramente que $a^{2}+b^{2}=3$ es imposible. Si $N(z)=1,$ entonces $z$ es una unidad. Si $N(z)=9,$ entonces $N(w)=1$ y $w$ es una unidad. Luego, $3$ es un irreducible, por lo tanto, un primo gaussiano.

### Primos de Z[i]

Para el estudio de los primos gaussianos, necesitaremos algunos resultados sobre los primos enteros que veremos a continuación.
En primer lugar, notemos que si $p$ es un primo entero impar entonces $p$ es de la forma $4k+1$ o $4k+3.$ Veremos que la pertenencia a una de esas clases implica conductas diferentes en $\mathbb {Z} [I].$
El siguiente resultado será básico para nuestras consideraciones.
Lema H. (Estructura de $\mathbb {Z} _{p}^{*}$)
Sea $p$ un primo entero impar.
Corolario H.1. Si $p=4k+1$ entonces $-1$ es un cuadrado en $\mathbb {Z} _{p}.$
Lema I. (Fermat) Un entero primo positivo $p$ puede representarse como la suma de los cuadrados de dos enteros, ssi, $p=2$ o $p=4k+1.$

### Los Primos Gaussianos

Lema J.
Si $\pi$ es un entero gaussiano tal que $N(z)$ es un entero primo, entonces $\pi$ es un primo gaussiano.
<Lema K.
Si $\pi$ es un primo gaussiano entonces $N(\pi )=p$ o $p^{2},$ donde $p$ es un primo entero.
Si $N(\pi )=p^{2}$ entonces $p$ es de la forma $4k+3$ y es un asociado de $\pi .$
Proposición 13. (Los Primos de $\mathbf {\mathbb {Z} [i]}$)
Los primos gaussianos o primos en $\mathbb {Z} [i]$ son:

### Ejercicios

* Probar que $1+2i|3+4i$ en $\mathbb {Z} [i].$
* Hallar todos los primos gaussianos cuya norma es igual a 2.
* Probar que $z|w$ en $\mathbb {Z} [i]$ implica que $N(z)|N(w).$ Dar un ejemplo de que el converso no es válido.
* Probar usando solamente análisis de normas que $85i$ no es un primo gaussiano.
* Si $p$ es un primo entero que no es un primo gaussiano, entonces $p=N(z)$ para algún $z$ en $\mathbb {Z} [i].$
* Si $p$ es un entero primo tal que $p\equiv 1{\pmod {4}},$ entonces $p$ no es un primo gaussiano.
* Sea $p$ un primo entero, probar que si $p=a^{2}+b^{2}$ entonces $p$ es de la forma $4k+1.$
* Probar que le grupo de las unidades de $\mathbb {Z} [i]$ es isomorfo a $\mathbb {Z} _{4}.$
* Hallar un mcd de $11-3i$ y $2+8i.$
* Probar que para todo $n,$ se cumple que el polinomio $x^{n}=2$ es irreducible sobre $\mathbb {Z} [i].$
* (Prueba Alternativa del lema H), Sea $p$ un entero primo impar.
** (Existencia de elemento de orden 2) Verificar que $-1\not \equiv 1{\pmod {p}}$ para concluir que $-1$ tiene orden 2 en $\mathbb {Z} _{p}^{*}.$ Considerar cualquier $x$ con orden 2, y verificar que $p|(x^{2}-1),$ por lo que $p|x+1$ o $p|x-1.$ Usar lo anterior para concluir que $x\equiv -1{\pmod {p}}$
** (Ausencia de elementos de orden 4, si $p=4k+3$) Usar teorema de Lagrange.
** (Existencia de elementos de orden 4, cuando $p=4k+1$). Sea $A=\mathbb {Z} _{p}*/\langle -1\rangle$ cuyo orden en $(p-1)/2=2k.$ Por teorema de Cauchy. hay un elemento ${\bar {y}}$ de orden 2 en $A.$ Luego, $y^{2}\equiv -1{\pmod {4}},$ por lo que $y$ tiene orden 4 en $\mathbb {Z} _{p}^{*}.$

## Contraejemplos

En esta sección, daremos algunos ejemplos que prueban la inclusión estricta de los dominios euclídeos en los dominios de ideales principales, y la de estos en los dominios de factorización única. Así, como otras excepciones.
Nuestro primer ejemplo, mostrara que hay dominios que no son DFU.
Ejemplo A.
Un dominio que no es DFU.
Sea $D=Z[{\sqrt {-5}}].$ Vimos en un ejemplo del capítulo La Divisibilidad $3$ es un irreducible de $D$ que no es primo, por lo que $D$ no puede ser un DFU. En consecuencia, tampoco puede ser $DIP$ o euclídeo.
Ejemplo B.
Un dominio donde dos elementos tienen mcd, pero no mcm.
Sea $D=Z[{\sqrt {-5}}]$ (ver el ejemplo anterior) y sea $\alpha =1+2{\sqrt {-5}}.$ Entonces, 3 es un elemento irreducible que no divide a $\alpha ,$ por lo que ${\text{mcd}}(3,\alpha )=1.$
Supongamos ahora que $\gamma ={\text{mcm}}(\alpha ,3).$ Entonces, excepto por un factor que fuera una unidad, tendríamos que $\gamma =3\alpha .$ Sin embargo, este valor para $\gamma$ produce una contradicción, ya que (por el ejemplo anterior) 21 es un múltiplo común de 3 y $\gamma ,$ pero no es un múltiplo de $3\alpha .$ Sin embargo, $3\alpha$ es la única posibilidad lógica. En efecto, sea $\delta$ igual a ${\text{mcm}}(3,\alpha ).$ Entonces, $3|\delta ,$ digamos que, $3\lambda =\delta .$ Ya que $3\alpha$ es un múltiplo común, se debe tener que $\delta |3\alpha ,$ digamos que $\delta \mu =3\alpha .$ Tomando conjugados y multiplicando, tendremos que
$9\alpha {\bar {\alpha }}=\lambda {\bar {\lambda }}\mu {\bar {\mu }}.$
Pero, $9\alpha {\bar {\alpha }}=9*21,$ por lo que $\lambda {\bar {\lambda }}\mu {\bar {\mu }}=21.$ Luego, $\lambda {\bar {\lambda }}$ y $\mu {\bar {\mu }}$ son enteros divisores de 21. Por lo que son iguales a 1, 3, 7, o 21.
* Si cualesquiera de esos números fuera 1, tendríamos que $\lambda$ o $\mu$ serían unidades.
* Si $\lambda$ fuera un unidad, entonces $3={\text{mcm}}(3,\alpha ,$ una contradicción.
* Si $\mu$ fuera una unidad, entonces $3\alpha$ debe ser ${\text{mcm}}(3,\alpha ),$ que es lo que queríamos probar.
* Las alternativas 3 o 7 son imposibles porque no hay elementos con ese tamaño en $D.$
* Finalmente, si uno de ellos fuera 21, el otro sería 1, y estaríamos al comienzo de nuestro análisis.
Ejemplo C.
Un DFU que no es DIP: $\mathbb {Z} [X].$
Sea $\mathbb {Z} [X]$ el anillo de los polinomios con coeficientes enteros. Vimos que $\mathbb {Z} [X]$ es un DFU, ver corolario A.1 del capítulo La Factorización de Polinomios. Pero, mostraremos a continuación que no es un DIP.
Consideremos al ideal $I=\langle 2,X\rangle$ en $\mathbb {Z} [X]$ y supongamos que $\mathbb {Z} [X]$ fuera un DIP. Entonces, tendríamos un polinomio, digamos $d,$ que generaría el ideal. Como 2 está en $I,$ se debe cumplir que $d|2$ lo que implica que el grado de $d$ es cero y, por lo tanto, que es un elemento de $\mathbb {Z} .$ Luego, $d$ debe ser una unidad, o sea 1 o $-1,$ o un asociado de $2,$ o sea 2 o $-2.$
Como $2\nmid X$ (Si $2|f,$ $f$ debe tener todos sus coeficientes pares, mientras que $X$ es mónico). Luego, como $d|X,$ $d$ no puede ser un asociado de 2, por lo que debe ser igual a $\pm 1$. Sin embargo, como $d$ está en $\langle 2,X\rangle ,$ debe haber polinomios $f,$ $g$ tales que
$1=2f+Xg.$
Lo que es imposible, ya que $Xg$ no tiene términos constantes y todos los coeficientes de $2f$ son pares.
Ejemplo D.
Se puede verificar, pero no es trivial, que $\mathbb {Z} [(1+{\sqrt {-19}})/2]$ es un DIP que no tiene estructura euclídea posible.

## Ejercicios del Capítulo

* Sean $a,$ $b$ elementos de un dominio. Probar que $\langle a\rangle =\langle b\rangle ,$ ssi, $a$ y $b$ son asociados.
* Probar que la relación de "ser asociado con" es una relación de equivalencia.
* Sea $\mathbb {Z} [\omega ]=\{a+b\omega :a,b\in \mathbb {Z} ,\omega =(-1+i{\sqrt {3}})/2\}.$ Definir $N(z)=z{\overline {z}}$ (conjugado como complejo)
** Verificar que $\omega ^{3}=1$ y que $1+\omega +\omega ^{2}=1.$
** Probar que $\mathbb {Z} [\omega ]$ es un dominio.
** Probar que $N(a+b\omega )=a^{2}-ab+b^{2}.$
** Probar que $N(zz')=N(z)N(z').$
** Probar que $z$ es una unidad, ssi, $N(z)-1.$ Hallar las unidades de $\mathbb {Z} [\omega ].$
** Probar que para todo número complejo $\zeta$ hay un elemento $q$ de $\mathbb {Z} [\omega ]$ tal que $N(\zeta -q)<1.$
** Probar que $\mathbb {Z} [\omega ]$ es un dominio euclídeo.
** Probar que $1-\omega$ es primo en $\mathbb {Z} [\omega ].$
* Sea $D=\mathbb {Z} {\sqrt {2}}=\{a+b{\sqrt {2}}:a,b\in \mathbb {Z} \}.$
** Probar que $D$ es un dominio contenido en $\mathbb {R}$ .
** Probar que $1+{\sqrt {2}}$ es una unidad.
** Probar que hay infinitas unidades en $D.$

## Notas

* ↑ Emmy Amalie Noether, (1982-1935)