mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, the Alperin–Brauer–Gorenstein theorem characterizes the

finite simple group In mathematics, the classification of finite simple groups states that every finite simple group is cyclic, or alternating, or in one of 16 families of groups of Lie type, or one of 26 sporadic groups. The list below gives all finite simple g ...

s with quasidihedral or wreathedA

2-group In mathematics, particularly category theory, a is a groupoid with a way to multiply objects and morphisms, making it resemble a group. They are part of a larger hierarchy of . They were introduced by Hoàng Xuân Sính in the late 1960s unde ...

is wreathed if it is a nonabelian

semidirect product In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol . There are two closely related concepts of semidirect product: * an ''inner'' sem ...

of a

maximal subgroup In mathematics, the term maximal subgroup is used to mean slightly different things in different areas of algebra. In group theory, a maximal subgroup ''H'' of a group ''G'' is a proper subgroup, such that no proper subgroup ''K'' contains ''H'' ...

that is a

direct product In mathematics, a direct product of objects already known can often be defined by giving a new one. That induces a structure on the Cartesian product of the underlying sets from that of the contributing objects. The categorical product is an abs ...

of two

cyclic group In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ge ...

s of the same

order Order, ORDER or Orders may refer to: * A socio-political or established or existing order, e.g. World order, Ancien Regime, Pax Britannica * Categorization, the process in which ideas and objects are recognized, differentiated, and understood ...

, that is, if it is the

wreath product In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used ...

of a cyclic 2-group with the

symmetric group In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric grou ...

on 2 points. Sylow 2-subgroups. These are

isomorphic In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between the ...

either to three-dimensional

projective special linear group In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space ''V'' on the associa ...

s or

projective special unitary group In mathematics, the projective unitary group is the quotient of the unitary group by the right multiplication of its center, , embedded as scalars. Abstractly, it is the holomorphic isometry group of complex projective space, just as the proj ...

s over a

finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field (mathematics), field that contains a finite number of Element (mathematics), elements. As with any field, a finite field is a Set (mathematics), s ...

of odd order, depending on a certain congruence, or to the Mathieu group

M_

. proved this in the course of 261 pages. The subdivision by 2-fusion is sketched there, given as an exercise in , and presented in some detail in .

Notes

References

* * * Theorems about finite groups {{Abstract-algebra-stub