arxiv: v4 [math.lo] 16 May 2018

Transcription

1 arxiv: v4 [math.lo] 16 May 2018 A model theoretic approach to simple groups of finite Morley rank with finitary groups of automorphisms Ulla Karhumäki School of Mathematics, University of Manchester, UK ulla.karhumaki@manchester.ac.uk The Cherlin-Zilber Conjecture: May 17, 2018 Abstract Simple infinite groups of finite Morley rank are algebraic groups over algebraically closed fields is considered to be one of the main open problems in the theory of ω- stable groups of finite Morley rank. Ehud Hrushovski suggested that it can be approached by proving first that a generic automorphism of a group of finite Morley rank closely resembles the behaviour of generalized Frobenius automorphisms of algebraic groups. The aim of this paper is to identify conditions on automorphisms of a group of finite Morley rank that make it resemble the Frobenius maps, and allow us to prove the Cherlin-Zilber Conjecture in these specific cases. As a first step in that direction, we introduce a finitary group of automorphisms and prove that a simple group of finite Morley rank with a finitary automorphism group is a Chevalley group over an algebraically closed field of positive characteristic. 1 Motivation and introduction This paper aims to increase the knowledge of how to classify infinite simple groups of finite Morley rank [1,5]. The motivation for such research arises from the famous Cherlin-Zilber Conjecture made in the 1970 s [9,25]. The conjecture asserts that any infinite simple ω-stable group of finite Morley rank must be isomorphic, as an abstract group, to a simple algebraic group over some algebraically closed field F. The other important conjecture, sometimes called the Principal Conjecture, is due to Hrushovski [15]: Let G be an infinite simple group of finite Morley rank with a generic automorphism α. Then the group of fixed points C G (α) is pseudofinite. 1

2 2 Ulla Karhumäki Hrushovski proved that the Cherlin-Zilber Conjecture implies his conjecture. Reversing the implication would provide a situation where, to prove the Cherlin- Zilber Conjecture, it would be enough to show that the theory of an infinite simple group of finite Morley rank has a generic automorphism, and that the fixed point subgroup of this automorphism is pseudofinite. A detailed discussion of the Cherlin-Zilber Conjecture, as well as development of relevant techniques and purely algebraic axiomatisation of the concept of(finite) Morleyrankcanbe found in [1] and [5]. In this paper, westudy simple groups of finite Morley rank which admit a finitary group of automorphisms; the definitions are given in Section 2. We prove that the Cherlin-Zilber Conjecture holds in the specific case when a simple group of finite Morley rank admits a finitary group of automorphisms, that is, we prove the following theorem. Theorem 1. An infinite simple group of finite Morley rank admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic. Our proof does not use the Classification of Finite Simple Groups (CFSG). More general results can be obtained with the use of the CFSG. In particular, in Section 5, we prove Theorem 5 Assuming the CFSG, every infinite definably simple stable group admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic. This paper is organized in the following way. In Section 2, we define a finitary group of automorphisms of a simple infinite group of finite Morley rank G and the corresponding locally finite core G of G. In Section 3, we recall the model theoretic preliminaries needed in this paper and apply the Tarski-Vaught Test thus showing that G is an elementary substructure of G. In Subection 4.1, we briefly mention few properties of groups of finite Morley rank. Then, in Subsection 4.2, we observe that G is simple which allows us to apply to G known results [1,3] about simple locally finite groups of finite Morley rank and conclude that G, being elementary equivalent to G, is indeed a Chevalley group over some algebraically closed field. Finally, in Section 5, we give few extensions of Theorem 1 while the Classification of Finite Simple Groups (CFSG) is assumed. There we use results of locally finite groups of finite centraliser dimension for transfering the simplicity from the group G to its locally finite core G. We should mention that Theorem 1 can be also proven using purely group theoretic methods. Indeed, in [16], the author proved Theorem 1 using the following strategy. First it was shown that G is a simple locally finite group of finite Morley rank, thus a Chevalley group over an algebraically closed field[1,3]. Then it was possible to expand a specific configuration of the Curtis-Phan-Tits- Lyons Theorem [13, Theorem ] present in G, from G to G, and finally apply the Curtis-Phan-Tits-Lyons Theorem to G. The model theoretic approach we give here is shorter and more transparent. 2 Finitary automorphism groups The key definitions of the present paper are given below in a general form.

