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$  gibt mit  ${}\sigma (x)=y$.