oêKR.yaïQ.A£G.o.l'(oA)fG

[(«) Hp. §6P11 '.o-.aAsKG.

{B) » Tq:o:6«R.a^(6-(-R) = A.-=6A.

(y) ». 6 e R . a o (6-i-R)=a : o : B « G . aA r^ (B-j-G)=a.-=bA » («) . {S) . (y) . PpS : : Ts]

10. A, B e G . a £ KR . l'a « Q . A=B .o. l'(aA) == l'(oB) [1.8.4.6.6.7.8]

11. A s G.a, 6 « KR.l'a, l'6 e Q.l'a=l'6.o.l'(oA)=l'(«>A) [ » ]

[(a) Hp. P9 : : l'(oA), l'(&A) s G .

(5i) » XeG.X<l'(aAJ.Defl:o:a'fa.X<a'A. -=a'A

ifi^ » a'« a . Tq : : 6'« 6 . a'< h'. - =»' a

(Ô3) » aie a. b's b . a'< &'. X f G . X < a'A : : X < 6'A

(6^) . &'« 6 . -X « G . X<6'A lOibArs (X-4-G)-=a : : X<1'(&A)

(6) » (âi) . (âg) . (-83) . (Ô4) : o : X a G . X<l'(aA) . o . X<1'(6A) (y) » ("'J)ô:o:XfG.X<l'(&A).o.X<l'(aA).

12. A « G . a, 6 f KR . l'a, l'bsQ.a.. l'(a(&A))=l'((a6)A) [1.3.4.6.6.7.8]

13. A, B£KG.A-=A.B-=A.Cf G.(A ^ B) ^ (C-Ha)=A.o.r(A-i-B)=l'A-+-l'B

[1.3.4.6.6.7.8] [(«) Hp. : : A-+-B r, (2C-*-G)=a. Hp. Pp8:o:l'(A-i-B), l'A, m « G . (fil) » X f G.X<r A-4-l'B. («).§5P41 : :. Xi , X, e G.Xi-hXj=X,

Xi< l'A . Xj< l'B. - =x, , X, a" (S,) » Xi , Xjê G.Xi<l'A.Xg<l'B :o: A'f A;B'« B,Xj<A'.Xj(<B'.

(/3j) » X, Xi,X,eG.A'«A.B'f'B.X=Xj-+-Xj.Xi<A'.X,<B':o:

X< A'-hB' : : A-f-B o (X-4-G) - = A .

(^ » (-8i)..('3«).('83):o.XfG.X<l'A-i-l'B.o.X<l'(A-t-B). (yj » T«G.T<l'(A-t-B):o:A'fA.B'fB.T<A'-hB'^=A',B'A (y») » A'«A.B'eB,Pl:o:A'<l'A.B'<l'B. (a) :o: A'-+-B'<1'A-^1'B (yj) » . YeG.T<A'-t-B'. (y,) :o:T<l'A-+-l'B

(y) » (n) • (y») • in) : o : y « g . t<i'(a-hB) . o . t< i'Ah-i-b .

» (<»).(i8).(y).Def2:o:T8]

^^i^dPl