CHAPITRE I. — INVARIANTS DES SYSTÈMES BINAIRES
mêmes un groupe à trois paramètres contenu dans le premier. Pour ce groupe, on peut définir et rechercher les invariants absolus comme nous l'avons fait pour le groupe des substitutions <r; si l'on remarque que toute substitution du groupe peut être obtenue en combinant des substitutions des formes suivantes :
( a?i=eMna?i, ( xt = x\ ■+- to12a7'2, l xx = x\,
x2 — e~Mux[,, [ x* = x'2, j x2 = to21 x\ -h x\ ,
on en conclut immédiatement que ces invariants absolus sont les solutions des trois équations aux dérivées partielles
AUF — A22F = o, A12F = o, A21F=o,
qui forment un système complet, et qui sont indépendantes en nombre q — i .
De plus, ces invariants peuvent être pris rationnels; il suffit de répéter les raisonnements des nos 17 et 18. Ils peuvent même être pris entiers, car, sans cela, ils conduiraient à des invariants non absolus, et un raisonnement semblable à celui du n° 23 montre qu'il n'existe pas d'invariants non absolus proprement dits poulies substitutions considérées.
Enfin ces invariants, pris entiers, peuvent être supposés homogènes séparément par rapport aux diverses séries de variables et de coefficients qui constituent le système S : on le voit comme au numéro précédent.
Les invariants absolus relatifs aux substitutions ? de déterminant i, qui vérifient toutes les conditions que nous venons d'énoncer, peuvent évidemment être pris pour les termes d'un système fondamental d'invariants ordinaires du système S : ceci résulte des conditions d'homogénéité imposées, de la forme des équations de transformation, et de ce fait que l'on passe de la substitution générale a- à une substitution de déterminant i, en
remplaçant les coefficients A/y par -p-
On retrouve ainsi, et cette fois sans exception, la démonstration de l'existence d'un système fondamental d'invariants entiers poulie système S.
28. Les invariants entiers du système S, vérifiant les conditions
d'homogénéité plusieurs fois indiquées, sont, comme nous l'avons déjà dit, les seuls que nous considérerons : de même, nous pouvons nous borner à la considération des invariants absolus qui sont les quolienls de deux tels invariants. Ces conventions sont faites une fois pour toutes.
Les invariants sont les solutions des trois équations
AMF — A,2F = o. A|2F = o, i2|F = o,
distinctes en nombre q — i , formant un système complet.
L'ordre u d'un invariant F esl déterminé par la relation qui termine le n" 26.
L'identité d'Euler pour les fonctions homogènes donne alors
A„F A,, F = an F, d'où résultent les équations connues
En se reportant aux formules de transformation relatives aux substitutions ~M el ~,... on \<>it que ces équations expriment simplement que F c^i une fonction isobarique de poids u par rapport à chacun des indices i el
D'autre pari, effectuons la substitution particulière
de déterminant — i . Elle donne aussi
SI - ïli
si donc F est un invariant d'ordre •j., F doil se reproduire multiplié par ( — \)v- quand on permute les indices î el ■>. : si y. est pair, l'invariant est dit droit; si y. est impair, il esl dit gauche. 11 est clair qu'une fonction entière, isobarique de poids u., homogène séparément par rapport aux diverses séries de variables et de coefficients du système S, se reproduisanl multipliée par ( — i)^ quand on échange les indices i et 2, esl un invariant d'ordre tu si elle vérifie une seule des deux équations
A12F — o ou A2) F - o,
