306 



V. MOLLAME 



§ 3. 



quazione (3), quando vi siano. Sicché nell'equazione (9) è da considerarsi solo il caso 

 in cui a è un divisore di n che dà un quoziente dispari v. 



Sia v = 2b -4- 1; in conseguenza a deve essere pari. L'equazione (10), cioè 

 la (3), si può scrivere 



a 



xQ* Q l "x == 1 , 



e questa, per ogni sua radice che verifichi anche la (9), diviene la seguente 



a 



xQ~*x == 1 (12) 



nella quale, come fu detto, a è un divisore (pari) di n, minore di n, che dà un 



quoziente dispari; ovvero nella quale — è un divisore di n, minore di ~ che dà 



un quoziente pari. 



Si può ora enunciare il seguente 



Teorema. — La funzione razionale 6(x) sia tale che le -f- 1 equazioni (5) 



[o (4)] abbiano una radice comune. Dall' equazione (3) si sopprimano tutte quelle radici 

 che essa ha in comune con altre equazioni della stessa sua forma ma con esponenti di 6 



minori di e 0(x) = sia l'equazione che ne risulta. Ridotte a zero ed a forma 



intera le equazioni 0(x) = e (quelle che seguono la prima delle (5) ; sia F(x) il mas- 

 simo comun divisore dei loro primi membri; l'equazione 



F(x) = (13) 



sarà decomponibile in equazioni di grado n ; abeliane e della classe (I); per le quali 9(x) 

 è la funzione che genera le radici. 



Se si sopprimono dall'equazione (3) le radici -j- 1 e — 1, quando vi siano, allora 

 delle anzidette equazioni aventi la forma della (3), ma con esponente di minore di 



^, basterà prendere in esame quelle soltanto nelle quali, come nella (12), & è un divi- 

 sore (pari) di n, minore di n che dà un quoziente dispari: cioè quelle nelle quali l'espo- 

 nente di 9 è un divisore di n, minore di — , che dà un quoziente pari. 



Non esistono altre equazioni abeliane della classe (I) oltre quelle ottenute nell'anzi- 

 detto modo. 



