Simple groups of Morley rank 3 are algebraic

Frécon, Olivier

doi:10.1090/jams/892

Simple groups of Morley rank are algebraic

Author: Olivier Frécon
Journal: J. Amer. Math. Soc. 31 (2018), 643-659
MSC (2010): Primary 20F11; Secondary 03C45, 20A15
DOI: https://doi.org/10.1090/jams/892
Published electronically: November 7, 2017
MathSciNet review: 3787404
Full-text PDF
View in AMS MathViewer New

Abstract | References | Similar Articles | Additional Information

Abstract: There exists no bad group (in the sense of Gregory Cherlin); namely, any simple group of Morley rank 3 is isomorphic to ${\rm PSL}_2(K)$ for an algebraically closed field .

[1] Tuna Altınel, Alexandre V. Borovik, and Gregory Cherlin, Simple groups of finite Morley rank, Mathematical Surveys and Monographs, vol. 145, American Mathematical Society, Providence, RI, 2008. MR 2400564
[2] John T. Baldwin, An almost strongly minimal non-Desarguesian projective plane, Trans. Amer. Math. Soc. 342 (1994), no. 2, 695–711. MR 1165085, https://doi.org/10.1090/S0002-9947-1994-1165085-8
[3] Franck Benoist, Elisabeth Bouscaren, and Anand Pillay, On function field Mordell-Lang and Manin-Mumford, J. Math. Log. 16 (2016), no. 1, 1650001, 24. MR 3518778, https://doi.org/10.1142/S021906131650001X
[4] A. V. Borovik and B. P. Poizat, Simple groups of finite Morley rank without nonnilpotent connected subgroups, 1990. Preprint deposited at VINITI.
[5] Alexandre Borovik and Ali Nesin, Groups of finite Morley rank, Oxford Logic Guides, vol. 26, The Clarendon Press, Oxford University Press, New York, 1994. Oxford Science Publications. MR 1321141
[6] Gregory Cherlin, Groups of small Morley rank, Ann. Math. Logic 17 (1979), no. 1-2, 1–28. MR 552414, https://doi.org/10.1016/0003-4843(79)90019-6
[7] Luis Jaime Corredor, Bad groups of finite Morley rank, J. Symbolic Logic 54 (1989), no. 3, 768–773. MR 1011167, https://doi.org/10.2307/2274740
[8] Robin Hartshorne, Foundations of projective geometry, Lecture Notes, Harvard University, vol. 1966/67, W. A. Benjamin, Inc., New York, 1967. MR 0222751
[9] Ehud Hrushovski, The Mordell-Lang conjecture for function fields, J. Amer. Math. Soc. 9 (1996), no. 3, 667–690. MR 1333294, https://doi.org/10.1090/S0894-0347-96-00202-0
[10] Eric Jaligot, Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem, Bull. Symbolic Logic 7 (2001), no. 3, 315–328. MR 1860607, https://doi.org/10.2307/2687751
[11] Eric Jaligot and Abderezak Ould Houcine, Existentially closed CSA-groups, J. Algebra 280 (2004), no. 2, 772–796. MR 2090064, https://doi.org/10.1016/j.jalgebra.2004.06.007
[12] Yerulan Mustafin and Bruno Poizat, Sous-groupes superstables de 𝑆𝐿₂(𝐾) et de 𝑃𝑆𝐿₂(𝐾), J. Algebra 297 (2006), no. 1, 155–167 (French). MR 2206852, https://doi.org/10.1016/j.jalgebra.2005.05.004
[13] Ali Nesin, Nonsolvable groups of Morley rank 3, J. Algebra 124 (1989), no. 1, 199–218. MR 1005703, https://doi.org/10.1016/0021-8693(89)90159-2
[14] Ali Nesin, On bad groups, bad fields, and pseudoplanes, J. Symbolic Logic 56 (1991), no. 3, 915–931. MR 1129156, https://doi.org/10.2307/2275061
[15] Jonathan Pila, O-minimality and the André-Oort conjecture for ℂⁿ, Ann. of Math. (2) 173 (2011), no. 3, 1779–1840. MR 2800724, https://doi.org/10.4007/annals.2011.173.3.11
[16] Bruno Poizat, Groupes stables, Nur al-Mantiq wal-Maʾrifah [Light of Logic and Knowledge], vol. 2, Bruno Poizat, Lyon, 1987 (French). Une tentative de conciliation entre la géométrie algébrique et la logique mathématique. [An attempt at reconciling algebraic geometry and mathematical logic]. MR 902156
[17] Bruno Poizat, Milieu et symétrie, une étude de la convexité dans les groupes sans involutions, 2017. J. Algebra, to appear. Preprint deposited at: http://www.logique.jussieu.fr/modnet/Publications/Preprint%20server/papers/1168/1168.pdf.
[18] Simon Thomas, An identification theorem for the locally finite nontwisted Chevalley groups, Arch. Math. (Basel) 40 (1983), no. 1, 21–31. MR 720890, https://doi.org/10.1007/BF01192748
[19] Frank Wagner, Bad groups, 2017. RIMS kokyuroku, Mathematical Logic and Its Applications, volume 250, to appear. Preprint deposited at: https://hal.archives-ouvertes.fr/hal-01482555.
[20] B. I. Zil′ber, Groups and rings whose theory is categorical, Fund. Math. 95 (1977), no. 3, 173–188 (Russian, with English summary). MR 441720