DES

Salmon, Algèbre supérieure, trad. O. Chemin, deuxième édition, 1890, p. 567.

C'est dans la théorie des formes du cinquième degré qu'on voit s'offrir pour la première fois un invariant gauche, c'est-à-dire un invariant qui se reproduit changé de signe dans toute transformée de la forme proposée par une substitution au déterminant — i, telle que par exemple

ou bi€

Si la forme du cinquième degré décomposée en ses facteurs linéaires est

e^ =: a{x — ^oJK) {x ~ Xiy){x — cc^y) {x — x^y)(x — Xi^y),

son expression en fonction des racines s'obtient comme il suit. Posons, pour abréger,

{mn)-= x,}j^— Xa, on aura

K = a^s[(oi)(o4)(32) + (o2)(o3)(i4)][(oi)(o2)(43) + (o3)(o4)(i2)][(oi)(o3)(4'i) + (o2)(o4)(3i)] x[(i2)(io)(43)-l-(i3)(i4)(2o)][(i2)(i3)(o4) + (i4)(io)(23)][(i2)(i4)(o3) + (i3)(io)(42)]

x[(34)(32)(io) + (3o)(3i)(42)][(34)(3o)(2i) + (3i)(32)(4o)][(34)(3i)(2o) + (3o)(32)(T4)]

x[(4o)(43)(2i) + (40(42)(o3)][(4o)(4i)(3o) + (42)(43)(oi)][(4o)(42)(3i)-i-(4i)(43)(2o)].

Hosted by

Cela étant, je vais résumer dans cette Note plusieurs résultats relatifs aux facteurs de l'invariant gauche et qui donneront sous un nouveau point de vue Ja détermination des invariants dans les formes du cinquième degré.

Soient à cet effet (^ )

F:=.(oi)(o4)(32) + (o2)(o3)(i4), G==(oi)(o2)(43) + (o3)(o4)(i2), H=(oi)(o3)(42)-t-(o2)(o4)(3i),

et convenons de représenter par Fv, Gv, Hv ce que deviennent respectivement ces quantités, en ajoutant le nombre v aux indices des racines Xç^^ x^^ . . ., pris suivant le module 5. L'expression de l'invariant du dix-huitième ordre sera ainsi

K==ai8.FGH.FiGiHi.F2G2H2.F3G3H3.F4G4H4,

et en premier lieu je donnerai le moyen de connaître comment s'échangent entre eux les quinze facteurs, lorsqu'on effectue sur les racines une substitution quelconque. Or, à l'égard de la substitution

> on aura