Translation

1.1.1.5 Einfach Transitiv Eine Operation (µ) heißt einfach transitiv $\Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'$