Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen (Q1840268): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: Wikidata QID (P12): Q112110390, #quickstatements; #temporary_batch_1711439739529
Property / Wikidata QID
 
Property / Wikidata QID: Q112110390 / rank
 
Normal rank

Revision as of 09:50, 26 March 2024

scientific article
In more languages
Configure
Language Label Description Also known as
English
Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen
scientific article

    Statements

    Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen (English)
    Es werden alle dreifach transitiven Permutationsgruppen vom Grade \(n+1\) konstruiert, die die kleinstmögliche Ordnung \((n+1) \cdot n \cdot (n-1)\) haben. Die Gesamtheit aller Kollineationen \(z' = \frac{ax+b}{cz+d}\) mit Koeffizienten aus einem Galoisfeld \(K\) mit \(n\) Elementen ergibt eine Gruppe von Permutationen der \(n\) Körperelemente und des Symbols \(\infty\), die die genannten Eigenschaften besitzt. Die Zahl \(n\) ist hier eine Primzahlpotenz. Dazu kommt nun noch eine weitere Klasse von derartigen Permutationsgruppen \(M_n\), die definiert ist, wenn \(n\) das Quadrat einer ungeraden Primzahlpotenz ist. Im Spezialfall \(n = 9\) ist \(M_n\) die von Mathieu gefundene dreifach transitive Permutationsgruppe. Beim Beweis und bei der Konstruktion von \(M_n\) spielt der Begriff des Fastkörpers eine Rolle. Darunter wird eine nichtleere Menge \(K\) von Elementen mit folgenden Eigenschaften verstanden: 1. In \(K\) ist eine assoziative und umkehrbare Addition definiert. 2. Für die Elemente \(a\) einer nichtleeren Teilmenge \(M\) von \(K\) ist ein rechtsseitiges Produkt \(ax\) mit den Elementen \(x\) von \(K\) definiert. Dabei soll \(M\) mit \(a\) und \(b\) auch \(ab\) enthalten, und es soll \(a(bx) = (ab)x\) gelten. Aus \(ax = 0\) soll \(x = 0\) folgen; aus \(ax = bx\) und \(x\ne 0\) soll \(a = b\) folgen. 3. Es ist \(a(xy)=ax+ay\). Die Gesamtheit der Transformationen \(\pi(z) = az + b\) \((a\) in \(M\), \(b\) in \(K)\) liefert eine Gruppe von Permutationen der Elemente von \(K\). Alle transitiven Permutationsgruppen, bei der jede Permutation eindeutig durch das Bild von zwei Permutationssymbolen festgelegt ist, können in dieser Weise erhalten werden. Durch Hinzunahme einer weiteren Permutation, die eine Reihe von Bedingungen zu erfüllen hat, kann man dann die zweifach transitiven Permutationsgruppen konstruieren, in denen jede Permutation eindeutig durch das Bild von drei Permutationssymbolen bestimmt ist.
    triply transitive permutation groups

    Identifiers