Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-29T08:26:19.447Z Has data issue: false hasContentIssue false

Groups of finite Morley rank with transitive group automorphisms

Published online by Cambridge University Press:  12 March 2014

Ali Nesin*
Affiliation:
Department of Mathematics, University of California at Irvine, Irvine, California 92717

Extract

The aim of this short note is to prove the following result:

Theorem. Let G be a group of finite Morley rank with Aut G acting transitively on G/{1}. Then G is either abelian or a bad group.

Bad groups were first defined by Cherlin [Ch]: these are groups of finite Morley rank without solvable and nonnilpotent connected subgroups. They have been investigated by the author [Ne 1], Borovik [Bo], Corredor [Co], and Poizat and Borovik [Bo-Po]. They are not supposed to exist, but we are far from proving their nonexistence. This is one of the major obstacles to proving Cherlin's conjecture: infinite simple groups of finite Morley rank are algebraic groups.

If the group G of the theorem is finite, then it is well known that G ≈ ⊕Zp for some prime p: clearly all elements of G have the same order, say p, a prime. Thus G is a finite p-group, so has a nontrivial center. But Aut G acts transitively; thus G is abelian. Since it has exponent p, G ≈ ⊕Zp.

The same proof for infinite G does not work even if it has finite Morley rank, for the following reasons:

1) G may not contain an element of finite order.

2) Even if G does contain an element of finite order, i.e. if G has exponent p, we do not know if G must have a nontrivial center.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1989

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

[Bo]Borovik, A. V., Involutions in groups with dimension, preprint no. 512, Vychislitel′nyĭ Tsentr, Sibirskogo Otdeleniia Akademii Nauk SSSR, Novosibirsk, 1984. (Russian) MR 87j: 20071b.Google Scholar
[Bo-Po]Borovik, A. V. and Poizat, B., Bad groups, Sibirskiĭ Matematicheskiĭ Zhurnal (to appear, in Russian); English translation, to appear in Siberian Mathematical Journal.Google Scholar
[Ch]Cherlin, G., Groups of small Morley rank, Annals of Mathematical Logic, vol. 17 (1979), pp. 128.CrossRefGoogle Scholar
[Co]Corredor, L. J., Ph.D. thesis, Bonn (to appear).Google Scholar
[Mac]Macintyre, A., On ω 1-categorical theories of abelian groups, Fundamenta Mathematicae, vol. 70 (1971), pp. 253270.CrossRefGoogle Scholar
[Ne 1]Nesin, A., Nonsolvable groups of Morley rank 3, Journal of Algebra (to appear).Google Scholar
[Ne 2]Nesin, A., Solvable groups of finite Morley rank, Journal of Algebra (to appear).Google Scholar
[Ne 3]Nesin, A., On solvable groups of finite Morley rank, Transactions of the American Mathematical Society (to appear).Google Scholar
[Zi 1]Zil′pber, B. I., Groups and rings with categorical theories, Fundamenta Mathematicae, vol. 95 (1977), pp. 173188. (Russian)Google Scholar
[Zi 2]Zil′pber, B. I., Groups with categorical theories, Fourth all-union symposium on group theory, abstracts of reports, Novosibirskiĭ Gosudarstvennyĭ Universitet, Novosibirsk, 1973. (Russian)Google Scholar