DE L UNITE
On a le théorème suivant, qui sera démontré au paragraphe 1 18. Théorème 1 A 1 . — Soit m un entier positif de la forme
ffl = /*i/*s..., OU =3S7J*i*a OU
où /, , /„. ... sont des nombres premiers impairs distincts. Soient de plus rt . i\
des racines primitives mod /';• . /*> avec 1rs symboles qu'elles définissent. Le
nombre de classes H du corps c des racines m'*™''* de l'unité peut alors s'exprimer de deux façons :
La premibve expression de H est
H = — Il fin, II
— jL—