Enteiro de Gauss

En teoría de números, un enteiro de Gauss é un número complexo cuxas partes reais e imaxinarias son ambas as dúas enteiras. Os enteiros de Gauss, coa suma e multiplicación ordinarias de números complexos, forman un dominio de integridade, normalmente escrito como $𝐙[i]$ ou $\mathbb{Z}[i].$

Os enteiros gaussianos comparten moitas propiedades cos enteiros: forman un dominio euclidiano e, polo tanto, teñen unha división euclidiana e un algoritmo euclidiano; isto implica factorización única e moitas outras propiedades relacionadas. Porén, os enteiros gaussianos non teñen unha ordenación total que respecte a aritmética.

Os enteiros gaussianos son enteiros alxébricos e forman o anel máis sinxelo de enteiros cadráticos.

Os enteiros de Gauss reciben o nome do matemático alemán Carl Friedrich Gauss.

Números enteiros de Gauss como puntos de retícula no plano complexo

Definicións básicas

Os enteiros de Gauss son o conxunto

$𝐙[i]=\{a+bi\mid a,b\in 𝐙\},\text{ onde }{i}^2=-1.$

Un enteiro gaussiano é un número complexo de tal xeito que as súas partes real e imaxinaria son ambas as dúas enteiras. Dado que os enteiros gaussianos son pechados baixo a suma e a multiplicación, forman un anel conmutativo, que é un subanel do corpo dos números complexos. É polo tanto un dominio de integridade.

Cando se consideran dentro do plano complexo, os enteiros gaussianos constitúen unha retícula de enteiros de Modelo:Math dimensións.

O conxugado dun enteiro gaussiano Modelo:Math é o enteiro gaussiano Modelo:Math.

A norma dun enteiro de Gauss é o seu produto co seu conxugado.

$N(a+bi)=(a+bi)(a-bi)=a^2+b^2.$

A norma dun enteiro de Gaussiano é, polo tanto, o cadrado do seu valor absoluto como número complexo. A norma dun enteiro de Gauss é un enteiro non negativo, que é unha suma de dous cadrados. Así esta norma non pode ser da forma Modelo:Math, con Modelo:Math enteiro.

A norma é multiplicativa, é dicir, temos

$N(zw)=N(z)N(w),$

para cada par de enteiros de Gauss Modelo:Math.

As unidades do anel de enteiros de Gauss (é dicir, os enteiros gaussianos cuxo inverso multiplicativo tamén é un enteiro gaussiano) son precisamente os enteiros de Gauss de norma 1, é dicir, 1, –1, Modelo:Math e Modelo:Math.

División euclidiana

Visualización da distancia máxima a algún enteiro de Gauss

Os enteiros de Gauss teñen división euclidiana (división con resto) semellante á dos enteiros e polinomios. Isto fai que os enteiros de Gauss sexan un dominio euclidiano e implica que os enteiros de Gauss comparten con enteiros e polinomios moitas propiedades importantes, como a existencia dun algoritmo euclidiano para calcular os máximos comúns divisores, a identidade de Bézout, a propiedade de ideal principal, o lema de Euclides, o teorema de factorización única, e o teorema chinés do resto. Todos eles poden ser demostrados usando só a división euclidiana.

Un algoritmo de división euclidiana toma, no anel de enteiros gaussianos, un dividendo Modelo:Math e un divisor Modelo:Math, e produce un cociente Modelo:Math e un resto Modelo:Math tal que

$a=bq+r\text{and}N(r)<N(b).$

Ideais principais

Dado que o anel Modelo:Math de enteiros gaussianos é un dominio euclidiano, Modelo:Math é un dominio de ideais principais (PID), o que significa que todo ideal de Modelo:Mvar é principal. Explicitamente, un ideal Modelo:Mvar é un subconxunto dun anel Modelo:Mvar tal que toda suma de elementos de Modelo:Mvar e todo produto dun elemento de Modelo:Mvar por un elemento de Modelo:Mvar pertencen a Modelo:Mvar. Un ideal é principal se está formado por todos os múltiplos dun só elemento Modelo:Math, é dicir, ten a forma

$\{gx\mid x\in G\}.$

Neste caso, dise que o ideal é xerado por Modelo:Math ou que Modelo:Math é un xerador do ideal.

Primos de Gauss

