N-group (finite group theory)

Last updated July 20, 2022

In mathematical finite group theory, an N-group is a group all of whose local subgroups (that is, the normalizers of nontrivial p-subgroups) are solvable groups. The non-solvable ones were classified by Thompson during his work on finding all the minimal finite simple groups.

Simple N-groups

The simple N-groups were classified by Thompson ( 1968 , 1970 , 1971 , 1973 , 1974 , 1974b ) in a series of 6 papers totaling about 400 pages.

The simple N-groups consist of the special linear groups PSL₂(q), PSL₃(3), the Suzuki groups Sz(2²ⁿ⁺¹), the unitary group U₃(3), the alternating group A₇, the Mathieu group M₁₁, and the Tits group. (The Tits group was overlooked in Thomson's original announcement in 1968, but Hearn pointed out that it was also a simple N-group.) More generally Thompson showed that any non-solvable N-group is a subgroup of Aut(G) containing G for some simple N-group G.

Gorenstein & Lyons (1976) generalized Thompson's theorem to the case of groups where all 2-local subgroups are solvable. The only extra simple groups that appear are the unitary groups U₃(q).

Proof

Gorenstein (1980 , 16.5) gives a summary of Thompson's classification of N-groups.

The primes dividing the order of the group are divided into four classes π₁, π₂, π₃, π₄ as follows

π₁ is the set of primes p such that a Sylow p-subgroup is nontrivial and cyclic.
π₂ is the set of primes p such that a Sylow p-subgroup P is non-cyclic but SCN₃(P) is empty
π₃ is the set of primes p such that a Sylow p-subgroup P has SCN₃(P) nonempty and normalizes a nontrivial abelian subgroup of order prime to p.
π₄ is the set of primes p such that a Sylow p-subgroup P has SCN₃(P) nonempty but does not normalize a nontrivial abelian subgroup of order prime to p.

The proof is subdivided into several cases depending on which of these four classes the prime 2 belongs to, and also on an integer e, which is the largest integer for which there is an elementary abelian subgroup of rank e normalized by a nontrivial 2-subgroup intersecting it trivially.

Thompson (1968) Gives a general introduction, stating the main theorem and proving many preliminary lemmas.
Thompson (1970) characterizes the groups E₂(3) and S₄(3) (in Thompson's notation; these are the exceptional group G₂(3) and the symplectic group Sp₄(3)) which are not N-groups but whose characterizations are needed in the proof of the main theorem.
Thompson (1971) covers the case where 2∉π₄. Theorem 11.2 shows that if 2∈π₂ then the group is PSL₂(q), M₁₁, A₇, U₃(3), or PSL₃(3). The possibility that 2∈π₃ is ruled out by showing that any such group must be a C-group and using Suzuki's classification of C-groups to check that none of the groups found by Suzuki satisfy this condition.
Thompson (1973) and Thompson (1974) cover the cases when 2∈π₄ and e≥3, or e=2. He shows that either G is a C-group so a Suzuki group, or satisfies his characterization of the groups E₂(3) and S₄(3) in his second paper, which are not N-groups.
Thompson (1974) covers the case when 2∈π₄ and e=1, where the only possibilities are that G is a C-group or the Tits group.

Consequences

A minimal simple group is a non-cyclic simple group all of whose proper subgroups are solvable. The complete list of minimal finite simple groups is given as follows Thompson (1968 , corollary 1)

PSL₂(2^p), p a prime.
PSL₂(3^p), p an odd prime.
PSL₂(p), p > 3 a prime congruent to 2 or 3 mod 5
Sz(2^p), p an odd prime.
PSL₃(3)

In other words a non-cyclic finite simple group must have a subquotient isomorphic to one of these groups.

Related Research Articles

In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or else it is one of twenty-six or twenty-seven 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.

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem.

In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups.

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.

In mathematics, specifically group theory, a Hall subgroup of a finite group G is a subgroup whose order is coprime to its index. They were introduced by the group theorist Philip Hall (1928).

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, in the area of algebra known as group theory, a more than fifty-year effort was made to answer a conjecture of : are all groups of odd order solvable? Progress was made by showing that CA-groups, groups in which the centralizer of a non-identity element is abelian, of odd order are solvable. Further progress was made showing that CN-groups, groups in which the centralizer of a non-identity element is nilpotent, of odd order are solvable. The complete solution was given in, but further work on CN-groups was done in, giving more detailed information about the structure of these groups. For instance, a non-solvable CN-group G is such that its largest solvable normal subgroup O_∞(G) is a 2-group, and the quotient is a group of even order.

In mathematics, in the realm of group theory, the term complemented group is used in two distinct, but similar ways.

In mathematical group theory, 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 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 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 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 A₇, or a subgroup of PΓL₂(q) containing PSL₂(q) for q an odd prime power. Note that A₅ ≈ PSL₂(4) ≈ PSL₂(5) and A₆ ≈ PSL₂(9).

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, 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.

In mathematical finite group theory, Thompson's original uniqueness theorem states that in a minimal simple finite group of odd order there is a unique maximal subgroup containing a given elementary abelian subgroup of rank 3. Bender (1970) gave a shorter proof of the uniqueness theorem.

In mathematical finite group theory, the Dade isometry is an isometry from class function on a subgroup H with support on a subset K of H to class functions on a group G. It was introduced by Dade (1964) as a generalization and simplification of an isometry used by Feit & Thompson (1963) in their proof of the odd order theorem, and was used by Peterfalvi (2000) in his revision of the character theory of the odd order theorem.

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 finite group theory, the Thompson transitivity theorem gives conditions under which the centralizer of an abelian subgroup A acts transitively on certain subgroups normalized by A. It originated in the proof of the odd order theorem by Feit and Thompson (1963), where it was used to prove the Thompson uniqueness theorem.

In mathematics, a 3-step group is a special sort of group of Fitting length at most 3, that is used in the classification of CN groups and in the Feit–Thompson theorem. The definition of a 3-step group in these two cases is slightly different.

In mathematical representation theory, coherence is a property of sets of characters that allows one to extend an isometry from the degree-zero subspace of a space of characters to the whole space. The general notion of coherence was developed by Feit, as a generalization of the proof by Frobenius of the existence of a Frobenius kernel of a Frobenius group and of the work of Brauer and Suzuki on exceptional characters. Feit & Thompson developed coherence further in the proof of the Feit–Thompson theorem that all groups of odd order are solvable.

References

Gorenstein, D.; Lyons, Richard (1976), "Nonsolvable finite groups with solvable 2-local subgroups", Journal of Algebra , 38 (2): 453–522, doi: 10.1016/0021-8693(76)90233-7 , ISSN 0021-8693, MR 0407128
Gorenstein, D. (1980), Finite Groups, New York: Chelsea, ISBN 978-0-8284-0301-6, MR 0569209
Thompson, John G. (1968), "Nonsolvable finite groups all of whose local subgroups are solvable", Bulletin of the American Mathematical Society , 74 (3): 383–437, doi: 10.1090/S0002-9904-1968-11953-6 , ISSN 0002-9904, MR 0230809
Thompson, John G. (1970), "Nonsolvable finite groups all of whose local subgroups are solvable. II", Pacific Journal of Mathematics , 33 (2): 451–536, doi: 10.2140/pjm.1970.33.451 , ISSN 0030-8730, MR 0276325
Thompson, John G. (1971), "Nonsolvable finite groups all of whose local subgroups are solvable. III", Pacific Journal of Mathematics , 39 (2): 483–534, doi: 10.2140/pjm.1971.39.483 , ISSN 0030-8730, MR 0313378
Thompson, John G. (1973), "Nonsolvable finite groups all of whose local subgroups are solvable. IV", Pacific Journal of Mathematics , 48 (2): 511–592, doi: 10.2140/pjm.1973.48.511 , ISSN 0030-8730, MR 0369512
Thompson, John G. (1974), "Nonsolvable finite groups all of whose local subgroups are solvable. V", Pacific Journal of Mathematics , 50: 215–297, doi: 10.2140/pjm.1974.50.215 , ISSN 0030-8730, MR 0369512
Thompson, John G. (1974b), "Nonsolvable finite groups all of whose local subgroups are solvable. VI", Pacific Journal of Mathematics , 51 (2): 573–630, doi: 10.2140/pjm.1974.51.573 , ISSN 0030-8730, MR 0369512

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.