3 GROUPS OF FINITE MORLEY RANK 3 Definition 1. Let M be an infinite algebraic structure with underlying set M. We say that an infinite group A of automorphisms of M is finitary, if (1) For every α A {1}, the substructure of fixed points Fix M (α) is finite. (2) If X is a definable subset in M and X is invariant under the action of a non-trivial automorphism α A, then there exists an element x X with a finite orbit x A (equivalently, the stabiliser Stab A (x) has a finite index in A). Under assumptions (1) and (2) above, we define (3) the locally finite core M of M as the set M = {m M the orbit m A is finite.}. Notice that assumption (2) of Definition 1, applied to X = M, ensures that M is non-empty. Notice further that M is infinite for otherwise A would have a finite orbit x A on the definable A-invariant subset X = M M with x not belonging to M a contradiction. An important example of finitary groups of automorphisms is provided by Frobenius maps. Let G be a group of points over an algebraically closed field K of characteristic p > 0 of a simple algebraic group defined over the field F p, and φ the automorphism of G induced by the Frobenius map x x p on K. Then it is well-known that the group φ generated by φ is a finitary group of automorphisms. This follows as the Frobenius map is the identity on F p and it defines an element φ of Aut(F alg p \F p ). Hence, given any q N, elements of F alg p fixed by φ q are precisely the elements of F p q [8]. Proposition 1. M with operations and relations inherited from M is a locally finite substructure of M. Proof. Let x 1,...,x n M, and X = x 1,...,x n the substructure generated by elements x 1,...,x n in M, that is, the minimal subset of M which contains x 1,...,x n and is closed under all algebraic operations from M. Then the stabilisers of x 1,...,x n in A have finite indices in A and their intersection B = Stab A (x 1 ) Stab A (x n ) also has a finite index in A, hence is not trivial. Here B fixes every element in X, hence A-orbits of elements in X are finite and X M, which also proves that M is closed under all operations from M and is therefore a substructure of M. Moreover, X Fix M (B) is finite by the definition of finitary groups of automorphisms, hence M is locally finite. When applying Definition 1 to groups, we shall follow standard notation and refer to stabilisers of points as centralisers and write C A (x) instead of Stab A (x) and C X (α) instead of Fix X (α), etc.

4 4 Ulla Karhumäki 3 Model theoretic preliminaries and the Tarski- Vaught Test In this section, we give the definition of an elementary substructure and state the Tarski-Vaught Test for elementary substructures. Definition 2 (Elementary substructure). Let N and M be L-structures and N be a substructure of M. Then N is called an elementary substructure of M and denoted by N M if for every L-formula ϕ(x 1,...,x n ), with free variables x 1,...,x n, and tuple ā = a 1,...,a n of elements of N we have N = ϕ(ā) if and only if M = ϕ(ā). The well-known Tarski-Vaught Test below gives a criterion for a substructure to be an elementary substructure: Fact 1 (Tarski-Vaught Test, [14], Theorem 2.5.1). Suppose that N is a substructure of M. Then N M if and only if for all ϕ(x 1,...,x n,y) L and a 1,...,a n N if M = ( y)ϕ(a,y) then there is b N with M = ϕ(a,b). There is an obvious restatement of the Tarski-Vaught Test in terms of definable subsets: N M if and only if for all non-empty definable subsets S M defined with parameters from N, S N is non-empty. Theorem 2. Let M be an algebraic structure and A a finitary group of automorphisms of M. Then, M is an elementary substructure of M. Proof. We shall show that every M -definable non-empty subset X M has a point in M. This will prove the theorem by invoking the Tarski-Vaught Test. Indeed since X is a M -definable set it is of the form X = {(x 1,...,x n ) M n ϕ(x,m)}, where m = (m 1,...,m k ) M. Every m i has a finite A-orbit and therefore its stabiliser B i = Stab A (m i ) has finite index in A, hence the intersection B = Stab A (m 1 ) Stab A (m k ) of all B i s also has a finite index in A. Clearly, for all i = 1,...,k, B fixes all m i s. Now the set X is B-invariant and B has a finite orbit O in X such that the point-wise stabiliser Stab A (O) has a finite index in A; hence A also has a finite orbit in X. Elements in this orbit O belong to M so X M as is claimed. Note that the Tarski-Vaught Test allows us to consider each x i separately, so X is indeed as in Definition 1. 4 Proof of Theorem 1 In this section we conclude the proof of Theorem 1. We start by briefly mentioning some properties of groups of finite Morley rank.

