.
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 zay. a [ x ] a a x, zax zay 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.
. , .
, . . , , ( , , , , , ). , , .
|
|
, ( , , . .), (, , , , . .). , (, ). , , , . . , , . . , , , , , - .
, .
, , .
1. . . , , . - .: , 1971.
2. . . - - ( ). - .: , 1982.
3. . ., . . . . 1. . . . . . - : . , 1975.
4. . . . .: , 1970.