"Pe multimea I se consideră legile de compozitie [tex]\mathbf{x} \circ \mathbf{y}=\mathbf{x}+\mathbf{y}-4[/tex] și [tex]x T y=x y-4 x-4 y+20[/tex].

a) Să se arate că [tex](Z, \circ)[/tex] și (Z, T) sunt semigrupuri comutative.

b) Să se arate că [tex]\mathbf{x} T(\mathbf{y} \circ \mathbf{z})=(\mathbf{x} \mathbf{T} \mathbf{y}) \circ[/tex] [tex]\circ(x[/tex] T z) (legea de compozitie T este distributivă față de , "")."