76 
11 vient 
SUR LES GROUPES D ORDUE FINI. 
T^z'=Tz{xjp +Y-=) -l-X(m^ — ny) + — h) -h^{ly — mx), 
uy' = tc ( a^" h- + Y =") + l ( /n^" — ny") + ,u («^" — fe") + v ( ly" — inx") 
ttX' = l{y'z" - z'j") + ix{z'x"—a:'z") + v(^'j"- r'^"), 
Tîv' = X( j^' — sy') -h[jt(;j^' — œz') -+-^{xy' — y-^')- 
Le groupe correspondant 
a''=iK hi> = cP — di' =z [)i> z=i \ , ab=bai), ac — ca. 
ad — da, cd = dc^), bd — db, bc cb 
a 
p'*{p — i) opérations d'ordre p^, 
p* — 1 » » p. 
90. Soit 
af = 0/'= I, 
I, 2, 3, 4, 
aiaj= ajaifF'i 
Posons 
alors 
a 
■ '■ = a\it ali2 aJ^n al^O',^ 
0'= 0'" ; 
donne 
On déduit de Jà 
X (2233,4+ «312,;,+ a,, a^^). 
Le groupe contiendra p' 
On a ainsi 
opérations d'ordre p. 
al' — bP = cl' = di' — = i . ab^baO, ac = ca. 
ad — da, cd — dcd^ db — bd, bc = cb 