Como os enteiros de Gauss forman un dominio de ideais principais, tamén forman un dominio de factorización único. Isto implica que un enteiro de Gauss é irredutíbel (é dicir, non é o produto de dúas non unidades) se e só se é primo (é dicir, xera un ideal primo).

Os elementos primos de Modelo:Math tamén son coñecidos como primos gaussianos. Un asociado dun primo gaussiano tamén é un primo gaussiano. O conxugado dun primo gaussiano tamén é un primo gaussiano (isto implica que os primos gaussianos son simétricos sobre os eixos real e imaxinario).

Un enteiro de Gauss Modelo:Math é primo gaussiano se e só se:

• un de Modelo:Math é cero e o valor absoluto do outro é un número primo da forma Modelo:Math (con Modelo:Mvar un enteiro non negativo), ou
• ambos os dous son distintos de cero e Modelo:Math é un número primo (que non será da forma Modelo:Math).

Noutras palabras, un enteiro de Gauss Modelo:Math é un primo gaussiano se e só se a súa norma é un número primo, ou Modelo:Math é o produto dunha unidade ( Modelo:Math ) e un número primo da forma Modelo:Math.

Factorización única

Igual que todos os dominios de factorización única (UFD), cada número enteiro de Gauss pódese factorizar como produto dunha unidade e primos gaussianos, e esta factorización é única ata a orde dos factores e a substitución de calquera primo por calquera dos seus asociados (xunto con un cambio correspondente do factor unidade).

Se un escolle, un único primo gaussiano fixo para cada clase de equivalencia de primos asociados, e tomamos só estes primos seleccionados na factorización, entón obtense unha factorización prima que é única ata a orde dos factores. Coas opcións descritas anteriormente, a factorización única resultante ten a forma

$u(1+i{)}^{e_0}{p_1}^{e_1}\cdots {p_k}^{e_k},$

onde Modelo:Math é unha unidade (é dicir, Modelo:Math}), Modelo:Math e Modelo:Math son enteiros non negativos, Modelo:Math son enteiros positivos e Modelo:Math son números primos gaussianos distintos tal que, dependendo da escolla dos asociados seleccionados:

• ou Modelo:Math cun Modelo:Math impar e positivo, e Modelo:Math par,
• ou o resto da división euclidiana de Modelo:Math por Modelo:Math é igual a 1 (esta é a opción orixinal de Gauss).

Unha vantaxe da segunda opción é que os asociados seleccionados se comportan ben baixo produtos para enteiros de Gauss de norma impar. Por outra banda, o asociado seleccionado para os números primos de Gauss reais son números enteiros negativos. Por exemplo, a factorización de 231 nos enteiros, e coa primeira opción de asociados é Modelo:Nowrap, mentres que é Modelo:Nowrap coa segunda escolla.

Racionais de Gauss

O corpo dos racionais de Gauss é o corpo das fraccións do anel dos enteiros de Gauss. Consta dos números complexos cuxa parte real e imaxinaria son racionais.

O anel de enteiros gaussianos é o peche integral dos enteiros nos racionais de Gauss.

Isto implica que os enteiros de Gauss son enteiros cadráticos e que un racional de Gauss é un enteiro de Gauss, se e só se é unha solución dunha ecuación

$x^2+cx+d=0,$

con Modelo:Math e Modelo:Math enteiros. De feito Modelo:Math é a solución da ecuación

$x^2-2ax+a^2+b^2,$

e esta ecuación ten coeficientes enteiros se e só se Modelo:Math e Modelo:Math son ambos os dous enteiros.

Máximo común divisor

Como para calquera dominio de factorización única, un máximo común divisor (mcd) de dous enteiros de Gauss Modelo:Math é un enteiro de Gauss Modelo:Math que é un divisor común de Modelo:Math e Modelo:Math, que ten todos os divisores comúns de Modelo:Math e Modelo:Math como divisor. É dicir (onde Modelo:Math denota a relación de divisibilidade),

• Modelo:Math e Modelo:Math, e
• Modelo:Math e Modelo:Math implica Modelo:Math.

Así, o maior ten significado coa relación de divisibilidade, e non para unha ordenación do anel (para os enteiros, ambos os significados de maior coinciden).

Máis tecnicamente, un máximo común divisor de Modelo:Math e Modelo:Math é un xerador do ideal xerado por Modelo:Math e Modelo:Math (esta caracterización é válida para os os dominios de ideais principais, mais non en xeral, para os dominios de factorización únicos).

