¿Por qué el 1 no es primo?

 

"El 1 no es primo no porque no sea especial, sino porque es demasiado especial. Marcus du Sautoy (Reino Unido n.26-08-1965).

¿Alguna vez te has detenido a pensar por qué el número uno (1) no es primo? ¿Lo aceptas porque sí? ¿Porque has crecido oyendo que no es primo? en el mundo de las matemáticas pocas preguntas parecen tan triviales y, a la vez, esconden una profundidad tan abismal como esta: ¿Por qué el 1 no es un número primo? Si preguntamos a un estudiante de secundaria, nos dirá que "por definición". Pero las definiciones en matemáticas no son caprichos arbitrarios; son decisiones estratégicas tomadas para preservar la elegancia del universo numérico. Lejos de ser imposiciones, cada axioma posee un sustento lógico diseñado para garantizar la coherencia de todo el edificio matemático.

Para los antiguos griegos, especialmente para la escuela pitagórica, el debate ni siquiera existía porque partían de una premisa ontológica distinta: el 1 no era un número.

Para los pitagóricos, el $1$ (la Mónada) era la fuente de todos los números, pero no un número en sí mismo. Un "número" se definía como una pluralidad de unidades. Por lo tanto, el número más pequeño era el $2$. Bajo esta lógica, la pregunta sobre si el $1$ era primo carecía de sentido, pues ni siquiera calificaba para la categoría.

Euclides (Grecia 325 – 265 AC), en sus Elementos (C. 300 a.C.), definió un número primo como aquel que es medido únicamente por la unidad. Dado que el $1$ era la unidad misma, no podía "medirse a sí mismo" de la misma forma que el $2$ o el $3$. Durante casi dos milenios, el $1$ mantuvo este estatus especial de "generador", flotando en un limbo matemático.

A medida que las matemáticas evolucionaron hacia el Renacimiento y la Modernidad, la distinción entre la "unidad" y los "números" se volvió un estorbo para el álgebra. El $1$ empezó a ser tratado como cualquier otro número en las ecuaciones.

Esto abrió un periodo de ambigüedad que duró hasta finales del siglo XIX. Muchos matemáticos ilustres, como Christian Goldbach (Prusia 1690 – 1674) o incluso el propio Gottfried Wilhelm Leibniz (Alemania 1646 – 1716), consideraban al $1$ como un número primo. Después de todo, cumple con la definición ingenua: "un número es primo si solo es divisible por 1 y por sí mismo". En el caso del $1$, ambos divisores coinciden, lo cual parece un tecnicismo aceptable.

Sin embargo, a medida que la teoría de números se volvía más rigurosa, el $1$ empezó a causar problemas. El "átomo solitario" no se comportaba como los demás.

La razón definitiva para excluir al $1$ es la joya de la corona de la aritmética: el Teorema Fundamental de la Aritmética (TFA). Este teorema establece que:

"Todo número entero mayor que 1 puede representarse como un producto de números primos de forma única, salvo por el orden de los factores."

Este teorema tiene un origen dual: Euclides fue el primero en sentar las bases lógicas, pero fue Carl Friedrich Gauss (Alemania 1777 – 1855) el primero en formularlo y demostrarlo con el rigor moderno que conocemos hoy.

En su obra monumental, los Elementos (libros VII y IX), Euclides demostró las piezas clave del rompecabezas, aunque nunca enunció el teorema tal cual lo conocemos hoy.

• Lo que logró: Demostró que cualquier número puede ser descompuesto en factores primos (existencia) y formuló el famoso Lema de Euclides: "Si un primo divide al producto de dos números, entonces divide a al menos uno de ellos".
• Lo que le faltó: Los griegos no tenían una notación algebraica clara para expresar la unicidad de la factorización de forma general. Para ellos, era una propiedad implícita de los números, pero no una estructura teórica formal.

Tuvieron que pasar más de 2,000 años para que el teorema fuera tratado como un pilar fundamental. En su obra maestra, Disquisitiones Arithmeticae, publicada cuando solo tenía 24 años, Gauss dio el paso definitivo.

• La gran aportación: Gauss fue el primero en entender que la unicidad de la factorización no era una obviedad que "se viera a simple vista", sino algo que requería una demostración rigurosa.
• El método: Utilizó el descenso infinito y las propiedades de los divisores para cerrar el círculo que Euclides había dejado abierto. Fue él quien estableció que cada número tiene una "firma" única de primos.

Aunque Gauss es el padre oficial de la demostración moderna, hubo paradas intermedias importantes:

• Kamal al-Din al-Farisi (Siglo XIV): Este matemático persa dio un paso gigante al intentar demostrar la existencia y la unicidad de la factorización mucho antes que los europeos modernos, en su intento por entender los números amigos.
• Leonhard Euler (Siglo XVIII): Utilizó la idea de la factorización única de forma constante (como en su Producto de Euler), pero al igual que sus contemporáneos, la daba por sentada como una verdad evidente sin sentir la necesidad de una prueba formal.

Parece extraño que algo tan "básico" tardara tanto. La razón es que, durante siglos, los matemáticos consideraron que la unicidad era obvia. Fue solo cuando empezaron a explorar otros sistemas numéricos (donde la factorización única falla, como en los números complejos de Eisenstein o Gauss) que se dieron cuenta de que el Teorema Fundamental de la Aritmética era una propiedad especial de los números enteros que debía ser probada, no simplemente asumida.

