Intero di Gauss

Interi di Gauss come punti di un reticolo sul piano complesso

Un intero di Gauss (o gaussiano) è un numero complesso le cui parti reale e immaginaria sono intere. L'insieme $\mathbb{Z}[i]$ degli interi di Gauss, dotato delle ordinarie operazioni di addizione e moltiplicazione tra numeri complessi, è un anello.

Definizione

Formalmente, gli interi di Gauss costituiscono l'insieme

$\mathbb{Z}[i]=\{a+bi | a,b\in \mathbb{Z} \}.$

L'anello degli interi di Gauss è un dominio d'integrità, un anello a fattorizzazione unica, un anello a ideali principali e un dominio euclideo, ma non è un anello ordinato.

Proprietà

Norma

Ogni numero complesso ha una ben definita norma. La norma è una funzione che ad ogni numero associa un numero naturale definito come

$N(a+bi) = a^2+b^2. \,\!$

La norma è moltiplicativa, cioè

$N(zw) = N(z)N(w).\,\!$

Elementi invertibili

Gli elementi invertibili (le unità) di $\mathbb Z[i]$ sono tutti e soli gli elementi di norma 1, cioè i quattro numeri seguenti:

$1, -1, i, -i.\,\!$

Primi di Gauss

Rappresentazione degli interi di Gauss con i "primi" segnati in rosso

Come i numeri interi, anche gli interi di Gauss possono essere scritti in maniera (quasi) unica come prodotto di "primi", detti primi di Gauss. Alcuni "comuni" numeri primi sono primi di Gauss, mentre altri diventano dei numeri composti; per esempio 2 = (1 + i)(1 − i) e 5 = (2 + i)(2 − i).

Più precisamente:

• i numeri primi congrui a 3 modulo 4 sono primi di Gauss;
• i numeri primi congrui a 1 modulo 4 sono il prodotto di due distinti primi di Gauss, p = a² + b² = (a+bi) (a-bi) (teorema di Fermat sulle somme di due quadrati);
• 2 è, salvo un invertibile (negli interi "il segno"), il quadrato di un primo di Gauss: (1+i)² = 2 i;
• non esistono altri primi di Gauss (la norma di un primo di Gauss è pari a un numero primo o al suo quadrato).

I primi di Gauss sono infiniti, perché sono infiniti i numeri primi.

Campo dei quozienti

Il campo dei quozienti degli interi di Gauss è il campo dei razionali gaussiani $\mathbb{Q}[i]$, formato dai numeri complessi le cui parti reale ed immaginaria sono entrambe numeri razionali. Questo è un'estensione di Galois di $\mathbb{Q}$ di grado 2; il suo gruppo di Galois è quindi il gruppo ciclico di ordine 2, e $\mathbb{Q}\subseteq\mathbb{Q}[i]$ è un'estensione abeliana. È un campo quadratico e un campo ciclotomico, ma non è uno spazio completo.

L'anello degli interi di Gauss è la chiusura integrale degli interi nel campo dei razionali gaussiani.

Congetture aperte

Rappresentando i numeri complessi come un piano sui numeri reali, le due rette dei numeri reali e dei numeri puramente immaginari contengono infiniti numeri primi di Gauss. Non è nota alcuna altra retta per cui valga questa proprietà, in particolare non è noto se vi siano infiniti primi di Gauss della forma (1+ ki)

Voci correlate

• Intero di Eisenstein

Collegamenti esterni

• http://www.alpertron.com.ar/GAUSSIAN.HTM è un'applet Java che calcola espressioni contenenti interi gaussiani e li fattorizza in primi gaussiani.
• http://www.alpertron.com.ar/GAUSSPR.HTM è un'applet Java che consente una visione grafica dei primi gaussiani.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica