Sea ("G",·) un grupo cíclico finito de orden "n" — con "n" elementos —, es decir, "G"={"e","g","g"...,g} para cierto elemento "g" de "G".