Raíces que generan a todas las demás raíces n-ésimas al elevarlas a potencias.
Las raíces $n$-ésimas de la unidad son las soluciones complejas de la ecuación $z^n = 1$. Aunque hay exactamente $n$ raíces de este tipo, no todas son iguales. Llamas a un número $\zeta$ una raíz primitiva $n$-ésima de la unidad si $\zeta^n = 1$ y $n$ es el entero positivo más pequeño para el cual esto se cumple. En otras palabras, $\zeta^k \neq 1$ para todo $1 \le k < n$. Geométricamente, las raíces $n$-ésimas de la unidad forman los vértices de un $n$-ágono regular centrado en el origen en el plano complejo. Una raíz primitiva es un generador de este conjunto: si tomas las potencias de una raíz primitiva $\zeta$ (es decir, $\zeta^1, \zeta^2, \dots, \zeta^n$), vas a generar todas las raíces $n$-ésimas de la unidad distintas.
Este concepto es fundamental en las matemáticas de competencia porque conecta los números complejos, los polinomios y la teoría de números. Las raíces primitivas te permiten factorizar polinomios como $x^n - 1$ en componentes irreducibles sobre los racionales, conocidos como Polinomios Ciclotómicos. Las usas frecuentemente para evaluar sumas que involucran raíces de la unidad, resolver problemas combinatorios mediante funciones generatrices y analizar el comportamiento de la aritmética modular dentro del plano complejo.