, , , . .
, . : * ( - ) ○ ( - ).
.
. *, X, , x,y z X
(x*y)*z =x*(y*z).
* , x*y*z (x*y)*z +(y*z).
, : , z ( + ) + z = + ( + z). . .
, . , : , z, ( -) z ≠ - ( - z). , (12 - 7) - 3≠ 12 - (7 - 3).
, , , , . , * .
. * X , X
* =*.
, + = + , ∙ = ∙. , , , .
, . , : , ≠ - . , 12-7 ≠ 7-12.
X * ○, .
. ○ *, , z X :
1) (*) ○ z = (z○ x)*(z○ y) 2) z○(*z)=(z○) *(z○).
1), ○ *; 2), ○ *.
, .
|
|
( ○ 1 2) ( * 1 2). , 1, : (∙)z = z∙z. , , z, .. . 2, xyz = xy∙xz. , .. . , - , .
, , , : , z
(x + y) ∙z = x∙z + y∙z z∙(x + y) = z∙x + z∙y.
, , z - + . , .
. * , , , , ( ) ○. ( + y) ∙ (z + p). ,
(x+y) ∙ (z+p) = x∙ (z+p) + y∙ (z+p) = (x∙z+x∙p) + (y∙z+y∙p).
, . , (x+y) ∙ (z+p) = x∙z+x∙p+y∙z+y∙p.
, , , .
. X *, X * =* =.
, , .
. X *, X * =*=.
, .
, Z , Z x + 0 = 0 + x = . : Z : ∙0 = 0∙ = 0.
, , . , .
. *, X, , * = * * = * , =.
|
|
, : +=+ +=+ , = .
. * - , X. ○ *, ○ = z , y*z=x.
, , , : z = - , + z = .
X . Z , : Zo = N {0}. . , , (Zo, +, ∙). :
1) Zo , , ..:
( , Zo) x + = + ;
( ,y Zo) ∙ = ∙;
( x,y,z Zo) (x + y) + z = x + (y + z);
( x,y,z Zo) (x∙y) ∙z = x∙ (y∙z)
( x,y,z Zo) (x + y) ∙z = x∙z + y∙z
2) ( ), .. , :
+=+ =
∙=∙ =
3) :
( Zo) + 0 = 0 + = ;
( Zo) x∙0 = 0∙x = 0.
:
( Zo) ∙1 = l∙x = x.
4) Zo ( ):
- =z <=> + z =
: = z <=> y∙z = .
5) :
(Zo, +, ∙) ( ) .