La risposta è netta: 1 non è un numero primo. La definizione moderna richiede che un intero naturale sia strettamente maggiore di 1 e abbia esattamente due divisori positivi distinti. Il numero 1 ha un solo divisore (se stesso), il che lo esclude dalla categoria. Questa convenzione non è frutto di un capriccio di notazione, ma protegge un teorema fondamentale dell’aritmetica.
Unicità della decomposizione in fattori primi e stato di 1
Il teorema fondamentale dell’aritmetica garantisce che ogni intero maggiore di 1 si decompone in modo unico in prodotto di numeri primi, a meno dell’ordine dei fattori. Se 1 fosse considerato primo, questa unicità crollerebbe immediatamente.
Prendiamo 12. La sua decomposizione è 2 × 2 × 3. Se 1 fosse tra i primi, potremmo scrivere 1 × 2 × 2 × 3, o 1 × 1 × 2 × 2 × 3, e così via all’infinito. L’unicità della fattorizzazione scompare non appena 1 entra nella lista.
La questione se 1 sia un numero primo trova quindi la sua risposta in questa esigenza strutturale. Escludere 1 non è una decisione arbitraria: è la condizione necessaria affinché la decomposizione in fattori primi rimanga uno strumento affidabile in teoria dei numeri, crittografia e algebra.
Divisori di 1: perché la definizione scolastica inganna
La formulazione classica del dizionario presenta un numero primo come un intero « divisibile solo per se stesso e per 1 ». Questa frase presume implicitamente che « se stesso » e « 1 » designino due interi distinti. Per ogni numero primo (2, 3, 5, 7, 13…), questo è certamente il caso.
Per il numero 1, i due termini coincidono. Ha un solo divisore positivo. Un numero primo ha esattamente due divisori positivi distinti, non uno solo, non tre o più. Il numero 1, con il suo unico divisore, non soddisfa questo criterio.
Le risorse didattiche recenti, siano esse francofone, germanofone o lusofone, hanno integrato questa precisione. La formulazione adottata è ora sistematicamente « intero naturale strettamente maggiore di 1 ». I calcolatori di primalità online applicano una regola di filtraggio preliminare: se l’input è 0, 1 o un intero negativo, il risultato è « non primo » anche prima di avviare un algoritmo di test.
Stato algebrico di 1: unità, primo, composto
In algebra, gli interi si classificano in tre categorie mutuamente esclusive (al di là di 0):
- Le unità: elementi invertibili nell’anello degli interi. Negli interi relativi, solo 1 e -1 sono unità, poiché sono gli unici interi il cui prodotto dà 1.
- I numeri primi (o irriducibili in un anello): interi maggiori di 1 i cui unici divisori positivi sono 1 e se stessi. Ad esempio, 2, 3, 5, 7, 11.
- I numeri composti: interi maggiori di 1 che possiedono almeno un divisore diverso da 1 e se stessi. Ad esempio, 4, 6, 8, 9, 10.
Il numero 1 non appartiene né ai primi né ai composti. Forma la sua categoria: quella delle unità. Questa distinzione è tutt’altro che cosmetica. In strutture algebriche più generali (anelli di interi di corpi di numeri, anelli di polinomi), la separazione tra unità ed elementi irriducibili condiziona il funzionamento della fattorizzazione.
Perché i matematici hanno cambiato convenzione nel tempo
La questione non ha sempre trovato consenso. Diversi matematici del XIX secolo consideravano 1 come primo. Tabelle di numeri primi pubblicate in quel periodo includevano a volte 1 in cima alla lista.
Il cambiamento è avvenuto gradualmente, man mano che la teoria dei numeri guadagnava rigore formale. L’esclusione di 1 semplifica l’enunciato di decine di teoremi. Senza questa convenzione, ogni risultato riguardante i numeri primi dovrebbe aggiungere una clausola « eccetto 1 » o « per p maggiore o uguale a 2 ». La convenzione attuale elimina questo rumore sistematico.
Osserviamo lo stesso fenomeno in altri ambiti della matematica: una definizione evolve quando rende gli enunciati più chiari e le dimostrazioni più fluide. La scelta di escludere 1 dai primi non è una verità ontologica scolpita nel marmo, ma una convenzione ottimale per l’edificio teorico così com’è.
Conseguenze pratiche in crittografia e algoritmica
Gli algoritmi di crittografia asimmetrica si basano sulla difficoltà di fattorizzare grandi interi in prodotti di numeri primi. Se 1 fosse primo, la stessa nozione di « fattorizzazione unica » perderebbe il suo significato, e questi protocolli perderebbero la loro base matematica.
I test di primalità implementati nei linguaggi di programmazione comuni iniziano tutti con un filtro banale: ogni intero minore o uguale a 1 viene scartato prima di qualsiasi calcolo. Non è una scelta di implementazione, ma la traduzione diretta della definizione matematica nel codice.
La coerenza tra la definizione teorica e la sua applicazione informatica rafforza il consenso. Nessuna libreria crittografica seria tratta 1 come un caso ambiguo.
Il dibattito sullo stato di 1 rimane un ottimo esercizio pedagogico per comprendere come la matematica costruisca le proprie definizioni. La risposta, invece, non soffre più di ambiguità: 1 è un’unità, non un numero primo, e questa distinzione protegge la coerenza di risultati utilizzati quotidianamente in matematica pura come applicata.