Reguläre Untergruppe einer Permutationsgruppe

Eine reguläre Untergruppe einer Permutationsgruppe ist in der Gruppentheorie eine Untergruppe einer Permutationsgruppe, die die Eigenschaft besitzt, dass sich zwei beliebige Elemente der Trägermenge der Permutationsgruppe auf eindeutige Weise durch eine Permutation aus dieser Untergruppe ineinander überführen lassen.

Ein klassisches Problem der Theorie endlicher Gruppen ist die Bestimmung aller (endlichen) primitiven Permutationsgruppen, die eine reguläre Untergruppe besitzen. Liebeck-Praeger-Saxl lösten dieses Problem für fast-einfache Gruppen.

Definition

Es sei $G$ eine auf einer Menge $\Omega$ wirkende Permutationsgruppe. Eine Untergruppe $U\subset G$ heißt regulär, wenn es zu je zwei Elementen $u,v\in \Omega$ ein eindeutiges Element $g\in U$ mit $g(u)=v$ gibt.

Beispiele

Ist $G$ die volle Permutationsgruppe über $\Omega =\{0,\ldots ,n-1\}$ mit $n>2$, so ist die Untergruppe $U=G$ nicht regulär, denn für die in Zyklenschreibweise angegebenen Permutationen $(0,1)$ und $(0,1,2)$ gilt

$(0,1)(0)=1$ und $(0,1,2)(0)=1$.

Das heißt, es gibt mehr als nur ein $g\in U$ mit $g(0)=1$.

Die Untergruppe

$U=\{(1),(0,1)\}$

ist auch nicht regulär, denn es gibt kein $g\in U$ mit $g(1)=2$.

Die von der zyklischen Permutation $(0,1,\ldots ,n-1)$ erzeugte Untergruppe $U$ ist regulär, denn zu $i,j\in \Omega$ ist

$(0,1,\ldots ,n-1)^{j-i}\in U$

das eindeutig bestimmte Element aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} , das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle j} abbildet. Das wird sofort klar, wenn man beachtet, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0,1,\ldots,n-1)^k} alle Elemente aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega = \{0,\ldots, n-1\}} zyklisch um Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} Positionen verschiebt

Literatur

• Liebeck, Martin W.; Praeger, Cheryl E.; Saxl, Jan: Regular subgroups of primitive permutation groups. Mem. Amer. Math. Soc. 203 (2010), no. 952, ISBN 978-0-8218-4654-4