SÉANCE DU II AVRIL 1904. 889 



» Il est clair que le nombre des types des sous-groupes circulaires est oc, . 

 Pour déterminer le nombre total des sous-groupes d'un type donné, il 

 suffit de déterminer le nombre de manières de choisir ses générateurs 

 indépendants parmi les opérations de G, et de diviser ce nombre par le 

 nombre de manières de choisir les générateurs indépendants dans le sous- 

 groupe ('). De là, le nombre des sous-groupes de G, dont les invariants 

 sont p^',p^^, ...,///(a, = p,,a2=po, ..., a^^p/) est donné par la formule C^) 



\£ ' — P ■ )---\P ^ — P •i ) 



oij ^^(a = I, ..., /) représente le nombre des invariants de G qui ne sont 

 pas moindres que />*, et ria, a la même signification en ce qui concerne les 

 invariants des sous-groupes requis. En particulier m^ =^11,71^^= l. 



» B. Pour trouver le nombre des sous-groupes caractéristiques deGC), 

 il faut énoncer explicitement si les invariants sont égaux. Supposons que G 

 ait p, invariants égaux à /?", po égaux à />*s . . . , p,^ égaux à />°'« 



Il y a juste n sous-groupes caractéristiques, lesquels ne contiennent 

 aucune opération dont l'ordre excède p. Le plus petit de ceux-ci est 

 d'ordre /?P' et // est contenu dans chaque sous-groupe carrictéT^stique possible 

 de G. Quand /) > 2, le nombre des sous-groupes caractéristiques de G est 

 donné par la formule 



2(a, — a. 4- i)(ao- ag-l-i) ...(ap_, — ap+ i)(«p— ap^, ). 



P = ' 



» Cette formule donne aussi le nombre des différents systèmes d'opéra- 

 tions conjuguées sous le groupe des isomorphismes de G. Quand/? = 2, la 

 formule donne encore le nombre des différents systèmes d'opérations con- 

 juguées de G, mais la formule pour le nombre des sous-groupes caracté- 

 ristiques devient un peu plus compliquée. 



)) Ces résultats peuvent être facilement appliqués aux groupes abéliens 



(^) Ce nombre est l'ordre de groupe des isomorphismes de ce sous-groupe. 

 (2) Heffter, C relie, t. 119, 1898, p. 261.- 



(') Un sous-groupe caractéristique de G est un sous-groupe qui comprend toutes 

 les conjuguées des opérations du sous groupe sous le groupe des isomorphismes de G. 



