mCA-hB)=-mA-f-mB

•, «iU^\W^-*2^'"-^'<*

[(a) Hp. §2P3 . Def 1 : : 1 f ml (ïs)

{S) » nemTa (Ts) . Ppl : o : n(A-i-B) -h- (A-4- B)= nA -4- nB -4- (A -t B) . §2P10, 11 : : nCA-4- B) -f- (A -4- B) = (nA-4- A) -f- (nB -h B) . Def 3 . §2P3 : : (71 ^ 1) (A -4- B) = (n -h 1)A -f- (ti h- 1)È : : n h- 1 f mf (Ts) Hp. (a) . (/3) . Pi : : Ts] ' «'. /f G/Z, . .. m(S,Y) = 2,'^(m/^) ' [1.3.4]

7, (m H- 7i)A = mA -+- nA [1 • li • 4]

[(a) Hp. Defl,2.Ppl,:o:(m-f-l)A = mA-4-lA:o:l£n7 (Ts) ■ - </3) » n'£ 7>1 (Ts) . Ppl : : (m -f- n')A -h A =.(wAH-n'A) -f-A . Ppl, , 4 . Def 2 . Tn . P4 : : (m-h(ii'H-l))A= mA -+- (ti'-kI) A : : n'-\- le ni (Ts) Hp.'(a).()0):Pi:o: Ts] 7'. r £ N/Z, . . (S,Y)A = 2^î^(fr)A [1.1,. 4]

^ m(7iA> = {mn)k [1*3 . 4]

. [(a) Hp*. Tn . Def r : : lA = A . m == m X 1 • P5 : : m(lA) « (m X 1)A : : 1 f rïl (Ts) (iS) Hp. n'a n s (Ts) . Ppl-. PI : o : m(iiA) -h mA = (m7i')A H- mA . ' P6, 7 : : m(n'A-+-A) = (mn'-h m)^ . PI, 3, 4 . Def 2 . Tn : cj : m((7i'-H 1)A) .= (m(7i'-4- 1))A :o : n'a nTa (Ts) Hp. (a) . (iS) . Pi : : Ts] ' -9. A > B . . mA > mB ^ ^ [1.3.4]

[Hp. : o : A £ B -h G . Hp. PI, 3, 6 : : mA f mB -f- G : : Ts] .