Pour tout entier , on note l'ensemble des racines
n-ièmes de l'unité, à savoir
Bien sûr,
et
Ainsi,
. Rappelons que a une structure de groupe multiplicatif.
Définition On appelle ensemble des racines entières de l'unité l'ensemble
où désigne l'ensemble des racines n-ièmes de l'unité.
Proposition A toute racine entière de l'unité z, on peut associer l'idéal des entiers i tels que ; cet idéal est non nul et son unique générateur strictement positif est le rang de z, noté ici
.
Ainsi on a :
.
Démonstration Soit une racine entière de l'unité. Il existe tel que . Par conséquent, l'ensemble des entiers i tels que est non vide. On vérifie facilement que c'est un idéal de . Ce dernier étant principal, est aussi principal et donc monogène. Ceci permet d'être assuré que
est bien défini.
Rappelons aussi que, par définition, un élément de est une racine primitive d
de l'unité si et seulement si c'est un générateur de . Enonçons la propriété:
Proposition Soit un entier. Soit désigne l'ensemble des racines primitives d
de l'unité. Soit z une racine entière de l'unité et soit son rang alors:
On a, plus précisément,
où désigne le pgcd de k et d.
Démonstration
Démontrons l'inclusion de dans
Soit . est donc un générateur de . Rappelons que est un groupe cyclique à d éléments. Par conséquent, pour tout élément de , il existe tel que et . On a ainsi montré que et donc l'inclusion demandée. Démontrons l'inclusion réciproque. Soit z une racine entière de l'unité de rang d. Le sous groupe de engendré par est un sous groupe cyclique de d'ordre d. Ce sous groupe contient alors toutes les racines du polynômes car pour chaque élément de ce sous groupe, . Ce sous groupe est par conséquent le groupe des racines d-ième de l'unité et est bien un générateur de ce groupe.
Montrons la seconde égalité. Soit un élément de . est une racine entière de l'unité, donc il existe et tels que
. Comme , n est un diviseur de d. En particulier nd. Mais donc n est élément de l'idéal engendré par d et donc . En conclusion et
. Montrons maintenant que =1. Si ce n'est pas le cas alors il existe un élément p de tel que d=k.p et p<d. Mais , et le rang de ne peut être d. Ceci est contraire à nos hypothèses. Donc forcément . Pour démontrer l'inclusion réciproque, choisissons un élément
tel que
et tel que . Montron que le rang m de cette racine entière de l'unité est égal à d. Il est évident que m est au plus égal à d. Supposons que m<d. Alors implique
. Donc d divise k.m, mais comme d est premier avec k, en vertu du lemme de Gauss, d divise m ce qui est contraire au choix fait pour m. Donc d=m et z est de rang d. Par conséquent, comme les éléments de rang d sont les racines primitives d-ièmes de l'unité, l'inclusion réciproque est prouvée.
Définition Soit l'ensemble des racines primitives d
de l'unité. Le polynôme
est appelé d
polynôme cyclotomique.
Etablissons maintenant quelques propriétés préalables à la démonstration du théorème de Weddenburn.