Grupul lui Mathieu

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În matematică , grupurile Mathieu sunt 5 grupuri finite simple descoperite în 1860 și 1873 de matematicianul francez Émile Mathieu . Aceste grupuri sunt notate cu M n , unde n pot lua valorile 11, 12, 22, 23 și 24. În general, acestea sunt considerate ca grupuri de permutări de n puncte. Au fost primele grupuri sporadice identificate.

Mai multe grupuri tranzitive

Grupurile Mathieu sunt exemple de grupuri tranzitive multiple . Pentru un număr întreg pozitiv k , un grup de permutații G care acționează asupra n puncte se spune că este k-tranzitiv dacă pentru fiecare pereche de seturi de k puncte { a 1 , ... a k } și { b 1 , ... b k } (cu toate a i reciproc distincte și toate b i reciproc distincte), în grupul G există un element g care pentru fiecare i = 1, ..., k conduce la i în b i .

Grupurile M 24 și M 12 sunt 5-tranzitive, grupurile M 23 și M 11 sunt 4-tranzitive și M 22 este 3-tranzitive.

Din clasificarea grupurilor finite simple rezultă că singurele k -transitive pentru k mai mari sau egale cu 4 sunt grupurile simetrice și grupurile alternante (având grade k și respectiv k -2) și grupurile Mathieu M 24 , M 23 , M 12 și M 11 .

Comenzi

grup Ordin Factorizarea comenzii
M 11 7 920 2 4 .3 2 .5.11
M 12 95 040 2 6 .3 3 .5.11
M 22 443 520 2 7 .3 2 .5.7.11
M 23 10 200 960 2 7 .3 2 .5.7.11.23
M 24 244 823 040 2 10 .3 3 .5.7.11.23

Două realizări ale grupurilor lui Mathieu

Grup de automorfisme ale sistemelor Steiner

Dacă nu există o relație de echivalență , există un singur sistem Steiner S (5,8,24). Grupul M 24 este grupul de automorfisme ale acestui sistem; cu alte cuvinte, este setul de permutări care conduc fiecare bloc către un alt bloc. M 23 și M 22 sunt definite ca subgrupurile lui M 24 care sunt stabilizator cu un singur punct și respectiv stabilizator cu două puncte.

În mod similar, dacă nu există o echivalență, există un singur sistem Steiner S (5,6,12) și grupul M 12 este grupul său de automorfisme; M 11 este subgrupul său de stabilizare cu un singur punct.

Grup de automorfisme ale codului binar Golay

Grupul M 24 poate fi realizat și ca un grup al automorfismelor codului binar Golay W. Amintiți-vă că acest cod este un set de 1024 secvențe binare (cuvinte cod) plasate în spațiul V = F 2 24 din secvențele de 24 de biți. M 24 poate fi văzut ca grupul de permutații ale coordonatelor lui V care transformă W în sine. De asemenea, putem considera M 24 ca fiind intersecția lui S 24 cu stabilizatorul Stab ( W ) în grupul de automorfisme Aut ( V ).

Subgrupurile simple M 23 , M 22 , M 12 și M 11 pot fi definite, respectiv, ca stabilizatori în S 24 a unei singure coordonate, a unei perechi ordonate de coordonate, a unui subset de 12 elemente ale setului de coordonate corespunzător unei cuvânt de cod, al unui cuvânt de cod cu 12 elemente împreună cu o singură coordonată.

Bibliografie

  • John H. Conway , R. T Curtis, SP Norton, RA Parker, RA Wilson (1985): Atlasul grupurilor finite. Subgrupuri maxime și caractere obișnuite pentru grupuri simple. Cu asistență de calcul de la JG Thackray. Eynsham: Oxford University Press. ISBN 0-19-853199-0

Alte proiecte

Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică