Se trata en este caso de un grupo cíclico finito de orden formula_52.