Démontrer que les six relations
a* -r- a'1 -r- a* = 1 , ab + a'b'-+ a?b'=o, b* -u V* -+- b'* = 1 , ac -i a'c' + a'c' = o, 6.s 4. c'i ^- c^s = , f £c ^ $v +. 6*c" = 0j
sur l'algèbre supérieure.
entraînent les seize suivantes :
aa' -+• bb' -r- cd = o,
a'1 -+- b'* -«- c'1 = r , aa* -h bb0 -+■ ce" = o.
a'î H- £'! 4- c"t = i , *V -h b'b'-ir dd = o,
fcV — c'b* = db «, c^ - ^ = dt a', fo' — ob' = =b a*,
c'a" — de = z:z £, ad — ca* — ±: b\ cd — ad = dz 6".
«' £* — & V = rfc r, ta' — û&" = ±c', a&' — - ta' = ±l c\
ab'd- adb'+ca'b' - taV 4- taV - cb'a" = =h i .
( Dans les dix dernières relations, les signes supérieurs ou les signes inférieurs des seconds membres doivent être pris ensemble. )