CHAPITRE I. — INVARIANTS DES SYSTÈMES BINAIRES
Si q —p, ce qui arrive dans le cas général de p = /j, soit F un invariant d'ordre ;jl (ceci suppose P — p -{- i^>o); soient F,, F2, . . . , les P — p invariants absolus; il est clair que tout invariant d'ordre jj.' sera de la forme
a étant une fonction arbitraire,
On peut dire qu'il y a P — p + i invariants distincts. Si F( , F2, F3, ... désignent P — p + i tels invariants des ordres ta.,, a9, u3, . . . , a, n'étant pas nul, par exemple, tout invariant d'ordre u. quelconque est de la forme
co étant une fonction arbitraire.
2o. Puisque les invariants absolus peuvent être choisis rationnels, il résulte de ce qui a été dit au n° 23 que l'on peut toujours, quand il y a des invariants absolus, former pour le système S un système fondamental d'invariants entiers par rapport aux éléments de ce système : ces invariants sont d'ordre entier.
Par système fondamental d'invariants, nous entendons un ensemble d'invariants distincts à l'aide desquels puissent s'exprimer tous les autres, comme nous venons de le voir.
Si le système S n'a que des invariants absolus, ceux-ci peuvent être pris entiers. Si le système S n'a pas d'invariants absolus et a cependant des invariants, ceux-ci sont les puissances de l'un d'entre eux, que l'on peut encore supposer entier, comme nous le verrons plus loin.
Ce que nous venons de dire nous permet de ne considérer que des invariants entiers, quand il s'agit d'invariants non absolus; c'esl ce que nous ferons toujours.
26. Un invariant entier peut toujours être supposé homogène séparément par rapport aux diverses séries de variables (#), (/), .... (ç), (r,), ... et aux diverses séries de coefficients («), (6), . . . , des formes/, g, . . . , qui constituent le système S.
Soit en effet F un invariant qui n'est pas dans ces conditions :
il est la somme d'un certain nombre de fonctions entières qui possèdent les propriétés d'homogénéité indiquées plus haut ; si F, , F2, . • -, sont ces fonctions, la transformation du système S conduit à l'identité
2F!(a?i, a?'2; ... c,\, %'.,: ... «p„pî;...ir„7c,;...] ••• fy>i,/>«;...rçi,ità;...i •••)
= 8tASFi(a7i, T-2\ ... Çl,^; ••• api,/>i;...1ti,1C1;...1 ••• ^■l>pi;...«',,1lJ;..., • • • )•
Remplaçons xt et .r2 par Xx, et X#2i ..., £, et £2 par Ec, et ZH2, . • ., / par A/, «• par B g-, . . . , les quantités X, . . . , S, . . . , A, B, . . . , étant des constantes arbitraires ; la fonction F exprimée à l'aide de ces nouvelles variables et de ces nouveaux coefficients est encore un invariant du nouveau système ainsi formé, et comme x\ et x2 sont remplacées par \./-, et \ .''.,, • ••l\ et i'2 par Eç, et Z;2, ... ,/ par \ /' . g> par A -'. . . . , L'identité précédente devient, en supposant F, homogène el des degrés
/,,, .... x, />,, //, respectivement par rapport aux
séries (./•), . . ., (ç). . . . , (a), (b), ....
ZX*....E*,...A».B«i ...FjC^, a?',; ... £'„&; ... a^1>Pï;..., ... /y,,,.-,;.., : Sl*2X*«...3x....A''.B»i...Fi(ar1, r»; ... Êi.fc; ... a,,,,,;..., ... ^i,pi;...,
Ceci ayant lieu quelles < j u « ■ soient les arbitraires \, ..., E, ..., A, B, ..., on en déduit que chacune des fonctions F,, F2, . . . est elle-même un invariant d'ordre u., puisque, pour deux de ces fonctions, les systèmes de nombres /., , . . ., x,, ...,/>,, n\, . . ., sont par hypothèse différents.
En conséquence, tout invariant non absolu F sera toujours
supposé entier, homogène et des degrés /. , / x, > , /?,
«', .... par rapport aux diverses séries de variables el de coefficients (a;), (y), .. , (£), (7j), . . ., (a), (6), ..., qui constituent le système S. Si les coefficient.- (a), (0), .... sont ceux des
formes /= arl,y,h <-., ? , g = l>xrYr...%'V-,> et s' P esL ^orcU'c de ^, on a évidemment, en cherchant le degré de F par rapport aux coefficients ().), la relation
2fi = (p-+-q -+-. ..— - — p . . • mx -h(p'-+-q'-\ ... — -'—s' .. .)«'-+-... — k — l— ... + X + X+....
27. Dans le groupe des substitutions s-, on peut distinguer celles dont le déterminant est i ; ces substitutions forment elles-
