Permutationsgruppe/Untergruppe/Transitiv/Definition

Transitive Untergruppe einer Permutationsgruppe

Es sei ${}M$ eine Menge und sei ${}G=S(M)$ die zugehörige Permutationsgruppe. Eine Untergruppe ${}H\subseteq G$ heißt transitiv, wenn es zu je zwei Elementen ${}x,y\in M$ ein ${}\sigma \in H$ mit ${}\sigma (x)=y$ gibt.