(, , .), () ( , , ). , :
-
-
- ( )
- .
. , , :
- ,
- ,
- -
- ( .. )
- .
II , , . , .
, , , , , . , , .
, .. . , , , . , . ( ):
S=k+n-
S ( , );
k ;
n , ;
.
, ( ), , :
1. , . () . ( ) .
|
|
, , . .
2. , , , , .
3. , (, , .).
, . , , , . , .
, (, , , , , , .) .. (), . . , , , , . . , , .
- , .. , , .
- -.
: , , , 2 .
Z X Y, :
K1
mX + nY pZ + Q (1)
k2
Q ;
m, n, p ;
k1 k2 .
, , . , Z :
|
|
-
-
- ,
- .
- . (X Y), .
, , .. . , . , .
, , . . , (1)
: V1=k1[X]m × [Y ]n,
V2=k2[Z]p,
[X], [Y ], [Z] ( ) .
V1=V2,
k1[X]m × [Y ]n = k2[Z]p
: (2)
k
[X], [Y ], [Z] ( ) ( ).
(2) , , . , . , , ..
, , , .