${\displaystyle \mathbb {C} \longrightarrow \mathbb {C} ,\,z\longmapsto z^{17},}$

den gleichen Wert besitzen. In einer solchen Situation liegt stets eine Äquivalenzrelation vor.

${\displaystyle {}\mathbb {C} }$

${\displaystyle {}0}$

${\displaystyle {}0}$

${\displaystyle {}1}$

${\displaystyle {}17}$

${\displaystyle {}17}$

${\displaystyle {}0}$

${\displaystyle {}z^{17}=w^{17}\,}$

genau dann, wenn

${\displaystyle {}{\left({\frac {w}{z}}\right)}^{17}=1\,,}$

wenn also ${\displaystyle {}w/z}$ eine ${\displaystyle {}17}$-te Einheitswurzel ist. Somit besteht die Äquivalenzklasse zu ${\displaystyle {}z\neq 0}$ aus der ${\displaystyle {}17}$ Elementen ${\displaystyle {}z\zeta }$, wobei ${\displaystyle {}\zeta }$ die ${\displaystyle {}17}$-ten Einheitswurzeln durchläuft.