Disambiguazione – Se stai cercando informazioni sul tipo di dato utilizzato in informatica, vedi Numero intero (informatica).

Disambiguazione – "intero" rimanda qui. Se stai cercando la relativa nota chiamata intero, vedi Semibreve.

I numeri interi (o numeri interi relativi o, semplicemente, numeri relativi) corrispondono all'insieme ottenuto unendo i numeri naturali (0, 1, 2, ...) e i numeri interi negativi (−1, −2, −3,...), cioè quelli ottenuti ponendo un segno “−” davanti ai naturali. Questo insieme in matematica viene indicato con Z o ${\displaystyle \mathbb {Z} }$, perché è la lettera iniziale di “Zahl” che in tedesco significa numero (originariamente "far di conto", infatti l'espressione implica l'utilizzo dei numeri negativi).

Gli interi vengono quindi definiti esattamente come l'insieme dei numeri che sono il risultato tra sottrazioni di numeri naturali. I numeri interi possono essere sommati, sottratti e moltiplicati e il risultato rimane un numero intero. L'inverso di un numero intero non è però un intero in generale, ma un numero razionale; formalmente questo fatto si esprime dicendo che ${\displaystyle \mathbb {Z} }$ è un anello commutativo unitario, ma non un campo.

Come i numeri naturali, ${\displaystyle \mathbb {Z} }$ è chiuso rispetto alle operazioni di addizione e di moltiplicazione, cioè la somma o il prodotto di due interi è un intero. Inoltre, con l'inclusione dei numeri naturali negativi e dello zero, ${\displaystyle \mathbb {Z} }$ (a differenza dei numeri naturali) è chiuso anche rispetto all'operazione di sottrazione: se ${\displaystyle a}$ e ${\displaystyle b}$ sono interi, anche ${\displaystyle a-b}$ lo è. Tuttavia, ${\displaystyle \mathbb {Z} }$ non è chiuso sotto l'operazione di divisione, poiché il quoziente di due interi (per esempio ${\displaystyle 1/2}$) non è necessariamente un numero intero.

La tabella seguente elenca alcune delle proprietà di base dell'addizione e della moltiplicazione per ogni intero ${\displaystyle a}$, ${\displaystyle b}$ e ${\displaystyle c}$.

Nel linguaggio dell'algebra astratta, le prime cinque proprietà elencate sopra per l'addizione dicono che ${\displaystyle \mathbb {Z} }$ è un gruppo abeliano con l'operazione somma. In particolare, ${\displaystyle \mathbb {Z} }$ è un gruppo ciclico, poiché ogni intero non nullo può essere scritto sommando un certo numero di volte ${\displaystyle 1+1+\ldots +1}$ oppure ${\displaystyle (-1)+(-1)+\ldots +(-1)}$. Il gruppo ${\displaystyle \mathbb {Z} }$ è l'unico gruppo ciclico infinito, nel senso che ogni altro gruppo ciclico infinito è isomorfo a ${\displaystyle \mathbb {Z} }$.

Le prime quattro proprietà elencate sopra per la moltiplicazione dicono che ${\displaystyle \mathbb {Z} }$ con l'operazione prodotto forma un monoide commutativo. Tuttavia, si nota che non tutti gli interi hanno un inverso rispetto alla moltiplicazione; per esempio non esiste un intero ${\displaystyle x}$ tale che ${\displaystyle 2x=1}$. Quindi ${\displaystyle \mathbb {Z} }$ non è un gruppo se considerato con l'operazione prodotto.

Tutte le proprietà dalla tabella prese insieme dicono che ${\displaystyle \mathbb {Z} }$ con l'addizione e la moltiplicazione è un anello commutativo con unità. In effetti ${\displaystyle \mathbb {Z} }$ è la motivazione principale per la definizione di tale struttura. La mancanza dell'inverso rispetto alla moltiplicazione è tradotta nel fatto che ${\displaystyle \mathbb {Z} }$ non è un campo.

L'anello ${\displaystyle \mathbb {Z} }$ è inoltre un dominio d'integrità, perché non contiene divisori dello zero. Ogni dominio di integrità è contenuto in un campo, e il più piccolo campo contenente gli interi è il campo ${\displaystyle \mathbb {Q} }$ dei numeri razionali.

