Exemple Soit & zeta ; est une racine primitive p-th de l'unité et considère la tour suivante des champs de nombres : où Kn est le champ généré par un pn-th primitif racine d'unité et.
Exemple Soit une racine primitive - la racine de l'unité et regarde la tour suivante de champs de nombres : où est le champ généré par une racine primitive - la racine de l'unité.