.
5.1. a X X, a , .
~, .
:
- IX = {(a, a) |a X } X;
- ;
- ;
- ;
- " m " . m a b (mod m);
- " " ;
- " " ;
- " " ;
- " " .
" ", " " , .
, .
.
6.1.
{ M1, M2, }
M ,
M = M1 M2
i j
Mi Mj =O.
M1, M2, .
:
- - , , . .;
- (, , );
- (, , );
- ;
- .
, , , , . , .
, , . . , .
, . ? , , . . , , . . " " " ".
|
|
, . , .
. (, ) , " ". : , , . .
, : , , . .
, M, M .
6.1. M () , :
- a;
- a.
. M. a :
x a y ( K )(x K & y K).
x y a M a , K, x y.
a, , . a. x a y x a z. K1 K2 , x, y K1 y, z K2. , K1 = K2, x, z K1. x a z, .
6.2. M ,
- a;
- a.
. a - M. x [ x ] M, y, a x:
[ x ] = { y|y a x }.
[ x ], M. , -, [ x ] O, a x [ x ].
-, [ x ] [ y ] . , z , z [ x ] z [ y ]. z a x z a y. a [ x ] a a x, z a x z a y a a a y, a [ y ]. , [ x ] [ y ]. , [ y ] [ x ]. [ x ] = [ y ], [ x ] [ y ]. ,
|
|
[ x ] y ] = O.
-, [ x ] M, x M x [ x ].
, [ x ], M. , .
M, , , - M a M/a.
. , a M . , M - M , . - M/ a M, " a". - M/ a a.
. , .
, . . , , ( , , , , , ). , , .
, ( , , . .), (, , , , . .). , (, ). , , , . . , , . . , , , , , - .
, .