Decir que "x" genera el grupo "G" es equivalente a decir que  = "G", caso en el cual "G" mismo sería un grupo cíclico; si "G" tiene tamaño finito, cualquiera de esas dos condiciones es equivalente a que "x" tenga orden |"G"|.