Los enteros de Gauß como dominio euclı́deo, por Fernando Muro.

El anillo Z[i] de los enteros de Gauß está formado por los números com-
plejos con partes real e imaginaria enteras:

Z[i] = {a + bi ∈ C ; a, b ∈ Z} ⊂ C.

Este subanillo de C es un dominio euclı́deo con función de tamaño dada por el

cuadrado del módulo z = a + bi 7→ |z|2 = a2 + b2 . Es decir, dados D, d ∈ Z[i],
d 6= 0, que denominaremos dividendo D y divisor d, existen c, r ∈ Z[i],
llamados cociente c y resto r, tales que

D = d · c + r, |r|2 < |d|2 .

Los números c y r no tienen por qué ser únicos.

Para encontrar c y r usaremos el siguiente hecho conocido sobre la división
euclı́dea de números enteros: dados D0 , d0 ∈ Z, existen c0 , r0 ∈ Z tales que

|d0 |
D0 = d0 · c0 + r0 , |r0 | ≤ .
2
Tomemos pues D, d ∈ Z[i]. Supongamos que el divisor es un número
entero d ∈ Z ⊂ Z[i]. Denotemos D = D1 + D2 i. Realizamos la anterior
división euclı́dea de Di por d,

|d|
Di = d · ci + ri , |ri | ≤ , i = 1, 2.
2
Entonces,
D = D1 + D2 i = d · (c1 + c2 i) + (r1 + r2 i).
Es más,
d2 d2 d2
|r|2 = r12 + r22 ≤ + = < d2 = |d|2 .
4 4 2
Ası́ que podemos tomar los siguientes cociente y resto,

c = c1 + c2 i, r = r1 + r2 i.

Veamos un ejemplo. Sean D = 8 + 4i el dividendo y d = 3 el divisor.

Dividimos 8 entre 3 y 4 entre 3. La división de 8 entre 3 que primero se nos
viene a la cabeza, 8 = 3 · 2 + 2, no nos sirve ya que |2|  |3|
2
. En su lugar
debemos tomar, 8 = 3 · 3 − 1, que sı́ verifica | − 1| ≤ |3|
2
. Para la división de
4 entre 3 sı́ podemos tomar 4 = 3 · 1 + 1. Por tanto obtenemos la siguiente
división euclı́dea de D = 8 + 4i entre d = 3 en Z[i],

8 + 4i = 3 · (3 + i) + (−1 + i).

El cociente es c = 3 + i y el resto es r = −1 + i.
Si el divisor d ∈ Z[i] no fuera un número entero, dividirı́amos D · d¯ por
d · d¯ = |d|2 ∈ Z siguiendo las instrucciones del párrafo anterior,

D · d¯ = (d · d)
¯ · c + r̃, ¯ 2 = |d|4 .
|r̃|2 < |d · d|

Obsérvese que el entero de Gauß r̃ = D · d¯ − (d · d)

¯ · c = d¯ · (D − d · c) es
¯
divisible por d, luego el siguiente número complejo es un entero de Gauß,
r̃ r̃ · d
r = ¯= ∈ Z[i].
d |d|2
Más aún,
2 |r̃|2 · |d|2 |r̃|2 |d|4
|r| = 4
= 2 < 2 = |d|2 ,
|d| |d| |d|
por tanto
D = d · c + r, |r|2 < |d|2 .
Otro ejemplo. Sea D = 13 + 5i y d = 3 + 2i. Comenzamos dividiendo
D · d¯ = 49 − 11i entre d · d¯ = |d|2 = 13,
|13|
49 = 13 · 4 − 3, | − 3| ≤ ,
2
|13|
−11 = 13 · (−1) + 2, |2| ≤ ,
2
49 − 11i = 13 · (4 − i) + (−3 + 2i).

Un cociente de D = 13 + 5i entre d = 3 + 2i es c = 4 − i y el resto es

(−3 + 2i)(3 + 2i) −13
r= = = −1,
13 13
es decir, una división euclı́dea de D = 13 + 5i entre d = 3 + 2i es

13 + 5i = (3 + 2i) · (4 − i) − 1.