592 ACADÉMIE DES SCIENCES. 



de G. Le sous-groupe coinmulateur de I est d'ordre 2. Dès lors, son groupe d'isomor- 

 pliismes cogrédienls est d'ordre 2^" ('). Toutes les opérations d'ordre 4 contenues 

 dans ce sous-groupe ont le commutateur d'ordre 2 pour leur carré. Si I, représente le 

 sous-groupe de I qui est composé de toutes les opérations de I commutatives avec 

 quelque opération non-invariante d'ordre 2 en I, donc Ii est d'ordre 2'~' ; 2' étant 

 l'ordre de I. Le groupe d'isomorphismes cogrédients de li est d'ordre 2^<"~'', et exac- 

 tement la moitié des opérations en I — Ij sont d'ordre 2. En répétant ce raisonnement 

 on voit que le nombre des opérations d'ordre 4 en I est 



Supposons que le nombre des opérations dont l'ordre excède 2 dans le sous-groupe H 



2^ — I 

 de G, lequel correspond à Ii, soit de forme — ^^-^^ h. Il est clair que a > /; — 2. Si les 



opérations de G qui correspondent aux opérations d'ordre 2 en I — Ij renferment 

 quelque opération dont l'ordre excède 2, le nombre de ces opérations ne peut pas être 

 moindre que 2"'~"~^, puisqu'une telle opération d'ordre 2 est contenue dans un sous- 

 groupe de I lequel est d'ordre 2'~" et ne comprend aucune opération d'ordre 4- 

 Quand a>«, toutes les opérations de G, lesquelles correspondent aux opérations 

 d'ordre 2 en I — I,, doivent être, par conséquent, d'ordre 2, puisque 



2"+' — 1 1 1 _^ ' . 



2"+^ 2"+' 4"~2' 



c'est-à-dire qu'au moins la moitié des opérations de G seraient d'ordre plus grand 

 que 2, ce qui est contraire à l'hypothèse. 



Quand toutes les opérations de G, lesquelles correspondent aux opérations d'ordre 2 

 en I — I,, sont d'ordre 2, il est clair que le nombre des opérations de G dont les ordres 



2?—l 



excèdent 2 est de la forme — s—r- S- H reste donc à considérer seulement les cas où a = « 



2P-1-1 o 



ou « — I. Dans le premier cas, le nombre serait de la forme requise, puisque 



' — I 



^J'' 



c 



est la forme requise. Dans le dernier cas, le nombre de ces opérations serait encore de 

 la forme requise, puisque le nombre des opérations de G d'ordre plus grand que 2 et 

 corresjKindant aux opérations d'ordre 2 en I — I, serait 2"'-"-^, s'il existait de telles 

 opérations. Ceci prouve le théorème en question, puisque le théorème est vrai pour le 

 groupe oclique. 



(') FiTE, Tfansacliuns of ihe American iiiathcnialical Society, Vul. III, 1902, 

 p. 342. 



