68 sur. LES GROUPES d'ordre fini. 
Il vient 
oj3' = oXp -I- sXa + Ç(<T[JL — vp) (mod />), 
tos' = ô)- -H eX'j -t- Ç ( tji'j — VT ) , 
ojÇ' = !^(p'j — -<y). 
La discussion de ces congruences ne donne que des groupes 
décomposables. 
81. Partons des équations de définition 
a'' = 'b, bP={)^ c!'=?j''=f)'' = 1, 
ac-=ca^rn^^ bc — cb¥, ab—bal2^^. 
Alors 
Posons 
b' = a9 b'' 0"= , 0'=2rP0'^ up)^o (mod/>). 
c' = c^&?6'^ 
Exprimons- que 
a'c'=c'a'&'ro'5', b' c' = c' b' 0' ^\ a' b' = b' a' y 0'^' . 
Il vient 
x-,'' + po' ~ Y^'-»! pr' + '^2' = ^^''-> + ^i-j^'-») 
ps' = Yp'j, aï' = Sp'j sa'j, 
pC H- X = Y ( — + '^^'^ — IJ^p. 
aÇ'-t- [JL = ô{lz — pv) £(-[Jt — va) + ^(Xa — [jLp). 
La discussion de ces congruences donne les groupes 
b''=0, 2r/' = 0/' = c/'= I , «c = ca2r0, bc = cbO, ab = ba?l^. 
\a/'=Sr, i/'=0, 2r/'~ 0/'= c/'=: I, ffc = c«2rY, bc = cbO, ab = ba'^i 
1 [2 valeurs de -,' associées, telles que leur produit soit congru l 
( à 1 (mod p), donnent le même groupe] ) 
(a/'=2r, è''=0, 2?/' = fj/' = c/' = I , rtc = c<7&, bc = cb, ab = ba^n), 
{aP = ?j, b'' = (}, ?ji'=zi)i'—ci' = i, ac — caO, bc — cb, ab — ba'ij). 
