La extensión "F"/Q tiene grado φ("n") y su grupo de Galois es naturalmente isomorfo al grupo multiplicativo de las unidades del anillo Z/"n"Z.