---
abstract: 'We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automorphisms.'
author:
- Ulla Karhumäki
bibliography:
- 'Ulla\_5March19.bib'
title: Definably simple stable groups with finitary groups of automorphisms
---

Introduction {#section:introduction}
============

This paper combines two different trains of investigations; on the one hand we continue the work on locally finite groups following Thomas [@thomas21983] and on the other hand we classify definably simple stable groups which admit groups of (non-definable) automorphisms which resemble Frobenius maps, and, in particular, have finite groups of fixed points. We call such groups *finitary groups of automorphisms*; the definitions are given in Sections \[sec:premlim\] and \[sec:finitary\].

We start with generalising the classical result by Thomas [@thomas21983] about infinite simple locally finite groups of finite centraliser dimension. We prove the following:

\[th:definably-simple\] An infinite definably simple locally finite group of finite centraliser dimension is a simple group of Lie type over a locally finite field.

Proof of Theorem \[th:definably-simple\] uses the Classification of Finite Simple Groups (CFSG).

Then we study definably simple stable groups which admit a finitary group of automorphisms.

\[stable-extension\] Every infinite definably simple stable group admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic.

Theorem \[stable-extension\] also depends on the CFSG.

In Section \[section:fRM\], we show that in case of groups of finite Morley rank, Theorem \[stable-extension\] can be proven without the use of the CFSG:

\[theorem:fRM\] 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.

This paper is organised in the following way. In Section \[sec:premlim\], we give preliminaries and facts needed in the rest of the paper. Then, in Section \[sec:locally-finite\], we prove Theorem \[th:definably-simple\]. In Section \[sec:finitary\], we introduce a finitary group of automorphisms of an algebraic structure $\mathcal{M}$ and the corresponding locally finite elementary substructure $\mathcal{M}_*$ of $\mathcal{M}$. Then, in Section \[sec:stable\], we prove Theorem \[stable-extension\]. Finally, in Section \[section:fRM\], we first introduce groups of finite Morley rank together with some background results, and then prove Theorem \[theorem:fRM\] without the use of the CFSG. In particular, this confirms the Cherlin-Zilber Conjecture in the specific case of a simple group of finite Morley rank admitting a finitary group of automorphisms.

Preliminaries and background results {#sec:premlim}
====================================

In this section we give definitions and facts needed in the rest of the paper.

A group $G$ is called *locally finite* if every finitely generated subgroup of $G$ is finite. For details on locally finite groups the reader may consult [@KegelOtto; @Hartley-Borovik]. A group $G$ is called *definably simple* if it has no proper non-trivial definable normal subgroups. If lengths of chains of centralisers in a group $G$ are bounded, the length of the longest such chain is called the *centraliser dimension* of $G$.

*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 or twisted analogues of Chevalley groups but a reader unfamiliar with the construction may find all necessary details in [@Carter1971].

The classification of groups of points of simple algebraic groups over algebraically closed fields amounts to the statement that they are isomorphic to Chevalley groups over corresponding fields; the reverse statement is also true.

In this paper, following the finite group terminology, we shall apply an umbrella term *groups of Lie type* to all Chevalley groups, twisted analogues of Chevalley groups, and non-algebraic twisted groups of Lie type $^2B_2$, $^2F_4$, or $^2G_2$ over finite, locally finite, and pseudofinite fields [@Carter1971; @Steinberg].

The following classical result is due to Simon Thomas.

\[thomas\]\[Fact:Thomas-locally-finite\] An infinite simple locally finite group which satisfies the minimal condition on centralisers is a simple group of Lie type over a locally finite field.

The other important result by Thomas states that being a Chevalley group of fixed type over some field $K$ is a first-order axiomatisable property. This, together with results by Point and by Ryten, allows us to prove Theorem \[extension2\] in Section \[sec:stable\].

\[Fact:thomas-Chevalley\] For each Chevalley group of fixed type $X$, the class $\{X(K)\mid K$ is a field $ \}$ is finitely axiomatisable.

A theory $T$ is called *pseudofinite* if it has infinite models but every sentence in it has a finite model. If $G$ is a simple pseudofinite group, then $G$ is elementary equivalent to an ultraproduct $\prod G(q)/\mathcal{U}$ of finite groups $G(q)$ of a fixed Lie type over finite fields ${\mathbb{F}}_q$ [@Wilson1995]. For details on ultraproducts reader may consult [@BellSlomson].

\[point\] Let $\{X(F_i) \mid i \in I\}$ be a family of Chevalley or twisted Chevalley groups of fixed type $X$ over finite or pseudofinite fields $F_i$, and let $\mathcal{U}$ be a non-principal ultrafilter on the set $I$. Then, $$\prod_{i \in I}X(F_i)/\mathcal{U} \cong X\left(\prod_{i\in I} F_i/\mathcal{U}\right).$$

\[ryten\] Let $G(q)$ be finite groups of fixed Lie type over finite fields ${\mathbb{F}}(q)$. Then groups $G(q)$ are uniformly bi-interpretable over parameters with ${\mathbb{F}}_q$, or, in the case of groups $^2B_2$, $^2F_4$, or $^2G_2$, with structures $({\mathbb{F}}_q ,\sigma)$, for an appropriate field automorphism $\sigma$.

Next, we briefly introduce stable structures. Detailed discussion of stable groups can be found in [@Wagner1997; @Poizat2001a]. More generally, for introduction on stability theory, we refer the reader to [@Pillay2013].

A $\mathcal{L}$-structure $\mathcal{M}$ is called stable if there is no $\mathcal{L}$-formula $\phi(\bar{x},\bar{y}) \in Th(\mathcal{M})$ and tuples $\bar{a}_i$, $\bar{b}_j$ with $i,j < \omega$ such that $\mathcal{M}\models \phi(\bar{a}_i,\bar{b}_j)$ if and only if $i\leq j$.

The fact below is well-known, see for example [@Ziegler-Tent Lemma 8.4.2].

A structure interpretable in a stable structure is stable.

The following results by Baldwin and Saxl and by Duret play a key role in Section \[sec:stable\], where we prove Theorem \[stable-extension\].

\[Fact:BaldwinSaxl\] Stable groups have finite centraliser dimension.

\[duret\] Infinite locally finite stable fields are algebraically closed.

Locally finite definably simple groups of finite centraliser dimension {#sec:locally-finite}
======================================================================

In this section we prove our result on infinite definably simple locally finite groups of finite centraliser dimension, Theorem \[th:definably-simple\]; it is a natural extension of Fact \[thomas\].

**Theorem \[th:definably-simple\]** *An infinite definably simple locally finite group of finite centraliser dimension is a simple group of Lie type over a locally finite field.*

Our proof uses the CFSG.

Proof of Theorem \[th:definably-simple\]
----------------------------------------

We start by citing a general structural result about locally finite groups of finite centraliser dimension [@borovik-karhumaki; @Buturlakin2018].

\[Borovik and Karhumäki [@borovik-karhumaki], Buturlakin [@Buturlakin2018]\]\[th:structure-lfg\] Let $H$ be a locally finite group of finite centraliser dimension $c$. Then $H$ has a normal series $$1 \unlhd S \unlhd L  \unlhd  H,$$ where

-   $S$ is solvable of solvability degree bounded by a function of $c$,

-   $\overline{L} =L/S$ is a direct product $\overline{L} = \overline{L}_1 \times \cdots \times \overline{L}_m$ of finitely many non-abelian simple groups,

-   each $\overline{L}_i$ is either finite, or a group of Lie type over a locally finite field,

-   the factor group $H/L$ is finite.

Now we start the proof of Theorem \[th:definably-simple\]. We work in notation of Fact \[th:structure-lfg\]. Recall that, in a group with descending chain condition for centralisers, centralisers are definable.

If $S \neq 1$ then $H$ contains a non-trivial abelian normal subgroup $A$. But then $A \leqslant 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 the assumption that $H$ is infinite. Hence $S=1$.

Now, by Fact \[th:structure-lfg\], $H$ contains a normal subgroup $L$ of finite index such that $L = L_1 \times \cdots \times L_m$ is a direct product of finitely many non-abelian simple groups $L_i$ each of which is a group of Lie type over a locally finite field.

Next we prove that $L=H$; 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 non-trivial 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 [@Ellers1999], each $L_i$, being simple groups of Lie type, are uniformly simple in $L$. Thus, every element in each $L_i$ is a product of a bounded number of $L_i$-conjugates of some non-trivial element $ x_i \in L_i$. Further, $H$-conjugates of $x_i$ belong to the normal subgroup $L$ of $H$, that is, $$L_i=(x_i^{\pm 1})^{ L_i}\cdots (x_i^{\pm 1})^{ L_i} \subseteq (x_i^{\pm 1})^{H}\cdots (x_i^{\pm 1})^{H} \subseteq \langle x_i^H \rangle \leqslant L.$$ Take the maximal length of the product $(x_i^{\pm 1})^{ L_i}\cdots (x_i^{\pm 1})^{ L_i}$ (and thus the maximal length of the product $(x_i^{\pm 1})^{H}\cdots (x_i^{\pm 1})^{H}$ as well) for each $i$. Then, $$L=L_1 \times \cdots \times L_m \subseteq \left((x_1^{\pm 1})^{H}\cdots (x_1^{\pm 1})^{H} \right) \cdots \left((x_m^{\pm 1})^{H}\cdots (x_m^{\pm 1})^{H} \right) \subseteq L.$$ This proves that $L$ is a definable subgroup of $H$, and thus, $L=H$ since $H$ is definably simple.

We should mention that one can also find a first-order formula without parameters defining $L$ in $H$: groups $L_i$, being groups of Lie type over a locally finite field, are unions of ascending chains 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 [@gorenstein1968 pp. 490]) and contain divisors of the form $p^k\pm 1$ for $k$ growing without bounds as subgroups in the chains grow bigger. Now the classical theorem by Zsigmondy [@Zsigmondy1892] ensures that numbers of the form $p^k\pm 1$ with unbounded $k$ have arbitrarily large prime divisors, which means that each group $L_i$ contains elements of arbitrarily large prime orders. Let $\ell_i \in L_i$ be an element of a prime order $t$ chosen in the way that $t > |L:L_i|$. Notice that all elements of order $t$ in $L$ belong to $L_i$. Similarly as above, by [@Ellers1999], every element in $L_i$ is a product of a bounded number of $L_i$-conjugates of $\ell_i$. That is, similarly as above, we may prove that $L$ is definable, without parameters, in $H$.

Now, $H = L = L_1 \times \cdots \times L_m$ is a direct product of finitely many non-abelian simple groups $L_i$ each of which is a group of Lie type over a locally finite field. Thus, to complete the proof of Theorem \[th:definably-simple\], it is enough to prove that $m=1$. Assume the contrary, let $m >1$. The group $C_H(C_H({L_1}))$ is a definable and normal subgroup of a definably simple group $H$. Clearly $C_H(L_1) \nleqslant C_H(C_H({L_1}))$ since $C_H(L_1)$ contains $L_2$. Hence $C_H(C_H({L_1}))$ is a proper non-trivial definable normal subgroup in a definably simple group $H$ – a contradiction. $\square$

Finitary automorphism groups {#sec:finitary}
============================

In this section, we concentrate on the other line of thought of our paper. The key definitions of this part of the paper are given below in a general form.

\[def:finitary\] Let $\mathcal{M}$ be an infinite algebraic structure with underlying set $M$. We say that an infinite group $A$ of automorphisms of $\mathcal{M}$ is *finitary*, if

-   For every $\alpha \in A \smallsetminus \{1\}$, the substructure of fixed points $\mathop{\rm Fix}_\mathcal{M}(\alpha)$ is finite.

-   If $X$ is a non-empty definable subset in $M$ and $X$ is invariant under the action of a non-trivial automorphism $\alpha\in A$, then there exists an element $x \in X$ with a finite orbit $x^A$ [(]{}equivalently, the stabiliser $\mathop{\rm Stab}_A(x)$ has a finite index in $A$[)]{}.

Under assumptions [(1)]{} and [(2)]{} above, we define

-   the *locally finite core* $\mathcal{M}_*$ of $\mathcal{M}$ as a substructure of $\mathcal{M}$ with the underlying set $$M_* = \{\, m \in M \mid \text{ the orbit }\; m^A \text{ is finite.}\}.$$

Notice that assumption (2) of Definition \[def:finitary\], 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 \smallsetminus 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 $\mathbb{F}_{p}$, and $\phi$ the automorphism of $G$ induced by the Frobenius map $x \mapsto x^{p}$ on $K$. Then it is well-known that the group $\langle \phi \rangle$ generated by $\phi$ is a finitary group of automorphisms.

Definition \[def:finitary\] together with the well-known Tarski-Vaught test [@Hodges1993] for elementary substructures allows us to prove that the locally finite core $\mathcal{M}_*$ is actually a locally finite elementary substructure of $\mathcal{M}$.

\[elementary-substructure\] Let $\mathcal{M}$ be an algebraic structure and $A$ a finitary group of automorphisms of $\mathcal{M}$. Then, $\mathcal{M}_*$ is a locally finite elementary substructure of $\mathcal{M}$.

First we check that $M_*$ with operations and relations inherited from $\mathcal{M}$ is a locally finite substructure of $\mathcal{M}$.

Let $x_1,\dots,x_n \in M_*$, and $\mathcal{X}= \langle x_1, \ldots, x_n \rangle$ the substructure generated by elements $x_1,\dots, x_n$ in $M$, that is, the minimal subset of $M$ which contains $x_1,\dots, x_n$ and is closed under all algebraic operations from $\mathcal{M}$. Then the stabilisers of $x_1,\dots,x_n$ in $A$ have finite indices in $A$ and their intersection $$B = {\rm Stab}_A(x_1) \cap \cdots \cap {\rm 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\subseteq M_*$, which also proves that $M_*$ is closed under all operations from $\mathcal{M}$ and is therefore a substructure of $\mathcal{M}$. Moreover, $X \subseteq \mathop{\rm Fix}_M(B)$ is finite by the definition of finitary groups of automorphisms, hence $\mathcal{M}_*$ is locally finite.

Then, we shall show that every $\mathcal{M}_*$-definable non-empty subset $X\subseteq 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 \in M \mid \varphi(x, \overline{m})\},$$ where $\overline{m}=(m_1,\dots,m_k) \in M_*$. Every $m_i$ has a finite $A$-orbit and therefore its stabiliser $S_i = {\rm Stab}_A(m_i)$ has finite index in $A$, hence the intersection $$S = {\rm Stab}_A(m_1)\cap \cdots \cap {\rm Stab}_A(m_k)$$ of all $S_i$’s also has a finite index in $A$. Clearly, for all $i = 1,\ldots, k$, $S$ fixes all $m_i$’s. Now the set $X$ is $S$-invariant and $S$ has a finite orbit $O$ in $X$ such that the point-wise stabiliser ${\rm 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 \cap M_* \neq \emptyset$ as is claimed.

Later, in Sections \[sec:stable\] and \[section:fRM\] , when applying Definition \[def:finitary\] to groups, we shall follow standard notation and refer to stabilisers of points as *centralisers* and write $C_A(x)$ instead of ${\rm Stab}_A(x)$ and $C_X(\alpha)$ instead of $\mathop{\rm Fix}_X(\alpha)$, etc.

Stable groups admitting a finitary group of automorphisms {#sec:stable}
=========================================================

In this section we combine our two lines of investigation. As a result we give a classification of definably simple stable groups in the specific case in which these groups admit finitary groups of automorphisms.

**Theorem \[stable-extension\]** *Every infinite definably simple stable group admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic.*

Note that this theorem implies that, in presence of a finitary group of automorphisms, a definably simple stable group is simple.

Our proof uses the CFSG.

Proof of Theorem \[stable-extension\]
-------------------------------------

Proof of Theorem \[stable-extension\] follows as we combine together Theorems \[th:definably-simple\] and \[elementary-substructure\]. Indeed, we may first observe that the following fact is a corollary of our earlier results:

\[extension2\] 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.

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_* \preceq G$ also has finite centraliser dimension and is definably simple. By Theorem \[th:definably-simple\], $G_*$ is a group of Lie type over a locally finite field. Since $G$ is elementary equivalent to $G_*$, it is also a group of Lie type over some field of positive characteristic in view of Facts \[Fact:thomas-Chevalley\], \[point\] and \[ryten\].

Theorem \[extension2\] almost immediately leads to our result about stable groups.

Indeed, stable groups have finite centraliser dimension by Fact \[Fact:BaldwinSaxl\]; note further that a field appearing in the statement of Theorem \[extension2\] is interpretable in the group $G$ due to Facts \[point\] and \[ryten\], and therefore Theorem \[stable-extension\] follows from Theorem \[extension2\] and Fact \[duret\]: Infinite locally finite stable fields are algebraically 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 $\bar{\mathbb{F}}_p$. This completes the proof of Theorem \[stable-extension\].

It is worth mentioning that there exist definably simple stable groups which are not simple. The first example was given by Sela in [@Sela2013], where he proved that 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 \models T_{fg}$ is definably simple (but not simple):

\[fact:defsimple\] Any proper definable subgroup of a non-abelian free group $F_n$ is cyclic.

Groups of finite Morley rank admitting a finitary group of automorphisms {#section:fRM}
========================================================================

In this section we prove the analogue of Theorem \[stable-extension\] without the use of the CFSG in the specific case of groups of finite Morley rank.

Groups of finite Morley rank and the Cherlin-Zilber Conjecture
--------------------------------------------------------------

We consider groups of finite Morley rank via a *ranked definable universe* following the notations of [@ABC; @Bor2]. This way we define a *definable universe* $\mathcal{U}$ to be a set of sets closed under taking singletons (one-element sets), Boolean operations, direct products, projections and quotients (by equivalence relations in the universe). Further, we call definable universe $\mathcal{U}$ *ranked* if it carries a rank function as defined by Borovik and Poizat [@Poizat2001a]. This means that we can assign, to every set $S  \in \mathcal{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 [@Bor2; @Poizat2001a] that a simple ranked group is $\omega$-stable of finite Morley rank.

The motivation for study of infinite simple groups of finite Morley rank arises from the famous Cherlin-Zilber Conjecture made in the 1970’s [@CHERLIN19791; @Zilber1977]:

Simple infinite groups of finite Morley rank are algebraic groups over algebraically closed fields.

A detailed discussion of the Cherlin-Zilber Conjecture, as well as development of relevant techniques and purely algebraic axiomatisation of the concept of (finite) Morley rank can be found in [@Bor2] and [@ABC]. In what follows, 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 (without the use of the CFSG).

**Theorem 3.** *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.*

### Background results

We start by listing few properties of groups of finite Morley rank that we use in our analysis.

The following result states that for groups the property of being of finite Morley rank is preserved under elementary equivalence. It was proven by Poizat; see the introduction of [@Poizat2001a].

\[defmorleyrank\] Being a ranked group is a first-order axiomatisable property.

The following crucial fact for groups of finite Morley rank follows from Zilber’s Indecomposability Theorem [@Zilber1977].

\[defsimple\] A non-abelian simple group of finite Morley rank is definably simple.

Finally, we comment the classification result for locally finite groups of finite Morley rank. It was first proven by Thomas [@thomas21983] who used the CFSG. Later results by Borovik [@MR1362813], and by Alt[i]{}nel, Borovik and Cherlin [@ABC] removed the reference to the CFSG, thus the following fact does not use the CFSG.

\[fact:locally-finite\] A locally finite simple group of finite Morley rank is a Chevalley group over an algebraically closed field of positive characteristic.

### Proof of Theorem \[theorem:fRM\]

Here, $G$ refers to an infinite simple group of finite Morley rank with a finitary group of automorphisms $A$. In view of Theorem \[elementary-substructure\], $G_* \preceq G$ and is therefore also a group of finite Morley rank by Fact \[defmorleyrank\].

Simplicity of $G_*$ follows immediately from properties of groups of finite Morley rank we presented in the previous subsection. Since $G_*$ is elementary equivalent to $G$ it inherits the property of being definably simple. But then, by Fact \[defsimple\], $G_*$ is indeed simple. Moreover, it immediate follows from Fact \[fact:locally-finite\] that $G_*$ is a Chevalley group over algebraically closed field of positive characteristic. Theorem \[theorem:fRM\] follows now from the elementary embedding $G_* \preceq G$ together with the Fact \[Fact:thomas-Chevalley\].\
We should mention that Theorem \[theorem:fRM\] can be also proven using purely group theoretic methods using the following strategy. First one can shown that $G_*$ is a simple locally finite group of finite Morley rank, thus a Chevalley group over an algebraically closed field [@ABC; @MR1362813]. Then it is possible to expand a specific configuration of the Curtis-Phan-Tits-Lyons Theorem [@GLS Theorem 1.24.2] present in $G_*$, from $G_*$ to $G$, and finally apply the Curtis-Phan-Tits-Lyons Theorem to $G$. The model theoretic approach we gave here is shorter and more transparent.

Acknowledgements {#acknowledgements .unnumbered}
----------------

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 an earlier and weaker version of Theorem \[stable-extension\] and for valuable comments and advice. Author also wants to thank the referee for valuable comments and suggestions to improve the paper.

The author is funded by the Vilho, Yrjö and Kalle Väisälä Foundation of the Finnish Academy of Science and Letters.