5 GROUPS OF FINITE MORLEY RANK Groups of finite Morley rank We consider groups of finite Morley rank via a ranked definable universe following the notations of [1,5]. This way we define a definable universe U to be a set of sets closed under taking singletons (one-element sets), Boolean operations, direct products, and projections. Further, we call definable universe U ranked if it carries a rank function as defined by Borovik and Poizat [20]. This means that we can assign, to every set S U, a natural number which behaves as a dimension of the corresponding set. A group G is ranked if its base set and graphs of multiplication and inversion belong to a ranked universe. It is well-known [5, 20] that a simple ranked group is ω-stable of finite Morley rank. Chevalley groups are defined by generators and relations and provide a description of important classes of simple algebraic groups (including those over algebraically closed fields) as abstract groups, ignoring the underlying algebraic variety. In this paper, we won t present the definition of Chevalley groups but a reader unfamiliar with the construction may find all necessary details in [7]. The classification of simple algebraic groups over algebraically closed fields amounts to the statement that they are Chevalley groups over corresponding fields; the reverse statements is also true. We list few properties of groups of finite Morley rank that we use in our analysis. Fact 2. An abstract group G, elementary equivalent to a simple group of finite Morley rank, is also of finite Morley rank. A detailed proof of Fact 2 is given by Poizat in [20, Theorem 2.13]. Fact 3. A definably simple group of finite Morley rank is simple. Proof. Follows from Zilber s Indecomposability Theorem [25]. Fact 4. A locally finite simple group of finite Morley rank is a Chevalley group over an algebraically closed field of positive characteristic. Fact 4 was first proven by Thomas [23] who used the CFSG. Later results by Borovik [3], and by Altınel, Borovik and Cherlin [1] removed the reference to the CFSG. 4.2 Proof of Theorem 1 Here, G refers to an infinite simple group of finite Morley rank with a finitary group of automorphisms A. In view of Theorem 2, G G and is therefore also a group of finite Morley rank by Fact 2. Observation 1. G is a simple group. Observation 1 follows immediately from properties of groups of finite Morley rank we presented above. Since G is elementary equivalent to G it inherits the property of being definably simple. But then, by Fact 3, G is indeed simple. Moreover, it immediate follows from Fact 4 that G is a Chevalley group over algebraically closed field of positive characteristic. Theorem 1 follows now from the elementary embedding G G together with the following fact:

6 6 Ulla Karhumäki Fact 5 (Thomas [24], Theorem 18). Being an untwisted Chevalley group over a fixed field is a first order axiomatisable property. Fact 5 proves that G passes the property of being a Chevalley group over algebraically closed field to G, thus, Theorem 1 holds. 5 Extensions of Theorem 1 In this section, we give few extensions of Theorem 1 while assuming the Classification of Finite Simple Groups (CFSG). 5.1 Some definitions If lengths of chains of centralisers in a group G are bounded from above, the length of the longest such chain is called the centraliser dimension of G. Following the finite group terminology, we shall apply an umbrella term groups of Lie type to all Chevalley groups, twisted analogues of a Chevalley groups, and non-algebraic twisted groups of Lie type 2 B 2, 2 F 4, or 2 G 2 over (not necessary) finite fields. 5.2 Results The following theorem is our principal technical result; it will be proven in Section 6. Theorem 3. An infinite definably simple locally finite group of finite centraliser dimension is a simple group of Lie type over a locally finite field. Our next result is a corollary of Theorem 3. Theorem 4. Assuming the CFSG, every infinite definably simple group G of finite centraliser dimension admitting a finitary group of automorphisms is a simple group of Lie type over a field of positive characteristic. Proof. Let G be an infinite definably simple group of finite centraliser dimension admitting a finitary group of automorphisms A. Then the locally finite group G G also has finite centraliser dimension and is definably simple. By Theorem 3, G is a group of Lie type over a locally finite field. Since G is elementaryequivalenttog, it isalsoagroupoflie type oversomefield ofpositive characteristic in view of results by Thomas [24], Point [19] and Ryten [21]. Theorem 4 almost immediately leads to our result about stable groups: Theorem 5. Assuming the CFSG, every infinite definably simple stable group admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic. Proof. Indeed, stable groups have finite centraliser dimension by a classical result of Baldwin and Saxl [2]; note further that a field appearing in the statement of Theorem 4 is interpretable in the group G due to results by Point [19] and Ryten [21], and therefore Theorem 5 follows from Theorem 4 and the fact due to Duret [10, Corollaire 6.6]: Infinite locally finite stable fields are algebraically

