arXiv:1609.06229v2 [math.LO] 29 Sep 2016

COMMENTAIRES SUR UN RÉSULTAT
D’OLIVIER FRECON
BRUNO POIZAT & FRANK O. WAGNER
Résumé. Il n’y a pas de groupe malsain de rang 2n + 1 avec un
borel abélien de rang n. En particulier, le théorème de Frécon en
découle : il n’y a pas de mauvais groupe de rang 3.

1. Introduction
Dans un preprint récent, Olivier Frécon a donné une réponse négative
à la question de l’existence d’un mauvais groupe de rang de Morley
3. Sa démonstration fabrique de manière combinatoire et inattendue
un ensemble X (qualifié ici de Frécon) qui fournit un automorphisme
involutif du mauvais groupe, ce qui mène à une contradiction. Nous
analysons ici sa démonstration et la généralisons aux mauvais groupes
de rang 2n + 1 avec un borel abélien de rang n.
Notation. Comme d’habitude, on note g h = h−1 gh et [g, h] = g −1h−1 gh.
2. Groupes malsains et mauvais groupes
Définition 2.1. Un groupe malsain est un groupe connexe G de rang
de Morley fini avec un sous-groupe définissable propre B, dont on appellera borels les conjugués, vérifiant les deux choses suivantes :
(1) B est malnormal, c’est-à-dire que B ∩ B a = {1} si a ∈
/ B;
(2) G est la réunion de ses borels.
En particulier, B est autonormalisant et genereux dans G ; comme G
n’a pas d’involution (lemme 3.3), son existence contredirait la Conjecture d’Algébricité. On aimerait bien montrer qu’il n’existe pas de groupe
malsain.
Lemme 2.2. Soit G un groupe malsain. Alors ses borels sont infinis
et connexes, et tout sous-groupe fini de G est contenu dans un borel.
De plus, G est sans involution.
Date: 20 janvier 2018.
2000 Mathematics Subject Classification. 03C45.
Partially supported by ANR-13-BS01-0006 ValCoMo.
1

2

BRUNO POIZAT & FRANK O. WAGNER

Démonstration. Considérons a 6= 1 dans un borel B. Si g ∈ G et
ag ∈ B, alors ag ∈ B ∩ B g , d’où B = B g et g ∈ NG (B) = B. En
particulier CG (a) ≤ B. Si les borels sont finis, tout élément non-trivial
a un centralisateur fini et une classe de conjugaison générique dans
G ; comme G est connexe, tous les éléments non-triviaux de G sont
conjugués, ce qui est impossible pour un groupe stable.
Les borels sont donc infinis ; s’ils n’étaient pas connexes, on obtiendrait deux ensembles génériques disjoints : la réunion des conjugués de
B 0 , et la réunion des conjugués de B \ B 0 .
Soit F un sous-groupe fini non-trivial de G., et H1 ,. . . ,Hn les intersections non-triviales de F avec les borels de G. Alors les Hi sont autonormalisants dans F . Si H1 est strictement inclus dans G, le nombre
n de points de la réunion des F -conjugués de H1 est
n = |F : H1 | · (|H1 | − 1) + 1 = |F | − |F : H1 | + 1.
Comme H1 est d’indice au moins deux dans F , on a n < |F | et il y
a un Hi non-conjugué de H1 . D’autre côté, comme H1 est d’indice au
plus |F |/2, on a n ≥ 1 + |F |/2 et il n’y a pas d’assez de place pour les
conjugués de Hi . Ainsi H1 = F , et F est contenu dans un seul borel.
Enfin, si i et j sont des involutions prises dans des borels différents,
elles inversent toutes deux ij, et normalisent son borel, c’est-à-dire lui
appartiennent, ce qui est absurde.

