CHAPIÏUE V. SUR LES GROUPES d'oRDRE />''. 65 
dont on peut, en même temps, déterminer les groupes d'iso- 
morpliismes. 
77. Partons des équations de définition 
ff/' = Sr, bi>~ci' = '^i'=i)''—i^ ac = ca()^, bc--cb¥, ab — bac. 
Alors 
, , ^ Xai— ! -ou.^^^^^ — 1— ! :-oX'iu.i— ! s).». L-J- [u.(2p + l)- 
Posons 
a' = a^- Z^M- f'^ 0« , 0' = 0^ S-'O , 
et exprimons que Ton a 
«'c' = c'a'0'S', 6'c'=c'^''0'^', a'b'^b'o'c\ 
il vient 
T = o, Tjô' = o, sS' = ôX'j + sijL'j (modyo), 
•f)£' E= o, Çe' = Ep'j, 4^ = 0, 'j = Xp, 
. x(x-i) ,p(p-i) ^ 
tû oAff — £vo — 00 SA — ^ -i- ewo- — ei-t'j. 
' 2 2 
On a alors 
— i) opérations d'ordre />-, 
p* — i » » 
La discussion des congruences donne 2 groupes du 
{ai'^'i, = c'/' z= =1 0'' = I , rtc = ea, bc = cbO, ab — bac)^ 
{a'' — ?:^ è''= c/'=; 0''= I, «c = caO, bc:z^cb, ab^bac)^ 
plus un groupe décomposable du type (i, i, i)(i, i). 
Les mêmes congruences serviront à trouver les isomor- 
pliismes. 
Umv. Lyon. — Le Vavasskuii. 5 