Dato curioso: Gauss no llamó a su descubrimiento "Teorema Fundamental". Ese nombre se popularizó más tarde, conforme la comunidad matemática comprendió que toda la teoría de números descansaba, efectivamente, sobre esa única y elegante verdad.

Este teorema es el que da a los números primos su estatus de "átomos". El número $60$, por ejemplo, tiene una "firma de ADN" única: $2^2 \times 3 \times 5$. No hay otra forma de construir un $60$ multiplicandos primos.

Si permitiéramos que el $1$ fuera primo, la palabra "única" desaparecería del teorema. Observemos lo que pasaría con el número $6$:

• $6 = 2 \times 3$
• $6 = 1 \times 2 \times 3$
• $6 = 1^2 \times 2 \times 3$
• $6 = 1^{157} \times 2 \times 3$

Tendríamos infinitas formas de representar el mismo número. Para salvar la unicidad del TFA, tendríamos que añadir una cláusula molesta en cada teorema: "donde los factores primos son distintos de 1". Es mucho más elegante y funcional redefinir la primacía para excluir al uno.

Para entender por qué el $1$ estorba, debemos mirar cómo se prueba el TFA. El rigor matemático que sostiene esta estructura se basa en dos pilares fundamentales que todo entusiasta de los números debe conocer.

La Existencia (Inducción Matemática). La prueba de que todo número puede descomponerse se hace mediante inducción. Si un número $n$ no es primo, debe ser compuesto ($n = a \times b$). Como $a$ y $b$ son menores que $n$, podemos seguir rompiéndolos hasta llegar a los bloques indivisibles. Aquí el $1$ no aporta nada; no ayuda a "romper" el número, solo lo mantiene igual.

La Unicidad (El Lema de Euclides). Esta es la parte difícil. ¿Cómo sabemos que no hay otra combinación secreta de primos que dé el mismo resultado? Para probarlo usamos el Lema de Euclides:
"Si un primo $p$ divide al producto $ab$, entonces $p$ divide a $a$ o $p$ divide a $b$."
Este lema se prueba utilizando la Identidad de Bézout (Étienne Bézout Francia 1730 – 1783), que surge del algoritmo de Euclides para el máximo común divisor.

La Identidad de Bézout es un teorema fundamental en la teoría de números que vincula el Máximo Común Divisor (MCD) de dos números con una combinación lineal de ellos.
El teorema establece que dados dos números enteros $a$ y $b$ (no ambos cero), existen dos números enteros $x$ e $y$ tales que:
$$ax + by = mcd(a, b)$$
A los valores $x$ e $y$ se les conoce como coeficientes de Bézout. 

El herramental aquí es el Algoritmo de División: para cualquier par de enteros $a$ y $b$, existen únicos $q$ (cociente) y $r$ (residuo) tales que $a = bq + r$.

Sin este control sobre la división y los residuos, no podríamos garantizar que las factorizaciones son únicas. El $1$, al ser el único número con un inverso multiplicativo en los enteros ($1 \times 1 = 1$), se categoriza técnicamente como una "unidad", no como un primo ni un compuesto.

No todos los sistemas numéricos gozan de este privilegio. En los llamados Anillos de Enteros Algebraicos, la factorización única puede desaparecer.

Por ejemplo, en el sistema de números de la forma $a + b\sqrt{-5}$ (donde $a$ y $b$ son enteros), el número $6$ tiene dos factorizaciones distintas en elementos que se comportan como "primos":

1. $6 = 2 \times 3$
2. $6 = (1 + \sqrt{-5}) \times (1 - \sqrt{-5})$

Cuando los matemáticos del siglo XIX descubrieron que el TFA fallaba en estos sistemas, tuvieron que inventar el concepto de "Ideales" para restaurar el orden. De ahí nació gran parte del álgebra abstracta moderna.

En el álgebra abstracta moderna, estudiamos estructuras llamadas anillos. Aquí, la distinción se vuelve cristalina:

• Unidades: Elementos que tienen un inverso (en los enteros, solo $1$ y $-1$).
• Primos: Elementos que cumplen el Lema de Euclides.
• Irreducibles: Elementos que no se pueden factorizar en piezas más pequeñas (que no sean unidades).

En el conjunto de los números enteros, los conceptos de "primo" e "irreducible" coinciden, pero las unidades son una categoría aparte. El $1$ es el líder de las unidades. Incluir una unidad en la definición de primo es como confundir el pegamento con los ladrillos: el $1$ es lo que usamos para movernos entre números (mediante la suma o el inverso), pero los primos son los ladrillos que construyen la magnitud.

El Teorema Fundamental de la Aritmética es, en última instancia, el que pone orden en el cosmos matemático. Nos asegura que, por muy complejo que sea un número, siempre puede ser reducido a sus componentes más simples de una única manera posible.

Entonces, ¿por qué el $1$ no es primo? porque las matemáticas no se tratan de coleccionar objetos bajo etiquetas simples, sino de construir sistemas donde las reglas sean potentes y universales.

Si el $1$ fuera primo:

1. Perderíamos la unicidad de la factorización.
2. La Función Zeta de Riemann y el Producto de Euler explotarían en inconsistencias.
3. Cientos de teoremas de teoría de números necesitarían "notas al pie" para excluir al 1.

Al final del día, el $1$ es demasiado especial para ser un simple primo. Es la unidad, el elemento identidad, el punto de partida. Al negarle el estatus de primo, le otorgamos un honor mucho más alto: el de ser la medida de todas las cosas en el universo de los números.