Lemme 2.3. Soit G un groupe malsain. Alors tout sous-groupe connexe
définissable H qui n’est pas inclus dans un borel est encore malsain, et
ses borels sont les traces des borels de G dans H.
Démonstration. Soient B0 ,. . . ,Bi ,. . . les traces non-triviales dans H des
borels de G. Notons d’abord que chaque Bi est autonormalisant dans
H. Comme B0 est en plus disjoint de ses conjugués dans H en dehors de
1, la réunion de ces conjugués est une partie générique de H. Comme H
est connexe, tous les Bi sont conjugués dans H, et H est malsain. 
Lemme 2.4. Soit G un groupe malsain avec borel B, et N un sousgroupe définissable normal non-trivial de G. Alors G = NB.
Démonstration. Si N était fini, il serait central et normalisait tous les
borels, ce qui est absurde. Donc N est infini, et on peut supposer N
connexe et H = N ∩ B non-trivial. Alors N est un groupe malsain avec
borel H. Soit g ∈ G. Alors H g est un borel de N, et il y a n ∈ N avec
H n = H g , d’où gn−1 ∈ NG (B) = B.

Lemme 2.5. Soit G un groupe malsain avec borel B, et H un sousgroupe définissable de G contenant B. Alors H est connexe, et G est
aussi malsain de borel H.

COMMENTAIRES SUR UN RÉSULTAT D’OLIVIER FRECON

3

Démonstration. Supposons d’abord H connexe. Comme H contient B
et les conjugués de B recouvrent G, les conjugués de H recouvrent G.
Soit H g un conjugué de H avec intersection H ∩ H g non-triviale.
Soit 1 6= x ∈ H ∩ H g ; comme H est malsain de borel B, on peut
supposer x ∈ B. Alors B est contenu dans H et dans H g . Ainsi B
et B g sont deux borels de H g , et il y a h ∈ H g avec B h = B g , d’où
gh−1 ∈ NG (B) = B ≤ H g . Ainsi g ∈ H g et H = H g , et H est
malnormal.
Si H n’est pas connexe, alors H 0 contient encore B par connexité
de ce dernier. Alors G est malsain de borel H 0 . En particulier H 0 est
malnormal, et H ≤ NG (H 0 ) = H 0 . Ainsi H est connexe.

Lemme 2.6. Soit G un groupe de rang de Morley fini sans involutions. Alors chaque élément g de G a une unique racine carrée, qui
est contenu dans tout sous-groupe définissable contenant g. De plus,
un élémént non-trivial n’est pas conjugué à son inverse.
Démonstration. Soient g 6= 1 un élément de G, et A le plus petit sousgroupe définissable le contenant. Alors A est commutatif, et comme il
n’a pas d’involutions, l’homomorphisme de A dans A qui à x associe x2
est injectif, et donc bijectif puisqu’il conserve rang et degré de Morley.
Ainsi tout élément a ∈ A possède une unique racine carrée u ∈ A ;
si v est une autre racine carrée de a, elle commute avec a, normalise
A, et commute avec l’unique racine carrée de a dans A, soit u. Donc
(uv −1)2 = aa−1 = 1 et u = v puisqu’il n’y a pas d’involutions.
Enfin, si g h = g −1 , alors h2 ∈ CG (g), et donc h ∈ CG (g), puisque
dans un groupe de rang de Morley fini les involutions se relèvent. Ainsi
g = g −1 et g = 1.

Lemme 2.7. Soit G un groupe de rang de Morley fini sans involutions,
et σ un automorphisme involutif de G. Soit F = {g ∈ G : σ(g) = g} et
I = {g ∈ G : σ(g) = g −1 }. Alors G = F · I = I · F , avec décomposition
unique ; de plus, un point non-trivial de F n’a pas de conjugué dans I.
Démonstration. Soit g ∈ G et considérons h = g −1 σ(g). Alors σ(h) =
h−1 et h ∈ I. Soit ℓ la racine carrée unique de h. Alors ℓ−1 est la racine
carrée unique de h−1 = σ(h), d’où σ(ℓ) = ℓ−1 et ℓ ∈ I. Ainsi
σ(gℓ) = σ(g)σ(ℓ) = gg −1σ(g)ℓ−1 = ghℓ−1 = gℓ2 ℓ−1 = gℓ
et gℓ ∈ F . Donc g ∈ F · I et G = F · I. En prenant des inverses, on
obtient G = I · F .
Si g = if = i′ f ′ avec i, i′ ∈ I et f, f ′ ∈ F , alors i−1 i′ = f f ′−1 ∈ F , et
i−1 i′ = σ(i−1 i′ ) = σ(i−1 )σ(i) = ii′−1 ,
d’où i′2 = i2 . Alors i = i′ et la décomposition est unique.

