Un entero que no es divisible por el cuadrado de ningún primo; equivalente: en su factorización prima cada primo aparece con exponente 0 o 1.

Principio

Los enteros libres de cuadrados son aquellos cuya factorización en potencias de primos no contiene exponentes ≥2; la radical de n (producto de primos distintos) coincide con |n| para n libre de cuadrados, y las funciones multiplicativas suelen simplificarse en esta subclase.

Demostración

Ejemplos: 30 = 2×3×5 es libre de cuadrados, 18 = 2×3^2 no lo es porque 3^2 divide 18, y 1 se considera por convención libre de cuadrados al no tener divisores primos.

Aplicación incorrecta

Confundir 'libre de cuadrados' con 'no ser un cuadrado perfecto' (por ejemplo 6 es libre de cuadrados pero no un cuadrado) u olvidar el signo y el cero (0 es divisible por todo cuadrado y por tanto no libre de cuadrados) son errores comunes.

Consecuencia

Los enteros libres de cuadrados desempeñan papeles clave en el comportamiento de la función de Möbius y de Liouville, en problemas de conteo (densidad ≃6/π^2) y en resultados estructurales donde restringir a entradas libres de cuadrados simplifica fórmulas multiplicativas o argumentos local-globales.

Inversión

La clase opuesta incluye enteros divisibles por el cuadrado de un primo (no libres de cuadrados); los números powerful son una inversión extrema en que cada primo que divide a n lo hace con exponente al menos 2.

Límite

La definición se aplica a enteros; 0 no es libre de cuadrados, 1 es libre de cuadrados por convención, y en cuerpos numéricos análogos hay que considerar cuadrados de ideales primos — precaución al generalizar desde Z a los anillos de enteros de cuerpos de números.

Tensión semántica

Surge tensión entre la noción entera elemental de libre de cuadrados y nociones algebraicas relacionadas como polinomios sin cuadrados o ideales sin cuadrados en anillos—similares en espíritu pero con criterios locales y técnicas distintos.

Síntesis

Un entero libre de cuadrados es aquel cuya factorización prima no contiene primos repetidos; esta simple condición combinatoria tiene consecuencias importantes en teoría multiplicativa de números, estimaciones de densidad y en la simplificación de funciones aritméticas.