eine komplexe Zahl ζ mit ζⁿ = 1 für ein n ∈ ℕ.

Eine solche Zahl ζ heißt n-te Einheitswurzel. Es gibt genau n verschiedene Zahlen ζ₀,…, ζ_n−1 mit dieser Eigenschaft, nämlich \begin{eqnarray}\zeta k={e}^{2k\pi i/n}=\cos \frac{2k\pi }{n}+i\sin \frac{2k\pi }{n}.\end{eqnarray}

Geometrisch liegen sie auf der Einheitskreislinie in den Ecken eines regelmäßigen n-Ecks.

Die Zahl ζ₁ = e^2πi/n heißt primitive n-te Einheitswurzel. Ist n ≥ 2 und ζ ≠ 1 eine n-te Einheitswurzel, so gilt \begin{eqnarray}\displaystyle \sum _{k=0}^{n-1}{\zeta }^{k}=0.\end{eqnarray}

Die Menge G_n aller n-ten Einheitswurzeln ist eine zyklische Untergruppe der Ordnung n der multiplikativen Gruppe S¹ ≔ {z ∈ ℂ : |z| = 1}. Die Mengen \begin{eqnarray}G:=\displaystyle \underset{n=1}{\overset{\infty }{\cup }}{G}_{n}\space\text{und}\space H:=\displaystyle \underset{n=0}{\overset{\infty }{\cup }}{G}_{{2}^{n}}\end{eqnarray} sind ebenfalls Untergruppen von S¹, und es gilt H ⊂ G. Weiter sind die Mengen G und H dicht in S¹.