Eigenschaft einer Verknüpfung auf einem Ring.

Sei (R, +, ·) ein Ring, dann gilt das Distributivgesetz

\begin{eqnarray}a\cdot (b+c)=a\cdot b+a\cdot c.\end{eqnarray}

Distributivgesetze können für alle Mengen M mit zwei (zweistelligen) Verknüpfungen

\begin{eqnarray}+,\circ :M\times M\to M\end{eqnarray}

Das Erfülltsein eines dieser Gesetze gibt eine Beziehung zwischen den Verknüpfungen an. Auch wenn eines erfüllt ist, muß i. allg. das zweite nicht gelten.