Distributividad

Cuando se tienen definidas dos operaciones internas en $A$ se pueden relacionar ambas. Por ejemplo en los números reales se tienen sumas y productos y una cierta compatibilidad entre ambas operaciones que nos permite realizar cálculos.

Sea $(A, *_1,*_2)$ un conjunto dotado de dos operaciones internas. Decimos que la operación $*_1$ es distributiva con respecto a $*_2$ si se verifican las siguientes condiciones

\begin{displaymath}a*_1(b*_2c)=(a*_1b)*_2(a*_1 c) , \quad \hbox{y} \end{displaymath}


\begin{displaymath}\qquad \qquad (a*_2b)*_1c=(a*_1c)*_2(b*_1 c)\qquad \forall a,b,c\in A\end{displaymath}



Antonio Garvín 05/06