Since divides , the Galois group has a cyclic subgroup of order .
This method can be extended to cover all finite abelian groups, since every such group appears in fact as a quotient of the Galois group of some cyclotomic extension of .