Dado un grupo cíclico "C" de orden "n", con generador "g", el tamaño del subgrupo generado por "g" para un entero "k" será el mínimo entero positivo "m" tal que "mk" es múltiplo de "n"; fácilmente se puede demostrar que "m" = "n"/mcd("k","n").