Las raíces "n"-ésimas de la unidad forman una representación irreducible de cualquier grupo cíclico de orden "n".