Operation auf Permutationsgruppen.

Es seien N und R endliche disjunkte Mengen mit |N| := n bzw. |R| := r Elementen, und G eine Untergruppe der Permutationsgruppe S(N) bzw. H eine Untergruppe der Permutationsgruppe S(R).

Das kartesische oder direkte Produkt von G und H ist die Permutationsgruppe

\begin{eqnarray}G \times H := \{(g,\,h),\,\,g\in G,\,\,h\in H\}\end{eqnarray}

\begin{eqnarray}(g,\,h)(a,\,b):=(ga,\,hb)\end{eqnarray}