El estudio de las raíces de la unidad comienza con el caso más simple: encontrar las raíces cuadradas de 1. Mientras que el sistema de números reales solo produce 1 y -1, extender el dominio a los números complejos revela un conjunto de soluciones mucho más amplio. Una raíz de la unidad se define como cualquier número complejo que da como resultado 1 cuando se eleva a una potencia entera positiva n. Para un n específico, estas raíces son los números complejos z tales que z^n = 1. Por ejemplo, mientras que las terceras raíces de la unidad (n=3) incluyen 1, también incluyen dos números complejos: (-1 + i√3)/2 y (-1 - i√3)/2. Estos valores pueden calcularse sistemáticamente utilizando coordenadas polares, donde un número complejo con magnitud 1 se representa como z = e^(iθ). Al igualar z^n a 1, se encuentra que las raíces son z_k = e^(i2πk/n) para k = 0, 1, ..., n-1.

Geométricamente, estas raíces están espaciadas uniformemente a lo largo del círculo unitario en el plano complejo. Cuando estos puntos se conectan con sus vecinos inmediatos, forman polígonos regulares. Esta simetría es un resultado directo de que las raíces están separadas por ángulos centrales iguales de 2π/n. Además, el conjunto de las n-ésimas raíces de la unidad (denotado como μ_n) forma un grupo cíclico abeliano bajo la multiplicación. Esto significa que el conjunto es cerrado bajo la multiplicación, contiene un elemento identidad (1) y cada elemento tiene un inverso. Dentro de este grupo, un 'generador' es una raíz que puede producir todas las demás raíces a través de potencias enteras. Mientras que la primera raíz (w = e^(i2π/n)) siempre es un generador, otras raíces w^k también son generadores si k y n son coprimos.

Más allá de la geometría y la teoría de grupos, las potencias de las raíces de la unidad poseen propiedades algebraicas significativas. La suma de todas las n-ésimas raíces de la unidad es cero (para n > 1), un hecho que puede demostrarse mediante la fórmula de la serie geométrica o al observar que las posiciones de las raíces en el círculo unitario hacen que sus componentes vectoriales se cancelen entre sí. Más importante aún, estas raíces forman una base ortogonal para el espacio vectorial complejo C^n. Cuando se organizan en una matriz donde cada fila representa las potencias de una raíz, la 'matriz de Fourier' resultante tiene filas que son mutuamente ortogonales. Esta propiedad es una piedra angular de la ingeniería y las matemáticas modernas, ya que proporciona el mecanismo subyacente para la Transformada Discreta de Fourier (DFT), la cual es esencial para el procesamiento de señales y el análisis de datos.