Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-25T18:20:30.809Z Has data issue: false hasContentIssue false

On bad groups, bad fields, and pseudoplanes

Published online by Cambridge University Press:  12 March 2014

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

Extract

Cherlin introduced the concept of bad groups (of finite Morley rank) in [Ch1]. The existence of such groups is an open question. If they exist, they will contradict the Cherlin-Zil'ber conjecture that states that an infinite simple group of finite Morley rank is a Chevalley group over an algebraically closed field. In this paper, we prove that bad groups of finite Morley rank 3 act on a natural geometry Γ (namely on a special pseudoplane; see Corollary 20) sharply flag-transitively.We show that Γ is not very far from being a projective plane and when it is so rk(Γ) = 2 and Γ is not Desarguesian (Theorem 2). Baldwin [Ba] recently discovered non-Desarguesian projective planes of Morley rank 2. This discovery, together with this paper, makes the existence of bad groups (also of bad fields) more plausible. A bad field is a pair (K, A) of finite Morley rank, where K is an algebraically closed field, A <K* and A is infinite. There existence is also unknown.

In this paper, we define the concept of a sharp-field as a pair (K, A), where K is a field, A < K*and

1. K = AA,

2. If a + b − 1 ∈ A, aA, bA, then either a = 1 or b = 1.

If K is finite this is equivalent to 1 and

2.′ ∣K∣ = ∣A2A∣ + 1.

Finite sharp-fields are special cases of difference sets [De]

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1991

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

[Ba] Baldwin, J. T., An almost strongly minimal non-Desarguesian projective plane (to appear).Google Scholar
[BL] Berline, C. and Lascar, D., Superstable groups, Annals of Pure and Applied Logic, vol. 30 (1986), pp. 143.CrossRefGoogle Scholar
[Bo] Borovik, A., Involutions in groups with dimension, Preprint No. 512, Vychislitel'nyǐ Tsentr, Sibirskoe Otdelenie Akademii Nauk SSSR, Novosibirsk, 1984. (Russian) (Reviewed in Mathematical Reviews 87j:20071b.)Google Scholar
[BP] Borovik, A. and Poizat, B., Bad groups (to appear). (Russian)Google Scholar
[Ch1] Cherlin, G., Groups of small Morley rank, Annals of Mathematical Logic, vol. 17 (1979), pp. 128.CrossRefGoogle Scholar
[Ch2] Cherlin, G., Superstable division rings, Logic colloquium '77, North-Holland, Amsterdam, 1978, pp. 99111.CrossRefGoogle Scholar
[CGNV] Cherlin, G., Grundhöfer, T., Nesin, A., and Vöklein, H., Sharply transitive linear groups over algebraically closed fields, Proceedings of the American Mathematical Society, vol. 111 (1991), pp. 541550.CrossRefGoogle Scholar
[Co1] Corredor, L. J., Bad groups of finite Morley rank, this Journal, vol. 54 (1989), pp. 768773.Google Scholar
[Co2] Corredor, L. J., Pseudo-bad groups, preprint.Google Scholar
[De] Dembowski, P., Finite geometries, Springer-Verlag, Berlin, 1968.CrossRefGoogle Scholar
[FH] Feit, W. and Higman, D. G., The non-existence of certain generalized polygons, Journal of Algebra, vol. 1 (1964), pp. 114131.CrossRefGoogle Scholar
[Fi] Fink, J. B., A note on sharply flag-transitive projective planes, Finite geometries (Johnson, N. L. et al., editors), Lecture Notes in Pure and Applied Mathematics, vol. 82, Marcel Dekker, New York, 1983, pp. 151164.Google Scholar
[Ha] Hall, M., The theory of groups, Macmillan, New York, 1959.Google Scholar
[HM] Higman, D. G. and McLaughlin, J. E., Geometric ABA-groups, Illinois Journal of Mathematics, vol. 5 (1961), pp. 382397.CrossRefGoogle Scholar
[HP] Hughes, D. and Piper, F., Projective planes, Springer-Verlag, Berlin, 1973.Google Scholar
[Hr] Hrushovski, E., Personal communication, 1989.Google Scholar
[Iv] Ivanov, S. V., Personal communication, 1989.Google Scholar
[Mc] Macintyre, A., On ω1-categorical theories of fields, Fundament a Mathematicae, vol. 71 (1971), pp. 125.CrossRefGoogle Scholar
[Ne1] Nesin, A., Solvable groups of finite Morley rank, Journal of Algebra, vol. 121 (1989), pp. 2639.CrossRefGoogle Scholar
[Ne2] Nesin, A., On solvable groups of finite Morley rank, Transactions of the American Mathematical Society, vol. 321 (1990), pp. 659690.CrossRefGoogle Scholar
[Ne3] Nesin, A., Non-solvable groups of Morley rank 3, Journal of Algebra, vol. 124 (1989), pp. 199218.CrossRefGoogle Scholar
[Ne4] Nesin, A., Zilber's results, Preprint, 1986.Google Scholar
[Pa] Passman, D., Permutation groups, Mathematics Lecture Series, Benjamin, New York, 1968.Google Scholar
[Po] Poizat, B., Groupes stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1987.Google Scholar
[Ti] Tits, J., Buildings of spherical type and finite BN-pairs, Lecture Notes in Mathematics, vol. 386, Springer-Verlag, Berlin, 1974.Google Scholar
[Zi1] Zil'ber, B. I., Groups with categorical theories, Fourth all-union symposium on group theory, abstracts of reports, Novosibirskiǐ Gosudarstvennyǐ Universitet, Novosibirsk, 1973. (Russian)Google Scholar
[Zi2] Zil'ber, B. I., Groups and rings with categorical theories, Fundamenta Mathematicae, vol. 95 (1977), pp. 173188. (Russian)Google Scholar