Sea   formula_11   el grupo formado por las clases de equivalencia módulo "n", donde la operación del grupo es la suma.