7 GROUPS OF FINITE MORLEY RANK 7 closed. We need only to recall that groups of Lie type over algebraically closed fields are Chevalley groups. This follows since algebraically closed locally finite fields are algebraic closures of finite prime fields but for any prime p > 0 there are no twisted Chevalley groups with underlying field F p. It is worth mentioning that there exist definably simple stable groups which arenot simple. The firstexamplewasgivenbysela in [22], wherehe provedthat the elementary theory of non-abelian free groups, T fg, is stable. This provided an example since it was proven by several authors that a free group F n = T fg is definably simple (but not simple): Fact 6 (Bestiva and Feighn; Kharlampovich and Myasnikov [17]; Perin, Pillay, Sklinos and Tent[18]). Any proper definable subgroup of a non-abelian free group F n is cyclic. Note that our results ensure that, when a finitary automorphism group is present, a definably simple stable group is simple. 6 Proof of Theorem 3 In this final section, we prove Theorem 3. We start by citing a general structural result about locally finite groups of finite centraliser dimension [4, 6]. Fact 7 (Borovik and Karhumäki [4], Buturlakin [6]). Let H be a locally finite group of finite centraliser dimension. Then H has a normal series where (a) S is solvable. 1 S L H, (b) L = L/S is a direct product L = L 1 L m of finitely many non-abelian simple groups. (c) Each L i is either finite, or a Chevalley group, or a twisted analogue of a Chevalley group over a locally finite field. (d) The factor group H/L is finite. Notice that Theorem 3 is a partial generalisation of a result by Simon Thomas: Fact 8 (Thomas [23]). An infinite simple locally finite group which satisfies the minimal condition on centralisers is a Chevalley group or a twisted Chevalley group over a locally finite field. Now we start the proof of Theorem 3. We work in notation of Fact 7. If S 1 then H contains a non-trivial abelian normal subgroup A. But then A Z(C H (A)) and Z = Z(C H (A)) is a non-trivial definable abelian normal subgroup of H. Since H is definably simple, Z = H and H is abelian; being definably simple locally finite group, it is forced to be cyclic of prime order, which contradicts to the assumption that H is infinite. Hence S = 1.

8 8 Ulla Karhumäki Now, by Fact 7, H contains a normal subgroup L of finite index such that L = L 1 L m is a direct product of finitely many non-abelian simple groups L i eachofwhichisachevalleygroup,oratwisted analogueofachevalleygroup over a locally finite field. Assume that m > 1. We use a simple fact from the group theory: Lemma 1. For any subgroup F of an arbitrary group R, F C R (C R (F)), and if F 1 F 2 F m R where F i, i = 1,...m, have trivial centers, Z(F i ) = 1, then the double centralisers C R (C R (F i )) form a direct product and It follows that F 1 F m C R (C R (F 1 )) C R (C R (F m )). L C H (C H (L 1 )) C H (C H (L m )) H, Recall that, in a group with descending chain condition for centralisers, centralisersaredefinable. Hence the groupc H (C H (L 1 )) C H (C H (L m )) isdefinable and normal in H, therefore equals H. But now each subgroup C H (C H (L i )) is a definable normal subgroup in H and therefore m = 1 and L H is a simple subgroup of finite index. If H = L then the theorem is proven; to reach that point, it suffices to prove that L is definable in H. Recall that a simple group R is called uniformly simple if for any two nontrivial elements g and r, the length of expression of g, as a finite product of conjugates of r or the inverse of r, is uniformly bounded. Now, by [11], L, being a Chevalley group and a normal simple subgoup of H, is uniformly simple in H. Thus, every element in L is a product of a bounded number of L-conjugates, and hence H-conjugates, of some non-trivial element x L. This gives us a first order formula, with parameters, that defines L in H. We should mention that one can also find a first order formula without parameters defining L in H: The group L, being a group of Lie type over a locally finite field, is a union of ascending chain of finite simple groups of the same Lie type over finite fields of the same characteristic, say p. Their orders are well-known (see, for example, the table [12, pp. 490]) and contain divisors of the form p k ±1 for k growing without bounds as subgroups in the chain grow bigger. Now the classical theorem by Zsigmondy [26] ensures that numbers of the form p k ±1 with unbounded k have arbitrarily large prime divisors, which means that the group L contains elements of arbitrarily large prime orders. Let l L be an element of a prime order t chosen in the way that t > H : L. Notice that all elements of order t in H belong to L. Similarly as above, by [11], every element in L is a product of a bounded number of L-conjugates of l, thus we get a first order formula, without parameters, defining L in H. Since H is definably simple, L = H. This completes the proof of Theorem 3 Acknowledgements The author is thankful to Alexandre Borovik for proposing the topic, for numerous helpful discussions and for precious suggestions on how to improve preliminary versions, and to Adrien Deloro for noticing a gap in the original proof of