4

BRUNO POIZAT & FRANK O. WAGNER

Enfin, soit f ∈ F non-trivial, et g ∈ G tel que f g ∈ I. Alors g = f ′ i
′
pour un i ∈ I et f ′ ∈ F , et f f ∈ F est non-trivial. On peut donc
supposer g = i ∈ I. Alors
i−1 f i = f i = σ(f i ) = σ(i−1 f i) = if i−1
et f i2 = i2 f . Donc i2 ∈ CG (f ) ; d’après le lemme 2.6 on a aussi i ∈
CG (f ), et f i = f ∈ F ∩ I = {1}, une contradiction.

Remarque 2.8. Dans le lemme 2.7 on ne suppose pas que l’automorphisme involutif σ soit définissable.
La famille des borels d’un groupe malsain n’est pas a priori uniquement déterminée. On appelle un groupe malsain canonique si ses borels
sont ses sous-groupes définissables connexes maximaux.
Lemme 2.9. Soit G un groupe malsain. Un sous-groupe H définissable
connexe de rang minimal qui n’est pas inclus dans un borel est malsain
canonique.
Démonstration. H est malsain d’après le lemme 2.3. Soit F un sousgroupe propre définissable de H. Si F est fini, il est dans un borel
d’après le Lemme 2.2. S’il est infini, F 0 est dans un borel B par minimalité de H, et F normalise F 0 , donc B, et F ≤ B.

Proposition 2.10. Un groupe malsain canonique G n’a pas d’automorphisme involutif non-trivial.
Démonstration. Soit σ un automorphisme involutif de G. On pose F =
FixG (σ) et I = {g ∈ G : σ(g) = g −1 }. Alors F 0 est contenu dans un
borel B ; puisque B est malnormal, F ≤ B. Comme G = F · I, il y
a un autre borel B ′ qui contient un élément i non-trivial de I. Alors
i−1 ∈ B ′ ∩ σ(B ′ ) et σ(B ′ ) = B ′ . Ainsi σ est un automorphisme involutif
de B ′ , et B ′ = (I ∩ B ′ ) · (F ∩ B ′ ) d’après le lemme 2.7. Or, B ∩ F = {1},
et B ′ = I ∩ B ′ est inversé par σ. Mais B se conjugue dans B ′ , ce qui
contredit le lemme 2.7.

Rappelons qu’un mauvais groupe est un groupe connexe non-nilpotent
de rang de Morley fini dont tous les sous-groupes définissables connexes
résolubles sont nilpotents. Le premier mauvais groupe est apparu dans
un ancien article de Cherlin [2], comme un groupe simple de rang de
Morley trois qui n’est pas de la forme PSL2 (K) ; c’est Nesin [5] qui a
montré leur malignité au sens ci-dessus, c’est-à-dire l’absence d’involutions, en s’appuyant sur un théorème de Bachman. Il a été ensuite
remarqué par Corredor [3] et Borovik-Poizat [1] que les mauvais groupes

COMMENTAIRES SUR UN RÉSULTAT D’OLIVIER FRECON

5

