Thompson factorization

Last updated

In finite group theory, a branch of mathematics, a Thompson factorization, introduced by Thompson  ( 1966 ), is an expression of some finite groups as a product of two subgroups, usually normalizers or centralizers of p-subgroups for some prime p.

Related Research Articles

<span class="mw-page-title-main">Classification of finite simple groups</span> Massive theorem assigning all but 26 finite simple groups to a few infinite families

In mathematics, the classification of finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or belongs to a broad infinite class called the groups of Lie type, or else it is one of twenty-six exceptions, called sporadic. The proof consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004.

<span class="mw-page-title-main">Sporadic group</span> Finite simple group type not classified as Lie, cyclic or alternating

In the mathematical classification of finite simple groups, there are a number of groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.

<span class="mw-page-title-main">Schur multiplier</span>

In mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group of a group G. It was introduced by Issai Schur in his work on projective representations.

<span class="mw-page-title-main">Michael Aschbacher</span> American mathematician (born 1944)

Michael George Aschbacher is an American mathematician best known for his work on finite groups. He was a leading figure in the completion of the classification of finite simple groups in the 1970s and 1980s. It later turned out that the classification was incomplete, because the case of quasithin groups had not been finished. This gap was fixed by Aschbacher and Stephen D. Smith in 2004, in a pair of books comprising about 1300 pages. Aschbacher is currently the Shaler Arthur Hanisch Professor of Mathematics at the California Institute of Technology.

In mathematics, the Feit–Thompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by Walter Feit and John Griggs Thompson.

<span class="mw-page-title-main">Lattice of subgroups</span>

In mathematics, the lattice of subgroups of a group is the lattice whose elements are the subgroups of , with the partial ordering being set inclusion. In this lattice, the join of two subgroups is the subgroup generated by their union, and the meet of two subgroups is their intersection.

Janko group J<sub>4</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ4 is a sporadic simple group of order

In mathematics, a quasithin group is a finite simple group that resembles a group of Lie type of rank at most 2 over a field of characteristic 2. The classification of quasithin groups is a crucial part of the classification of finite simple groups.

In finite group theory, an area of abstract algebra, a strongly embedded subgroup of a finite group G is a proper subgroup H of even order such that H ∩ Hg has odd order whenever g is not in H. The Bender–Suzuki theorem, proved by Bender (1971) extending work of Suzuki (1962, 1964), classifies the groups G with a strongly embedded subgroup H. It states that either

  1. G has cyclic or generalized quaternion Sylow 2-subgroups and H contains the centralizer of an involution
  2. or G/O(G) has a normal subgroup of odd index isomorphic to one of the simple groups PSL2(q), Sz(q) or PSU3(q) where q≥4 is a power of 2 and H is O(G)NG(S) for some Sylow 2-subgroup S.

In mathematical group theory, a C-group is a group such that the centralizer of any involution has a normal Sylow 2-subgroup. They include as special cases CIT-groups where the centralizer of any involution is a 2-group, and TI-groups where any Sylow 2-subgroups have trivial intersection.

In group theory, the trichotomy theorem divides the finite simple groups of characteristic 2 type and rank at least 3 into three classes. It was proved by Aschbacher for rank 3 and by Gorenstein & Lyons (1983) for rank at least 4. The three classes are groups of GF(2) type, groups of "standard type" for some odd prime, and groups of uniqueness type, where Aschbacher proved that there are no simple groups.

In the mathematical classification of finite simple groups, a thin group is a finite group such that for every odd prime number p, the Sylow p-subgroups of the 2-local subgroups are cyclic. Informally, these are the groups that resemble rank 1 groups of Lie type over a finite field of characteristic 2.

In mathematical finite group theory, the Thompson order formula, introduced by John Griggs Thompson, gives a formula for the order of a finite group in terms of the centralizers of involutions, extending the results of Brauer & Fowler (1955).

In finite group theory, a branch of mathematics, a block, sometimes called Aschbacher block, is a subgroup giving an obstruction to Thompson factorization and pushing up. Blocks were introduced by Michael Aschbacher.

In mathematical finite group theory, the uniqueness case is one of the three possibilities for groups of characteristic 2 type given by the trichotomy theorem.

In mathematical finite group theory, the classical involution theorem of Aschbacher classifies simple groups with a classical involution and satisfying some other conditions, showing that they are mostly groups of Lie type over a field of odd characteristic. Berkman (2001) extended the classical involution theorem to groups of finite Morley rank.

Fischer group Fi<sub>24</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Fischer groupFi24 or F24 or F3+ is a sporadic simple group of order

Fischer group Fi<sub>23</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Fischer groupFi23 is a sporadic simple group of order

Fischer group Fi<sub>22</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Fischer groupFi22 is a sporadic simple group of order

<span class="mw-page-title-main">Jan Saxl</span> Czech-British mathematician (1948–2020)

Jan Saxl was a Czech-British mathematician, and a professor at the University of Cambridge. He was known for his work in finite group theory, particularly on consequences of the classification of finite simple groups.

References