Sabemos de trabajos anteriores que tales raíces forman un subgrupo multiplicativo de formula_226 que denotamos por formula_227.