CHAPITRE I. — INVARIANTS DES SYSTÈMES BINAIRES. 3l

les hypothèses faites sur G,

Aj2 A'2'1 G =^ 7z(Pi— P2— ^^ 4- i)^'iY^ G;

d'autre part, la fonction A^ , G doit nécessairement s'annuler à partir d'une certaine valeur de /z, car l'opération A21 appliquée à une fonction isobarique par rapport à chaque indice, conduit à une nouvelle fonction de même nature, dont les poids par rapport aux indices i et 2, sont respectivement l'un diminué, l'autre augmenté d'une unité; si donc A[^^ G n'était jamais nulle, [son poids par rapport à l'indice 2 pourrait augmenter au delà de toute limite, ce qui est absurde. Supposons alors que A'^^^ G soit nulle sans que A27^ G le soit; on aura P^ — Po — 72+1 = 0, d'où P^ ^ — P2=o-

En particulier, on voit que, si P^ ^Po, on a 7z = i, par suite A2iG=o; de sorte que tout semi-invariant isobarique et de même poids par rapport aux deux indices est un invariant.

Démontrons maintenant que tout semi-invariant G, des poids respectifs [a-j-A* et |j.(A'>>o) peut être considéré comme la source A^^o d'un invariant d'ordre [i. de degré k par rapport aux (^). Il suffit de faire voir que l'on a

de cette façon, en effet, toutes les relations auxquelles sont assujettis les coefficients A/,^^^, seront vérifiées d'elles-mêmes.

Gomme ces équations résultent immédiatement de ce qui vient d'être dit, en faisant P^ — P2= /^? la proposition est démontrée.

35. Supposons maintenant que F ne dépende que des variables (x) et {y)') et considérons le coefficient A^^q.q^i des poids respectifs u + A" et ^-f~l] on peut en tirer comme précédemment tous les coefficients A.^.^j,^.i^j^j et ce coefficient est encore la source de l'invariant.

Si deux tels invariants ont même source A, des poids respectifs P^ et P2, ils ne coïncident pas nécessairement, car ils peuvent ne pas être des mêmes degrés par rapport aux (x) et aux (jk); on a en effet simplement [a + A = P^ , [jl -{- / = P2, ce qui ne détermine que k — /. S'ils sont des mêmes degrés, ils coïncident; on en conclut que, dans le premier cas, ils ne peuvent différer que

Hosted by

par une puissance de rinvariant évident (^jk); car, en multipliant l'un d'eux par une telle puissance, on obtiendra encore un invariant, avant même source que l'autre, et des mêmes degrés.

Soit A une fonction entière quelconque des éléments du système S, sauf les {x) et les (j/), isobarique, des poids respectifs P^ et P2 ; si on lui applique l'opération Ai2 successivement, on finira nécessairement par tomber sur un résultat nul : il suffît, pour le voir, de raisonner comme plus haut relativement à l'opération ù^2\ * Soit A^VA le premier résultat nul; A est la source d'un invariant dont l'ordre et les degrés sont déterminés par

et qui n'est pas divisible par {ocy).

En effet, supposons k^ o, et calculons les coefficients A.^^o.i^j^ par les formules

la forme

est isobarique et des poids respectifs p. + A- et [x; de plus, elle vérifie l'équation A,2F = o, où l'opération A^2 s'applique aussi aux (jk), de sorte que l'on a bien k^o. Donc, d'après le numéro précédent, c'est la source d'un invariant considéré comme ne dépendant que des (œ). En y considérant aussi les (y) comme variables, le théorème se trouve démontré complètement, car le terme en x^^y\ n'étant pas nul, la fonction obtenue n'est pas divisible par (^jk).

Si l'on considère un semi-invariant G comme dépendant de variables (j^), ce qui précède nous montre ce qu'on doit entendre par source de ce semi-invariant; un semi-invariant n'est d'ailleurs déterminé par sa source qu'à une puissance près dej^2-

On pourrait répéter ce que nous venons de dire, sans grandes modifications, en remplaçant des variables de première espèce par des variables de seconde espèce. La source d'un invariant dépendant des (x) et des (?) serait le coefficient A/,o;^/,o*

On pourrait aussi obtenir des résultats analogues en considérant un invariant comme fonction des coefficients de certaines formes.

Hosted by