Gruppenoperation/Produkt/Definition

Produktoperation

Es sei ${}G$ eine Gruppe und es seien ${}M_{i}$, ${}i\in I$, Mengen, auf denen ${}G$ operiere. Dann nennt man die durch

${}g(m_{i})_{i\in I}:=(gm_{i})_{i\in I}\,$

gegebene Operation die Produktoperation.