a £ Mod fin . o . a ^ r = n X min (a r> r

5. a £ Mod fin «^- 1 . o . ?i £ N . a -= n a?4 -f- n a»2 -f- ... -f- n aî^ :

i^i ?^2 ? -Pn s n .pi a?4 -h P2 a?2 -f- ... -+-p^ a?^ = . o .p^ =i?2 = ...

6. 71 £ N . a £ Mod fin . o . B irr a=B a'-^ (a?^ x^ ... a?„) £ {p^ ,p^ , ...^.^ £ n .

Pi ^1 -^^2 ^2 -+- - -^-JPn a?n = . .2h =P% ='"=Pn = 0) • [def.J 6'. a £ Mod fin r^ - 1 . . B irr a - == A .

7. w £ N . o . Mod fin^ == Mod fin ^ a £ (m £ N . (ic^ , a?2 , ... a?,,,) £ B irr a .

o . m = oi) . [def.]

8. m , n £ N . a £ Mod fin^ . (0?^ , x^ , ... a?„J £ B a . . m > ?i .

9. ?i £ N . a , 6 £ Mod fin^ . (x^^ , x^ , ic,J £ B a . (z/^ , ^2 7 ••• 2/n) - ^ ^ •

^ £ n f (Z„Z,J : i £ Z^.o,- .a?,=jp/4 2/i-+---^Pm Z/n-'.o.R (6,a)--±Detp.

10. ri £ N . a £ Mod fin^ . {x^ , x^ , ... ce J , (^2/4 , 2/2 , ... 2/n) £ B a .

i^ £ n f (Z,, , Z,,} : i £ Z^ . 0, . Xi=pi^ yc^-^-^pin Vn. .'.o. Detp= Hh 1.

11. îfc £ alg . a £ Mod fin . (x^ , x^ , ... o?^) £ B a . . a w £ Mod fin .

{u x^ jUXç^ ^ ,,,u x^) £ B (a w) .