La respuesta es clara: 1 no es un número primo. La definición moderna exige que un entero natural sea estrictamente mayor que 1 y tenga exactamente dos divisores positivos distintos. El número 1 solo tiene un divisor (él mismo), lo que lo excluye de la categoría. Esta convención no es un capricho de notación, protege un teorema fundamental de la aritmética.
Unicidad de la descomposición en factores primos y estatus de 1
El teorema fundamental de la aritmética garantiza que todo entero mayor que 1 se descompone de manera única en producto de números primos, salvo el orden de los factores. Si 1 se considerara primo, esta unicidad se derrumbaría inmediatamente.
Tomemos 12. Su descomposición es 2 × 2 × 3. Si 1 figurara entre los primos, podríamos escribir 1 × 2 × 2 × 3, o 1 × 1 × 2 × 2 × 3, y así sucesivamente hasta el infinito. La unicidad de la factorización desaparece en cuanto 1 entra en la lista.
La cuestión de si 1 es un número primo encuentra su respuesta en esta exigencia estructural. Excluir 1 no es una decisión arbitraria: es la condición necesaria para que la descomposición en factores primos siga siendo una herramienta fiable en teoría de números, criptografía y álgebra.
Divisores de 1: por qué la definición escolar induce a error
La formulación clásica del diccionario presenta un número primo como un entero « divisible únicamente por sí mismo y por 1 ». Esta frase supone implícitamente que « sí mismo » y « 1 » designan dos enteros distintos. Para cualquier número primo (2, 3, 5, 7, 13…), así es.
Para el número 1, los dos términos coinciden. Solo tiene un divisor positivo. Un número primo tiene exactamente dos divisores positivos distintos, no uno solo, no tres o más. El número 1, con su divisor único, no cumple con este criterio.
Los recursos pedagógicos recientes, ya sean francófonos, germanófonos o lusófonos, han integrado esta precisión. La formulación adoptada es ahora sistemáticamente « entero natural estrictamente mayor que 1 ». Los calculadores de primalidad en línea aplican una regla de filtrado previa: si la entrada es 0, 1 o un entero negativo, el resultado es « no primo » antes incluso de ejecutar un algoritmo de prueba.
Estatuto algebraico de 1: unidad, primo, compuesto
En álgebra, los enteros se clasifican en tres categorías mutuamente exclusivas (más allá de 0):
- Las unidades: elementos invertibles en el anillo de los enteros. En los enteros relativos, solo 1 y -1 son unidades, ya que son los únicos enteros cuyo producto da 1.
- Los números primos (o irreducibles en un anillo): enteros mayores que 1 cuyos únicos divisores positivos son 1 y ellos mismos. Por ejemplo, 2, 3, 5, 7, 11.
- Los números compuestos: enteros mayores que 1 que tienen al menos un divisor distinto de 1 y de sí mismos. Por ejemplo, 4, 6, 8, 9, 10.
El número 1 no pertenece ni a los primos ni a los compuestos. Forma su propia categoría: la de las unidades. Esta distinción está lejos de ser cosmética. En estructuras algebraicas más generales (anillos de enteros de cuerpos de números, anillos de polinomios), la separación entre unidades y elementos irreducibles condiciona el funcionamiento de la factorización.
Por qué los matemáticos han cambiado de convención a lo largo del tiempo
La cuestión no siempre ha tenido consenso. Varios matemáticos del siglo XIX consideraban a 1 como primo. Las tablas de números primos publicadas en esa época a veces incluían a 1 al principio de la lista.
El cambio se produjo gradualmente, a medida que la teoría de números ganaba en rigor formal. La exclusión de 1 simplifica la enunciación de decenas de teoremas. Sin esta convención, cada resultado relacionado con los números primos debería añadir una cláusula « excepto 1 » o « para p mayor o igual a 2 ». La convención actual elimina este ruido sistemático.
Observamos el mismo fenómeno en otros campos de las matemáticas: una definición evoluciona cuando hace que los enunciados sean más claros y las demostraciones más fluidas. La decisión de excluir 1 de los primos no es una verdad ontológica grabada en piedra, es una convención óptima para el edificio teórico tal como existe.
Consecuencias prácticas en criptografía y en algorítmica
Los algoritmos de criptografía asimétrica se basan en la dificultad de factorizar grandes enteros en productos de números primos. Si 1 fuera primo, la noción misma de « factorización única » perdería su sentido, y estos protocolos perderían su fundamento matemático.
Las pruebas de primalidad implementadas en los lenguajes de programación comunes comienzan todas con un filtro trivial: todo entero menor o igual a 1 es rechazado antes de cualquier cálculo. No es una elección de implementación, es la traducción directa de la definición matemática en el código.
La coherencia entre la definición teórica y su aplicación informática refuerza el consenso. Ninguna biblioteca criptográfica seria trata a 1 como un caso ambiguo.
El debate sobre el estatus de 1 sigue siendo un excelente ejercicio pedagógico para entender cómo las matemáticas construyen sus definiciones. La respuesta, en cambio, no sufre más ambigüedad: 1 es una unidad, no un número primo, y esta distinción protege la coherencia de resultados utilizados diariamente en matemáticas puras como aplicadas.