Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-09T07:33:11.214Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  12 March 2014

Alexandre V. Borovik
Affiliation:
Institute of Information Systems and Applied Mathematics, Siberian Branch of The Academy of Sciences of the USSR Omsk, USSR
Ali Nesin
Affiliation:
Department of Mathematics, University of California at Irvine, Irvine, California 92717

Extract

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:

Fact 1.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 of N or G/N to be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces either N or G/N to 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 group G of 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 group H is called a π-group, where π is a set of prime numbers, if elements of H have finite orders whose prime divisors are from π. Maximal π-subgroups of a group G are called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup of G is 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 the p-Sylow for any prime p, or even the torsion part of ℂ*. Let H be this subgroup. H has a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersects H trivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection with H can be extended to a complement of H. Since ℂ* is abelian, these complements cannot be conjugated to each other.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BCM]Baur, W., Cherlin, G., and Macintyre, A., Totally categorical groups and rings, Journal of Algebra, vol. 57 (1979), pp. 407440.CrossRefGoogle Scholar
[BS]Baldwin, J. T. and Saxl, J., Logical stability in group theory, Australian Mathematical Society. Journal. Series A, vol. 21 (1976), pp. 267276.CrossRefGoogle Scholar
[B]Borovik, A. V., Theory of finite groups and uncountably categorical groups, Akad. Nauk SSSR. Sibirsk. Otdel. Vychisl. Tsentr, no. 511, Novosibirsk, 1982. (Russian)Google Scholar
[BN]Borovik, A. V. and Nesin, A., Groups of finite Morley rank, Oxford University Press, London and New York, in preparation.CrossRefGoogle Scholar
[BP]Borovik, A. V. and Poizat, B. P., Tores at p-groups, this Journal, vol. 55 (1990), pp. 478491.Google Scholar
[Bro]Brown, K., Cohomology of groups, Springer-Verlag, Berlin and New York, 1982.CrossRefGoogle Scholar
[Bry]Bryant, R. M., Groups with minimal condition on centralizers, Journal of Algebra, vol. 60 (1979), pp. 371383.CrossRefGoogle Scholar
[C]Cherlin, G., Groups of small Morley rank, Annals of Mathematical Logic, vol. 17 (1979), pp. 128.CrossRefGoogle Scholar
[CCN]Cherlin, G., Corredor, L.-J., and Nesin, A., A Hall theorem for ω-stable groups, submitted.Google Scholar
[FT]Feit, W. and Thompson, J. G., Solvability of groups of odd order, Pacific Journal of Mathematics, vol. 13 (1963), pp. 7751029.CrossRefGoogle Scholar
[M]Macintyre, A., On ω1-categorical theories of abelian groups, Fundamenta Mathematicae, vol. 70 (1971), pp. 253270.CrossRefGoogle Scholar
[N1]Nesin, A., Solvable groups of finite Morley rank, Journal of Algebra, vol. 121 (1989), pp. 2639.CrossRefGoogle Scholar
[N2]Nesin, A., On solvable groups of finite Morley rank, Transactions of the American Mathematical Society, vol. 321 (1990), pp. 659690.CrossRefGoogle Scholar
[N3]Nesin, A., Poly-separated and ω-stable nilpotent groups, this Journal, vol. 56 (1991), pp. 694699.Google Scholar
[P]Poizat, B., Groupes stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, France, 1987. (French)Google Scholar
[S]Suzuki, M., Group theory I, Lecture Notes in Mathematics, vol. 247, Springer-Verlag, Berlin and New York, 1982.Google Scholar
[Zl]Zil'ber, B. I., Groups with categorical theories, Abstracts of Papers Presented at the Fourth All-Union Symposium on Group Theory, Math. Inst. Sibirsk. Otdel. Akad. Nauk SSSR, 1973, pp. 6368. (Russian)Google Scholar
[Z2]Nesin, A., Groups and rings whose theory is categorical, Fundamenta Mathematicae, vol. 55 (1977), pp. 173188.Google Scholar