Operation

Zu einer gegebenen Gruppe $G:=(G_M,+)$und einer Menge X: Eine Operation von G auf M ist eine Abbildung(µ):

$\begin{array}{cc}& G_M\times X\to X\\ & (g,x)\to \mu (g,x):=g+x\\ \end{array}$

So dass gilt: [O.1] $\mathrm{\forall }g,g^{\prime }\in G_M,\mathrm{\forall }x\in X:g^{\prime }+(g+x)=(g^{\prime }+g)+x$

[O.2] $0+x=x\mathrm{\forall }x\in X$