A characterization of \(M_{22}\) (Q1355661): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:03, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of \(M_{22}\) |
scientific article |
Statements
A characterization of \(M_{22}\) (English)
0 references
9 March 1998
0 references
This paper, using modern techniques, presents a simplified local characterization of the Mathieu simple group \(M_{22}\). The main result is the following: Let \(G\) be a finite group with an involution \(z\) such that \(H=C_G(z)\) contains a normal extraspecial group \(Q\) of order 32 such that \(Z(Q)=\langle z\rangle\), \(H/Q\cong Z_2\times S_3\), \(C_H(Q)\leq Q\), \(z^G\cap Q\neq\{z\}\) and \(C_Q(X)=\langle z\rangle\) for any \(X\in\text{Syl}_3(H)\). Choosing \(g\in G-H\) such that \(z^g\in Q\), it is known that \(Q\cap Q^g\) is elementary abelian of order 4 or 8. If also \(Q\cap Q^g\) is of order 4, then say that \(G\) is of type \(M_{22}\). Main Theorem. If \(G\) is of type \(M_{22}\) then either \(G\cong M_{22}\) or \(G\) is isomorphic to the split extension of \(E_{16}\) by \(A_6\).
0 references
Mathieu group \(M_{22}\)
0 references
local characterization
0 references
finite groups
0 references
involutions
0 references
normal extraspecial subgroups
0 references