O máximo común divisor de dous enteiros gaussianos non é único, senón que se define ata a multiplicación por unha unidade. É dicir, dado un máximo común divisor Modelo:Math de Modelo:Math e Modelo:Math, os máximos comúns divisores de Modelo:Math e Modelo:Math son Modelo:Math e Modelo:Math.

Hai varias formas de calcular un máximo común divisor de dous enteiros de Gauss Modelo:Math e Modelo:Math. Cando se coñecen as factorizacións primas de Modelo:Math e Modelo:Math ,

$a=i^k\prod _m{p_m}^{{\nu }_m},b=i^n\prod _m{p_m}^{{\mu }_m},$

onde os primos Modelo:Math non están asociados por pares e os expoñentes Modelo:Math non están asociados, o máximo común divisor é

$\prod _m{p_m}^{{\lambda }_m},$

con

${\lambda }_m=\min ({\nu }_m,{\mu }_m).$

Desafortunadamente, agás en casos sinxelos, a factorización prima é difícil de calcular, e o algoritmo euclidiano conduce a un cálculo moito máis sinxelo (e máis rápido). Este algoritmo consiste en substituír a entrada Modelo:Math por Modelo:Math, onde Modelo:Math é o resto da división euclidiana de Modelo:Math por Modelo:Math, e repetir esta operación ata obter un residuo cero, é dicir, un par Modelo:Math. Este proceso remata, porque, en cada paso, a norma do segundo enteiro de Gauss diminúe. O Modelo:Math resultante é un máximo común divisor, porque (en cada paso) Modelo:Math e Modelo:Math teñen os mesmos divisores que Modelo:Math e Modelo:Math e, polo tanto, o mesmo máximo común divisor.

Por exemplo, se Modelo:Math, e Modelo:Math, un ten Modelo:Math, Modelo:Math e Modelo:Math. Como o máximo común divisor das tres normas é 2, o máximo común divisor de Modelo:Math e Modelo:Math ten 1 ou 2 como norma. Como un enteiro de Gauss de norma 2 está necesariamente asociado a Modelo:Math, e como Modelo:Math divide Modelo:Math e Modelo:Math, entón o máximo común divisor é Modelo:Math .

Se Modelo:Math é substituído polo seu conxugado Modelo:Math, entón o máximo común divisor das tres normas é 34, a norma de Modelo:Math, polo que pódese adiviñar que o máximo común divisor é Modelo:Math, é dicir, que Modelo:Math. De feito, temos Modelo:Math .

Congruencias e clases de residuos

Dado un enteiro gaussiano Modelo:Math, chamado módulo, dous enteiros de Gauss Modelo:Math son congruentes módulo Modelo:Math, se a súa diferenza é múltiplo de Modelo:Math, é dicir, se existe un enteiro de Gauss Modelo:Math tal que Modelo:Math. Noutras palabras, dous enteiros de Gauss son congruentes módulo Modelo:Math, se a súa diferenza pertence ao ideal xerado por Modelo:Math. Isto denótase como Modelo:Math .

A congruencia módulo Modelo:Math é unha relación de equivalencia, que define unha partición dos enteiros de Gauss en clases de equivalencia, chamadas aquí clases de congruencia ou clases de residuos. O conxunto das clases de residuos adoita denotarse Modelo:Math, ou Modelo:Math, ou simplemente Modelo:Math.

A clase de residuo dun enteiro de Gauss Modelo:Math é o conxunto

$\overline{a}:=\{z\in 𝐙[i]\mid z\equiv a(\mathrm{mod}{z}_0)\}$

de todos os enteiros de Gauss que son congruentes con Modelo:Math. Dedúcese que Modelo:Math se e só se Modelo:Math .

A suma e a multiplicación son compatibles coas congruencias. Isto significa que Modelo:Math e Modelo:Math implican Modelo:Math e Modelo:Math . Isto define operacións ben definidas (que son independentes da elección dos representantes) nas clases de residuos:

$\overline{a}+\overline{b}:=\overline{a+b}\text{e}\overline{a}\cdot \overline{b}:=\overline{ab}.$

Con estas operacións, as clases de residuos forman un anel conmutativo, o anel cociente dos enteiros de Gauss polo ideal xerado por Modelo:Math, que tamén se denomina tradicionalmente anel de clase de residuos módulo Modelo:Math (para máis detalles, consulte Anel cociente).

