In finite group theory, a branch of mathematics, the Thompson subgroup of a finite p-group P refers to one of several characteristic subgroups of P. John G.Thompson ( 1964 ) originally defined to be the subgroup generated by the abelian subgroups of P of maximal rank. More often the Thompson subgroup is defined to be the subgroup generated by the abelian subgroups of P of maximal order or the subgroup generated by the elementary abelian subgroups of P of maximal rank. In general these three subgroups can be different, though they are all called the Thompson subgroup and denoted by .
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after Niels Henrik Abel.
In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.
In group theory, the Tits group2F4(2)′, named for Jacques Tits (French:[tits]), is a finite simple group of order
In the area of modern algebra known as group theory, the Thompson groupTh is a sporadic simple group of order
In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.
In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.
George Isaac Glauberman is a mathematician at the University of Chicago who works on finite simple groups. He proved the ZJ theorem and the Z* theorem.
In mathematics, George Glauberman's Z* theorem is stated as follows:
Z* theorem: Let G be a finite group, with O(G) being its maximal normal subgroup of odd order. If T is a Sylow 2-subgroup of G containing an involution not conjugate in G to any other element of T, then the involution lies in Z*(G), which is the inverse image in G of the center of G/O(G).
In mathematics, George Glauberman's ZJ theorem states that if a finite group G is p-constrained and p-stable and has a normal p-subgroup for some odd prime p, then Op′(G)Z(J(S)) is a normal subgroup of G, for any Sylow p-subgroupS.
In mathematics, especially in the area of algebra known as group theory, the term Z-group refers to a number of distinct types of groups:
In mathematics, a p-constrained group is a finite group resembling the centralizer of an element of prime order p in a group of Lie type over a finite field of characteristic p. They were introduced by Gorenstein and Walter in order to extend some of Thompson's results about odd groups to groups with dihedral Sylow 2-subgroups.
In group theory, a branch of mathematics, a normal p-complement of a finite group for a prime p is a normal subgroup of order coprime to p and index a power of p. In other words the group is a semidirect product of the normal p-complement and any Sylow p-subgroup. A group is called p-nilpotent if it has a normal p-complement.
In abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in and is the "first major application of the transfer" according to. The focal subgroup theorem relates the ideas of transfer and fusion such as described by Otto Grün in. Various applications of these ideas include local criteria for p-nilpotence and various non-simplicity criteria focussing on showing that a finite group has a normal subgroup of index p.
In mathematics, in the area of abstract algebra, a signalizer functor is a mapping from a potential finite subgroup to the centralizers of the nontrivial elements of an abelian group. The signalizer functor theorem provides the conditions under which the source of such a functor is in fact a subgroup.
In mathematical finite group theory, an N-group is a group all of whose local subgroups are solvable groups. The non-solvable ones were classified by Thompson during his work on finding all the minimal finite simple groups.
In mathematics, the Gorenstein–Walter theorem, proved by Gorenstein and Walter (1965a, 1965b, 1965c), states that if a finite group G has a dihedral Sylow 2-subgroup, and O(G) is the maximal normal subgroup of odd order, then G/O(G) is isomorphic to a 2-group, or the alternating group A7, or a subgroup of PΓL2(q) containing PSL2(q) for q an odd prime power. Note that A5 ≈ PSL2(4) ≈ PSL2(5) and A6 ≈ PSL2(9).
In mathematics, the Walter theorem, proved by John H. Walter, describes the finite groups whose Sylow 2-subgroup is abelian. Bender (1970) used Bender's method to give a simpler proof.
In mathematical finite group theory, the Dempwolff group is a finite group of order 319979520 = 215·32·5·7·31, that is the unique nonsplit extension of by its natural module of order . The uniqueness of such a nonsplit extension was shown by Dempwolff (1972), and the existence by Thompson (1976), who showed using some computer calculations of Smith (1976) that the Dempwolff group is contained in the compact Lie group as the subgroup fixing a certain lattice in the Lie algebra of , and is also contained in the Thompson sporadic group (the full automorphism group of this lattice) as a maximal subgroup.
In finite group theory, a p-stable group for an odd prime p is a finite group satisfying a technical condition introduced by Gorenstein and Walter in order to extend Thompson's uniqueness results in the odd order theorem to groups with dihedral Sylow 2-subgroups.
In mathematical group theory, the Thompson replacement theorem is a theorem about the existence of certain abelian subgroups of a p-group. The Glauberman replacement theorem is a generalization of it introduced by Glauberman.