Lo stesso argomento in dettaglio: Algoritmo di Euclide e Teorema fondamentale dell'aritmetica.

Anche se la divisione ordinaria non è definita su ${\displaystyle \mathbb {Z} }$, è possibile usare l'algoritmo di Euclide per effettuare una divisione con resto: dati due interi ${\displaystyle a}$ e ${\displaystyle b}$ con ${\displaystyle b\neq 0}$, esistono e sono unici due interi ${\displaystyle q}$ e ${\displaystyle r}$ tali che

${\displaystyle a=q\times b+r\ {\mbox{con}}\ 0\leq r<|b|,}$

dove ${\displaystyle |b|}$ è il valore assoluto di ${\displaystyle b}$. L'intero ${\displaystyle q}$ è chiamato il quoziente e ${\displaystyle r}$ è chiamato il resto, risultanti dalla divisione di ${\displaystyle a}$ con ${\displaystyle b}$.

L'algoritmo di Euclide mostra come due numeri interi abbiano sempre un massimo comune divisore ed un minimo comune multiplo. Inoltre, per il teorema fondamentale dell'aritmetica ogni numero intero ha un'unica decomposizione come prodotto di numeri primi. L'esistenza dell'algoritmo di Euclide fa di ${\displaystyle \mathbb {Z} }$ un anello euclideo.

La cardinalità di un insieme di interi è equivalente a ${\displaystyle \aleph _{0}}$ (aleph-zero). Ciò è dimostrabile tramite la costruzione di una corrispondenza biunivoca (ovvero una funzione sia iniettiva che suriettiva) fra ${\displaystyle \mathbb {Z} }$ e ${\displaystyle \mathbb {N} }$. Considerando ${\displaystyle \mathbb {N} =\{0,1,2,\ldots \}}$, tale corrispondenza è la funzione ${\displaystyle f\colon \mathbb {Z} \to \mathbb {N} }$ tale che:

${\displaystyle f(x)={\begin{cases}2|x|,&{\mbox{se }}x<0\\0,&{\mbox{se }}x=0\\2x-1,&{\mbox{se }}x>0.\end{cases}}}$

Mentre considerando ${\displaystyle \mathbb {N} ^{+}=\{1,2,3,\ldots \}}$ è la funzione ${\displaystyle g\colon \mathbb {Z} \to \mathbb {N} ^{+}}$ tale che:

${\displaystyle g(x)={\begin{cases}2|x|,&{\mbox{se }}x<0\\2x+1,&{\mbox{se }}x\geq 0.\end{cases}}}$

Ogni membro di ${\displaystyle \mathbb {Z} }$ avrà uno ed un solo membro corrispondente in ${\displaystyle \mathbb {N} }$ (o ${\displaystyle \mathbb {N} ^{+}}$), pertanto i due insiemi hanno la stessa cardinalità.

L'insieme ${\displaystyle \mathbb {Z} }$ è un insieme totalmente ordinato senza estremo superiore o inferiore. L'ordine di ${\displaystyle \mathbb {Z} }$ è dato da

${\displaystyle \ldots <-2<-1<0<1<2<\ldots }$

Un numero intero è positivo se è maggiore dello zero e negativo se minore di zero; zero non è considerato un numero positivo né negativo.

L'ordine seguente è compatibile con le regole dell'algebra:

1. se ${\displaystyle a<b}$ e ${\displaystyle c<d}$, allora ${\displaystyle a+c<b+d}$;
2. se ${\displaystyle a<b}$ e ${\displaystyle c>0}$, allora ${\displaystyle ac<bc}$.

Più semplicemente: se ${\displaystyle m}$ e ${\displaystyle n}$ sono due qualsiasi numeri relativi si dice che ${\displaystyle m}$ è maggiore di ${\displaystyle n}$, e si scrive ${\displaystyle m>n}$, se esiste un numero naturale ${\displaystyle p\neq 0}$ tale che ${\displaystyle m=n+p}$. L'insieme ${\displaystyle \mathbb {Z} }$ può essere definito a partire dall'insieme ${\displaystyle \mathbb {N} }$ dei numeri naturali tramite il concetto di insieme quoziente. Si consideri il prodotto cartesiano ${\displaystyle \mathbb {N} ^{2}=\mathbb {N} \times \mathbb {N} }$, ovvero l'insieme di tutte le coppie ordinate di numeri naturali ${\displaystyle (a,b)}$. Si consideri la seguente relazione ${\displaystyle \sim }$