Exemplos

• Hai exactamente dúas clases de residuos módulo Modelo:Math, a saber, Modelo:Math} (todos os múltiplos de Modelo:Math ) e Modelo:Math}, que forman un padrón de taboleiro de xadrez no plano complexo. Estas dúas clases forman así un anel con dous elementos, que é, de feito, un corpo, o único corpo (ata un isomorfismo) con dous elementos, e que poden identificarse cos números enteiros módulo 2. Estas dúas clases poden ser consideradas como unha xeneralización da partición de enteiros en enteiros pares e impares. Así, pódese falar de enteiros de Gauss pares e impares (Gauss dividiu aínda máis os enteiros de Gauss pares en pares divisíbeis por 2, e medio pares).
• Para módulo 2 hai catro clases de residuos, a saber Modelo:Math. Estes forman un anel con catro elementos, no que Modelo:Math para todo Modelo:Math. Así, este anel non é isomorfo co anel de enteiros módulo 4, outro anel con catro elementos. Temos Modelo:Math e, polo tanto, este anel non é un corpo finito con catro elementos, nin o produto directo de dúas copias do anel de enteiros módulo 2.
• Para o módulo Modelo:Math hai oito clases de residuos, é dicir Modelo:Math, das que catro conteñen só enteiros de Gauss pares e catro só enteiros de Gauss impares.

Corpos de clase de residuos

O anel da clase de residuos módulo un enteiro de Gauss Modelo:Math é un corpo se e só se $z_0$ é un primo gaussiano.

Se Modelo:Math é un primo descomposto ou o primo ramificado Modelo:Math (é dicir, se a súa norma Modelo:Math é un número primo, que é 2 ou un primo congruente con 1 módulo 4), entón o corpo da clase do residuo ten un número primo de elementos (é dicir, Modelo:Math ). Así é isomorfo ao corpo dos enteiros módulo Modelo:Math.

Se, pola contra, Modelo:Math é un primo inerte (é dicir, Modelo:Math é o cadrado dun número primo, que é congruente con 3 módulo 4), entón o corpo da clase de residuos ten Modelo:Math elementos, e é unha extensión de grao 2 (única, ata un isomorfismo) do corpo primo con Modelo:Math elementos (os enteiros módulo Modelo:Math).

Problemas sen resolver

A distribución dos primos de Gauss pequenos no plano complexo

A maioría dos problemas sen resolver están relacionados coa distribución dos primos gaussianos no plano.

• O problema do círculo de Gauss non trata dos enteiros de Gauss per se, senón que pregunta polo número de puntos da retícula dentro dun círculo dun raio dado centrado na orixe. Isto equivale a determinar o número de enteiros de Gauss cunha norma menor que un valor dado.

Tamén hai conxecturas e problemas sen resolver sobre os números primos gaussianos. Dous deles son:

• Os eixos real e imaxinario teñen o conxunto infinito de números primos gaussianos 3, 7, 11, 19,... e os seus asociados. Hai outras liñas que teñan infinitos números primos gaussianos? En particular, hai infinitos números primos gaussianos da forma Modelo:Math ?
• É posíbel camiñar ata o infinito usando os números primos de Gauss como pasos e dando pasos dunha lonxitude uniformemente limitada? Isto coñécese como o problema do foxo de Gauss; foi formulada en 1962 por Basil Gordo e segue sen resolver.

Véxase tamén

Bibliografía

• Modelo:Cita libro; reprinted in Werke, Georg Olms Verlag, Hildesheim, 1973, pp. 93–148. A German translation of this paper is available online in ″H. Maser (ed.): Carl Friedrich Gauss’ Arithmetische Untersuchungen über höhere Arithmetik. Springer, Berlin 1889, pp. 534″.
• Modelo:Cita libro
• Modelo:Cita publicación periódica
• Modelo:Cita libro
• Modelo:Cita publicación periódica

Outros artigos

• Enteiro alxébrico
• Enteiro de Eisenstein
• Cuaternión de Hurwitz
• Teorema de Fermat da suma de dous cadrados
• Reciprocidade cadrática

Ligazóns externas

• IMO Compendium text on quadratic extensions and Gaussian Integers in problem solving
• Keith Conrad, The Gaussian Integers.

Modelo:Control de autoridades