On the Schur-zassenhaus theorem for groups of finite Morley rank

Journal of Symbolic Logic 57 (4):1469-1477 (1992)
  Copy   BIBTEX

Abstract

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, Theorem 8.10]. The original statement stipulated one ofNorG/Nto be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces eitherNorG/Nto be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a groupGof finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a groupHis called aπ-group, where π is a set of prime numbers, if elements ofHhave finite orders whose prime divisors are from π. Maximal π-subgroups of a groupGare called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup ofGis in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider thep-Sylow for any primep, or even the torsion part of ℂ*. LetHbe this subgroup.Hhas a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersectsHtrivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection withHcan be extended to a complement ofH. Since ℂ* is abelian, these complements cannot be conjugated to each other.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Schur-zassenhaus theorem revisited.Alexandre V. Borovik & Ali Nesin - 1994 - Journal of Symbolic Logic 59 (1):283-291.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Bad groups of finite Morley rank.Luis Jaime Corredor - 1989 - Journal of Symbolic Logic 54 (3):768-773.
The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Groups of finite Morley rank with transitive group automorphisms.Ali Nesin - 1989 - Journal of Symbolic Logic 54 (3):1080-1082.
A generation theorem for groups of finite Morley rank.Jeffrey Burdges & Gregory Cherlin - 2008 - Journal of Mathematical Logic 8 (2):163-195.
Generalized fitting subgroup of a group of finite Morley rank.Ali Nesin - 1991 - Journal of Symbolic Logic 56 (4):1391-1399.

Analytics

Added to PP
2009-01-28

Downloads
31 (#445,254)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alexandre Borovik
University of Manchester

Citations of this work

No citations found.

Add more citations

References found in this work

Groups of small Morley rank.Gregory Cherlin - 1979 - Annals of Mathematical Logic 17 (1):1.

Add more references