Se puede verificar que cuando "m" es un número primo, formula_74, los elementos no nulos de formula_43, forman un grupo abeliano respecto a la multiplicación.