Operation

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

\begin{matrix} G_{M} \times X \to X \\ (g, x) \to μ (g, x) := g + x \end{matrix}

So dass gilt: [O.1]

\forall g, g^{'} \in G_{M}, \forall x \in X : g^{'} + (g + x) = (g^{'} + g) + x

[O.2]

0 + x = x \forall x \in X

Navigationsmenü