produisaient des groupes malsains canoniques. D’autres situations semblant paradoxales, comme un groupe minimal avec un groupe d’automorphismes définissable non-commutatif, ou bien un groupe définissablement linéaire contredisant la Conjecture d’Algébricité, en produisent également. Frécon [4] a réussi dernièrement à montrer que les
mauvais groupes de rang de Morley trois n’existent pas ; les deux sections suivantes essaient de généraliser ses arguments.
3. Ensembles de Frécon
Soit G un groupe malsain, avec un borel B. Si u 6= 1 est dans G, on
notera B(u) l’unique borel contenant u.
Définition 3.1. On appelle droite un translaté bilatère de B, c’est-àdire un ensemble de la forme uBv = uv · B v , qui est donc un translaté à
gauche du borel B v , qu’on appelle sa direction. L’ensemble des droites
est noté Λ.
Pour une partie X de G on pose X −1 = {x−1 : x ∈ X}. Alors
l’ensemble des droites est préservé par translation à gauche et à droite,
et aussi par inversion. Deux droites distinctes de même direction sont
dites parallèles ; deux droites parallèles sont disjointes. Notons que le
passage des translatés à gauche aux translatés à droite ne conserve pas
le parallélisme.
Si deux droites distinctes se coupent, elles forment un translaté modulo l’intersection de leurs directions respectives, qui est réduite à
l’élément neutre ; par conséquent, deux droites distinctes sont disjointes
ou se coupent en un seul point. Si u et v sont deux points distincts,
ils sont contenus tous les deux dans la droite uB(u−1v). C’est donc la
seule droite qui passe par ces deux points ; on la note ℓ(u, v).
Nous dirons qu’une partie définissable de G est convexe si avec deux
points elle contient toute la droite qui les joint. Un ensemble convexe
fini est un point ; une droite, ou plus généralement un translaté d’un
sous-groupe connexe contenant un borel est convexe. En fait, nous allons voir que ce sont les seuls ensembles convexes. Ce sera conséquence
d’un théorème plus fort, concernant des ensembles plus généraux que
les ensembles convexes, et qui — nous l’espérons — seront plus faciles
à faire paraı̂tre dans les démonstrations d’inexistence.
Nous dirons qu’une droite ℓ est génériquement incluse dans l’ensemble définissable X si RM(X ∩ ℓ) = RM(ℓ) ; comme la dimension
est définissable, les droites génériquement incluses dans X forment
une famille définissable Λ(X). Notons que si RM(X) < RM(B) alors
Λ(X) = ∅, et si RM(X△Y ) < RM(B), alors Λ(X) = Λ(Y ).

6

BRUNO POIZAT & FRANK O. WAGNER

Un ensemble définissable X est quasi-convexe si pour tout x, y ∈
X distincts, ℓ(x, y) est génériquement incluse dans X. Un ensemble
convexe est bien sur quasi-convexe.
Lemme 3.2. Un ensemble X quasi-convexe est de degré de Morley 1.
Démonstration. On considère
Z = {(x, y, ℓ) : x, y ∈ X ∩ ℓ, ℓ ∈ Λ(X)} ⊆ X 2 × Λ(X).
Alors (x, y, ℓ) est générique dans Z si et seulement si x, y sont génériques
indépendants dans X et ℓ = ℓ(x, y), ou encore si ℓ est générique dans
Λ(X) et x, y sont génériques indépendants dans ℓ. Mais ℓ n’a qu’un
seul type générique, ce qui implique que x et y on même type (fort)
sur ∅, et DM(X) = 1.

Lemme 3.3. RM(Λ(X)) ≤ 2 RM(X) − 2 RM(B).
Démonstration. On considère l’application f : X 2 → Λ donnée par
f (x, y) = ℓ(x, y). Si ℓ ∈ Λ(X), alors le fibre sur ℓ est de rang 2 RM(B) ;
le lemme en découle par additivité du rang de Morley.

