1. STRUKTURY ALGEBRAICZNE I ICH TRANSPORT (Rl) (łączność działań)
RxRxR A*‘dB |
i — X to |
idi?xA |
I* |
RxR- |
—>R |
A = Vx,y,zeR : (x +R y) +R Z = X +R (y +R z) \
>R
id rxM
RxR-r;
M
(R2) (przemienność dodawania) R x R TR > R x R
Vx,y,zeR '• (x -ru) 'R z = X -r (y -r z) ;
= Vx,yeR '■ X+RJJ =y+RX;
R
(R3) (rozdzielność mnożenia względem dodawania)
(Moprj 2,Moprt 3)
RxR-
Vx,y,ziR ■ X-R(y +R z)
= (x-rv) +r(x -rz)
R x R x R -
(Mopr13,Mopr23)
>RxR
Va:,y,zeR ■ (x+Ry)-RZ
= (x-Rz)+R(yRz) ’
Rx R--->R
A
względem działań)
(R4) (istnienie elementów neutralnych
= VxeR : x+fl0 = a;;
Va,eR x-Rl=x=l-Rx;