Adjuntando una raíz primitiva "n"-ésima de la unidad a Q, obtenemos el cuerpo ciclotómico "n"-ésimo "F".