Remarque 3.4. Pour RM(X) ≥ RM(B) le maximum est atteint
– si X est quasi-convexe infini ;
– pour RM(X) = RM(B) si et seulement si X contient génériquement une droite ;
– si X est générique dans G.
Plus généralement, le maximum est atteint si X contient génériquement
un translaté C d’un sous-groupe définissable contenant un borel, puisque
tous les points génériques d’une droite générique sont génériques dans
C. Nous allons voir (théorème 3.12) que ce sont les seuls cas possibles.
Pour une partie X ⊆ G et un élémént x ∈ G on notera
Λx (X) = {ℓ ∈ Λ(X) : x ∈ ℓ}
l’ensemble des droites presque contenues dans X qui passent par x.
Définition 3.5. Un point x ∈ G est n-interne à X si RM(Λx (X)) ≥
n − RM(B) ; l’ensemble des points n-internes à X est la n-clôture de
n
X, notée X .
Comme les droites de Λx (X) ne s’intersectent qu’en x et sont génén
riquement contenues dans X, on a pour x ∈ X que
[
RM(X) ≥ RM( Λx (X)) = RM(Λx (X)) + RM(B) ≥ n.
n

n

En particulier, si RM(X) < n alors X = ∅, et si X 6= ∅ pour un
entier n, alors RM(X) ≥ RM(B).

COMMENTAIRES SUR UN RÉSULTAT D’OLIVIER FRECON
n

7

n

Lemme 3.6. Si RM(X△Y ) < n, alors X = Y .
n

n

Démonstration. Soit x ∈ X \ Y . Alors
[
(ℓ ∩ X) \ Y ⊆ X \ Y
ℓ∈Λx (X)

est de rang de Morley au moins n−RM(B) + RM(B) = n, une contradiction.

Lemme 3.7. Pour une partie X de G et RM(B) ≤ n ≤ RM(X) on a
n

n

RM(X ) + n ≤ RM(Λ(X)) + 2 RM(B) ≤ max{RM(X ∩ X ) + n}.
n

Démonstration. Considérons Z = {(x, ℓ) ∈ G × Λ(X) : x ∈ ℓ} et
Z ′ = {(x, ℓ) ∈ Z : x ∈ X}. Alors
RM(Z) = RM(Λ(X)) + RM(B) = RM(Z ′ ),
RM(Z) =
RM(Z ′ ) =

n

n+1

max

{RM(X \ X

max

{RM((X \ X

RM (B)≤n≤RM (X)

n

RM (B)≤n≤RM (X)

et

) + n − RM(B)},

n+1

) ∩ X) + n − RM(B)}.

Le lemme en découle.



Lemme 3.8. Soit X une partie de G de rang de Morley n. Alors
n
RM(Λ(X)) = 2n − 2 RM(B) si et seulement si RM(X ) = n. Dans
n
ce cas, si X est de degré de Morley 1, alors Λ(X) et X le sont aussi,
n
et RM(X△X ) < n.
Démonstration. Si RM(Λ(X)) = 2n − 2 RM(B), l’ensemble
{(x, y) ∈ X 2 : ℓ(x, y) ∈ Λ(X)}
est générique dans X 2 . Ainsi pour x, y génériques indépendants de X
n
on a y ∈ Λx (X), d’où RM(Λx (X)) ≥ n − RM(B) et x ∈ X . Donc
n

n

RM(X ) ≥ RM(X ∩ X ) ≥ n.
L’autre direction découle du lemme 3.7.
Si de plus X est de degré de Morley 1, une droite générique de
Λ(X) est de la forme ℓ(x, y) pour x, y génériques indépéndants de X.
Donc Λ(X) est de degré de Morley 1, ainsi que l’ensemble Z de la
n
n
démonstration du lemme 3.7, et aussi X . Mais RM(X ∩ X ) = n,
n
d’où RM(X△X ) < n.

Définition 3.9. Une partie X 6= ∅ de G est un n-ensemble de Frécon
n
n
si X ⊆ X . Si en plus n = RM(X) et X = X est de degré de Morley
1, nous appelons X un ensemble de Frécon.

8

BRUNO POIZAT & FRANK O. WAGNER

Notons que tout ensemble quasi-convexe infini est un ensemble de
Frécon.
n

Lemme 3.10. Si X est une partie de G avec RM(X ) = RM(X) = n,
il y a un ensemble de Frécon de rang n génériquement inclus dans X.
Démonstration. Soit X la réunion disjointe de parties définissables Xi
de rang de Morley n et degré de Morley
S 1. Comme les droites sont
de degré de Morley 1, on a Λ(X) = i Λ(Xi ), encore une réunion
n
disjointe. Puisque RM(X ) = n on a RM(Λ(X)) = 2n − 2 RM(B), et
n
il y a i tel que RM(Λ(Xi )) = 2n − 2 RM(B). Alors RM(X i ) = n et
n
n
n
nn
n
DM(X i ) = 1. De plus, RM(Xi △X i ) < n, d’où X i = X i , et X i est
un ensemble de Frécon génériquement inclus dans X.

Lemme 3.11. Soit X un ensemble de Frécon avec 1 ∈ X. Alors X =
X −1 , et pour tout x ∈ X on a xX = Xx−1 .
Démonstration. X −1 est encore un ensemble de Frécon. Comme
Λ1 (X)
S
−1
consiste de borels, on a Λ1 (X) = Λ1 (X ). Or, RM( Λ1 (X)) =
RM(X) et
[
RM( Λ1 (X) \ X) < RM(Λ1 (X)) + RM(B) = RM(X) ;
comme X est de degré de Morley 1 on a
[
[
RM(X△ Λ1 (X)) < RM(X) = RM( Λ1 (X))
et d’après le lemme 3.6 on a
n
n
[
[
n
n
X =X =
Λ1 (X) =
Λ1 (X −1 ) = X −1 = X −1 .
Pour x ∈ X le translaté Xx−1 est encore un ensemble de Frécon contenant 1. Donc
Xx−1 = (Xx−1 )−1 = xX −1 = xX. 
Théorème 3.12. Soit G un groupe malsain. Alors un ensemble de
Frécon est un translaté d’un sous-groupe définissable contenant un borel. En particulier, il est convexe.
Démonstration. Supposons, pour une contradiction, que X soit un ensemble de Frécon infini qui n’est pas un translaté d’un sous-groupe
définissable contenant un borel. En translatant, on peut supposer que
1 ∈ X. Soit G0 le plus petit sous-groupe définissable contenant X.
Alors G0 contient génériquement une droite ℓ, et donc le borel ℓℓ−1 .
Donc G0 est connexe d’après le lemme 2.5, malsain, et X y est propre
par hypothèse.

COMMENTAIRES SUR UN RÉSULTAT D’OLIVIER FRECON

9

Soit N = {g ∈ G0 : gX = X} le stabilisateur à gauche de X ; comme
X = X −1 , c’est également le stabilisateur à droite ; on a N ⊆ X ⊂ G0 .
On considère le sous-groupe S de G20 donné par
S = {(x, y) ∈ G20 : xXy −1 = X}.
Alors la projection de S sur les deux coordonnées contient X, et doit
être G0 entier. De plus,
{g ∈ G0 : (g, 1) ∈ S} = N = {g ∈ G0 : (1, g) ∈ S}.
Comme N × {1} est normal dans S, la projection N sur la première
coordonnée est normale dans la projection de S sur la première coordonnée, soit G0 . Ainsi S est le graphe d’un automorphisme σ de G0 /N
tel que σ(x) ≡ x−1 mod N pour x ∈ X. En particulier σ 2 fixe X/N
et donc G0 /N, et σ est un automorphisme involutif de G0 /N. Si G est
malsain canonique, G0 = G et N est trivial, et on conclut avec la proposition 2.10. Sinon, on notera que l’ensemble des translatés bilatères
de X dans G0 est égal à l’ensemble des translatés à gauche, ou à droite.
Soit H = NG0 (X) = {g ∈ G0 : X g = X} le normalisateur de X dans
G0 , et g ∈ G0 . Il y a h ∈ G0 avec X g = Xh ; soit u la racine carrée de
h modulo N. Comme 1 ∈ X g on a h ∈ X −1 = X et σ inverse h modulo
N, et aussi u. Alors
X g = Xh = Xu2 = σ −1 (u)Xu = u−1Xu = X u ,
et gu−1 ∈ H. Ainsi G0 = HX ′ , où X ′ est l’ensemble des racines carrées
des éléments de X. Notons que σ(x) ≡ x mod N si et seulement si
x ∈ H, et σ inverse X ′ modulo N.
Soit g ∈ G0 avec σ(g) ≡ g −1 mod N, et choisissons h ∈ H et x ∈ X ′
avec hx = g. Alors
x−1 h−1 = g −1 ≡ σ(g) = σ(hx) = σ(h)σ(x) ≡ hx−1

mod N.

Ainsi h−x ≡ h mod N et x2 ∈ CG0 (h/N). Comme G0 n’a pas d’involutions, on obtient x ∈ CG0 (h/N) et h ∈ N. Donc NX ′ est l’ensemble
des éléments de G0 inversés par σ modulo N, qui est clos par carré et
racine carrée. Si x ∈ X ′ et u ∈ NX ′ avec u2 = x, alors u = ny avec
n ∈ N et y ∈ X ′ , et
−1

x = u2 = (ny)2 = nny y 2 ∈ NX = X.
Ainsi X ′ ⊆ X ; comme σ inverse X modulo N on a
NX ′ ⊆ NX = X ⊆ NX ′ ,
et X = NX ′ . En particulier G0 = HX implique N < H.

10

BRUNO POIZAT & FRANK O. WAGNER

Soit B un borel presque contenu dans X. Pour x, y génériques indépendants de B on a
y −1 x−1 ≡ σ(xy) = σ(x)σ(y) ≡ x−1 y −1

mod N

et B/N est abélien, inversé par σ. Ainsi B est contenu entièrement
dans X ; comme ceci est vrai pour tout translate de xX avec x ∈ X,
toute droite génériquement contenue dans X y est contenue, et X est
convexe.
Soit h ∈ H \ N, et B un borel avec h ∈ B, et soit B x un conjugué
de B contenu dans X. Alors pour y = xσ(x) on a
By = Bxσ(x) = xB x σ(x) ⊆ xXσ(x) = X.
Ainsi y ∈ X et hy ∈ X, d’où
h ≡ σ(h) = σ(hy)σ(y −1) ≡ y −1h−1 y = h−y

mod N,

et y 2 ∈ CG0 (h/N). Ainsi y ∈ CG0 (h/N) et h ∈ N, ce qui est absurde.

Corollaire 3.13. Soit G un groupe malsain avec un borel B. Si X est
n
une partie de G de rang n > 0 avec RM(X ) = n, alors X contient
génériquement un translaté d’un sous-groupe connexe de rang n qui
contient un borel.
Démonstration. Il y a un ensemble de Frécon de rang n génériquement
inclus dans X d’après le lemme 3.10, qui est égal à un translaté d’un
sous-groupe connexe contenant un borel d’après le théorème 3.12. 
4. Commutateurs
Dans un mauvais groupe de rang trois, Frécon [4] trouve grâce aux
commutateurs un ensemble de Frécon de dimension deux ; il en conclut
ensuite que le groupe n’existe pas, par une méthode plus calculatoire
que celle utilisée ici. Dans la section précédente, nous avons généralisé
la deuxième partie de sa démonstration au-delà de toute attente, mais
pas la première, si bien que nous ne savons pas si notre Théorème 3.12
permet de montrer d’autres résultats d’inexistence. Dans cette section,
nous montrerons que pour un groupe malsain G avec borel B abélien,
on obtient au moins un 2 RM(B)-ensemble de Frécon, ce qui fournit
une contradiction si RM(G) = 2 RM(B) + 1, et en particulier pour
RM(G) = 3.
Théorème 4.1. Soit G un groupe malsain avec borel B abélien. Alors
il y a un 2 RM(B)-ensemble de Frécon de rang strictement inférieur à
RM(G).

COMMENTAIRES SUR UN RÉSULTAT D’OLIVIER FRECON

11

Démonstration. Soit g 6= 1 un commutateur non-trivial, et
X = {x ∈ G : ∃y [x, y] = g}.
Si x ∈ X et y ∈ G est tel que [x, y] = g, alors [x, y ′ ] = g pour tout
y ′ ∈ B(x)y, et xB(y ′) ⊂ X. Ces droites sont toutes différentes : en
effet, si xB(y ′ ) = xB(y ′′ ) avec y ′ 6= y ′′ dans B(x), alors B(y ′ ) = B(y ′′)
coupe B(x) en deux points et lui est égal. Donc g = [x, y ′] = 1, une
contradiction.
2 RM (B)
Ainsi X ⊆ X
, et RM(X) ≥ 2 RM(B). Pour majorer le rang
de X on considère l’application f : (x, y) 7→ [x, y]. L’image est invariant par conjugaison ; s’il ne contient qu’un nombre fini de classes de
conjugaison, alors un commutateur [x, y] de deux éléments génériques
indépendants serait conjugué à son inverse [y, x], ce qui est impossible. Par conséquent RM(imf ) est strictement plus grand que le rang
RM(G) − RM(B) d’une classe de conjugaison, et un commutateur
générique g a une fibre f −1 (g) de rang strictement inférieur à 2 RM(G)−
(RM(G)−RM(B)) = RM(G)+RM(B). On en conclut que RM(X) <
RM(G).

Dans tout groupe malsain G on a RM(G) > 2 RM(B), car sinon
pour g ∈ G générique les deux double translatés BgB et Bg −1 B seraient génériques, donc d’intersection non-vide, donc égaux, ce qui fournirait une involution. Si on fixe le rang du borel (abélien !), le corollaire
suivant exclut donc le cas minimal.
Corollaire 4.2. Il n’y a pas de groupe G malsain avec borel B abélien
de rang RM(G) = 2 RM(B)+1. En particulier, il n’y a pas de mauvais
groupe de rang 3.
Démonstration. Dans un tel groupe, d’après le théorème 4.1 il y a un
2 RM(B)-ensemble de Frécon de rang 2 RM(B) ; d’après le corollaire
3.13 il y a un sous-groupe définissable connexe H de rang 2 RM(B)
contenant un borel B ′ . Comme H est malsain de borel B ′ , c’est absurde.

Par contre, on n’obtient pas de contradiction si RM(G) = 3 RM(B),
même pour RM(G) = 6 et RM(B) = 2 : on aurait RM(X) = 5, et les
classes de conjugaison de commutateurs formeraient une (toute petite !)
famille de rang un. Quant à RM(G) = 4 et RM(B) = 1, ça voudrait
dire aussi que RM(X) = 3, mais que toutes les classes de conjugaison
sauf un nombre fini sont des commutateurs.

12

BRUNO POIZAT & FRANK O. WAGNER

Références
[1] A. V. Borovik et B. P. Poizat. Simple groups of finite Morley rank without
nonnilpotent connected subgroups, preprint deposited at VINITI, 1990.
[2] Gregory Cherlin. Groups of small Morley rank, Ann. Math. Logic, 17(1–2) :1–28,
1979.
[3] Luis Jaime Corredor. Bad groups of finite Morley rank, J. Symb. Logic,
54(3) :768–773, 1989.
[4] Olivier Frécon. Bad groups in the sense of Cherlin, preprint.
[5] Ali Nesin. Nonsolvable groups of Morley rank 3, J. Algebra, 124(1) :199–218,
1989.
Université de Lyon ; CNRS ; Université Claude Bernard Lyon 1 ; Institut Camille Jordan UMR5208, 43 bd du 11 novembre 1918, 69622 Villeurbanne Cedex, France
E-mail address: poizat@math.univ-lyon1.fr
E-mail address: wagner@math.univ-lyon1.fr