${\displaystyle (a,b)\sim (a',b')\Leftrightarrow a+b'=a'+b.}$

Questa è una relazione di equivalenza, infatti è:

• riflessiva: ${\displaystyle (a,b)\sim (a,b)}$, infatti ${\displaystyle a+b=a+b}$
• simmetrica: se ${\displaystyle (a,b)\sim (a',b')}$ con ${\displaystyle a+b'=a'+b}$, allora ${\displaystyle a'+b=a+b'}$ e quindi ${\displaystyle (a',b')\sim (a,b)}$
• transitiva: se ${\displaystyle (a,b)\sim (a',b')}$ e ${\displaystyle (a',b')\sim (a'',b'')}$, allora

${\displaystyle a+b'=a'+b}$, ${\displaystyle a'+b''=a''+b'}$, sommando

${\displaystyle a+b'+a'+b''=a'+b+a''+b'}$, semplificando

${\displaystyle a+b''=a''+b}$, quindi

${\displaystyle (a,b)\sim (a'',b'')}$

Si definisce ${\displaystyle \mathbb {Z} }$ come l'insieme quoziente di ${\displaystyle \mathbb {N} \times \mathbb {N} }$ con la relazione ${\displaystyle \sim }$:

${\displaystyle \mathbb {Z} =(\mathbb {N} \times \mathbb {N} )/\sim }$

A questo punto è facile dimostrare che ogni classe di equivalenza ${\displaystyle [(a,b)]}$ contiene uno e un solo elemento nella forma ${\displaystyle (a',b')}$ con ${\displaystyle a'=0}$ oppure ${\displaystyle b'=0}$. In questo modo possiamo introdurre la notazione più familiare per i numeri interi nel modo seguente:

• ${\displaystyle a=+a=[(a,0)]}$
• ${\displaystyle -a=[(0,a)]}$
• ${\displaystyle 0=-0=[(0,0)]}$

Si dimostra facilmente che esiste un isomorfismo tra l'insieme dei numeri naturali e il sottoinsieme di ${\displaystyle \mathbb {Z} }$ costituito dagli elementi del tipo ${\displaystyle [(a,0)]}$. In questo senso si può dire che i numeri naturali sono un sottoinsieme dei numeri interi.

Le operazioni di somma e prodotto possono essere definite nel modo seguente:

${\displaystyle (n_{1},n_{2})+(m_{1},m_{2})=(n_{1}+m_{1},n_{2}+m_{2})}$

${\displaystyle (n_{1},n_{2})\times (m_{1},m_{2})=(n_{1}m_{1}+n_{2}m_{2},n_{1}m_{2}+m_{1}n_{2})}$

Si verifica che le operazioni sono compatibili con la relazione d'equivalenza, e che si traducono nelle normali operazioni di somma e prodotto degli interi tramite la notazione appena introdotta. Ad esempio:

${\displaystyle a\times (-b)=[(a,0)\times (0,b)]=[(0,ab)]=-ab.}$

Si può anche dimostrare direttamente che l'insieme ${\displaystyle \mathbb {Z} }$ con queste operazioni è un anello commutativo.

• Fattorizzazione
• 1 (numero)
• Intero di Gauss
• Intero di Eisenstein
• Intero di Blum
• Intero algebrico
• Numero naturale
• Numero razionale
• Numero reale
• Numero complesso
• On-Line Encyclopedia of Integer Sequences
• Partizione di un intero

• Wikizionario contiene il lemma di dizionario «numero intero»
• Wikimedia Commons contiene immagini o altri file sul numero intero

• Numero intero, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) integer, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Opere riguardanti Integers, su Open Library, Internet Archive.
• (EN) Eric W. Weisstein, Integer, su MathWorld, Wolfram Research.
• (EN) Integer, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• (EN) Denis Howe, integer, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

V · D · M Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

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