9 GROUPS OF FINITE MORLEY RANK 9 an earlier and weaker version of Theorem 5 and for several valuable comments and advice. The author is funded by the Vilho, Yrjö and Kalle Väisälä Foundation of the Finnish Academy of Science and Letters. References [1] Tuna Altınel, Alexandre V. Borovik, and Gregory L. Cherlin. Simple Groups of Finite Morley rank. American Mathematical Society Providence, Providence, RI, [2] John T. Baldwin and Jan Saxl. Logical stability in group theory. Journal of the Australian Mathematical Society, 21(3): , [3] Alexandre V. Borovik. Simple locally finite groups of finite Morley rank and odd type. In Finite and Locally Finite Groups (Istanbul, 1994), volume 471 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., pages Kluwer Acad. Publ., Dordrecht, [4] Alexandre V. Borovik and Ulla Karhumäki. Locally finite groups of finite centraliser dimension. arxiv: [math.gr], [5] Alexandre V. Borovik and Ali Nesin. Groups of Finite Morley Rank, volume 26 of Oxford Logic Guides. Oxford University Press, New York, Oxford Science Publications. [6] Alexandre A. Buturlakin. Locally finite groups of finite c-dimension. arxiv: , [7] Roger W. Carter. Simple Groups of Lie Type. Wiley, New York, [8] Zoé Chatzidakis. Notes on the model theory of finite and pseudo-finite fields. zchatzid/papiers/helsinki.pdf, Mini-course given at the University of Helsinki, April [9] Gregory Cherlin. Groups of small Morley rank. Annals of Mathematical Logic, 17(1):1 28, [10] Jean-Louis Duret. Les corps faiblement algebriquement clos non separablement clos ont la propriete d independance. In Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979, pages Springer Berlin Heidelberg, [11] Erich W. Ellers, Nikolai Gordeev, and Marcel Herzog. Covering numbers for chevalley groups. Israel Journal of Mathematics, 111(1): , Dec [12] Daniel Gorenstein. Finite Groups. Chelsea Publishing Co., New York, second edition, [13] Daniel Gorenstein, Richard Lyons, and Ronald Solomon. The Classification of the Finite Simple Groups, volume 40(3) of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1998.

10 10 Ulla Karhumäki [14] Wilfrid Hodges. Model Theory. Cambridge University Press, Cambridge, [15] Ehud Hrushovski. Pseudo-finite fields and related structures. In Model theory and applications, volume 11 of Quad. Mat., pages Aracne, Rome, [16] Ulla Karhumäki. A group theoretic approach to simple groups of finite Morley rank acted by finitary automorphisms. Manuscript, [17] Olga Kharlampovich and Alexei Myasnikov. Definable sets in a hyperbolic group. Int. J. Algebra Comput. 23, 91, pages , [18] Chloé Perin, Anand Pillay, Rizos Sklinos, and Katrin Tent. On groups and fields interpretable in torsion-free hyperbolic groups. Notre Dame J. Form. Log. 54, pages , [19] Françoise Point. Ultraproducts and Chevalley groups. Arch. Math. Logic, 38(6): , [20] Bruno Poizat. Stable Groups, volume 87 of Mathematical Surveys and Monographs. American Mathematical Society Providence, Providence, RI, [21] Mark J. Ryten. Results around asymptotic and measurable groups. PhD thesis, University of Leeds, [22] Zlil Sela. Diophantine geometry over groups viii: Stability. Annals of Mathematics. Second Series, pages , [23] Simon R. Thomas. The classification of the simple periodic linear groups. Arch. Math., 41: , [24] Simon R. Thomas. Classification Theory of Simple Locally Finite Groups. PhD thesis, [25] Boris I. Zilber. Groups and rings whose theory is categorical. Fund. Math., 95(3): , [26] K. Zsigmondy. Zur theorie der potenzreste. Monatshefte für Mathematik und Physik, 3(1): , Dec 1892.