Comments on a Theorem by Olivier Fr\'econ

TL;DR

This paper discusses a specific theorem in model theory, proving the non-existence of certain groups with particular properties, thereby confirming Frécon's Theorem that no bad groups of Morley rank 3 exist.

Contribution

It provides a proof that certain Morley rank groups with abelian Borel subgroups cannot exist, confirming a key theorem in the theory of groups of finite Morley rank.

Findings

No sad groups of Morley rank 2n+1 with abelian Borel of rank n exist

Frécon's Theorem is confirmed: no bad groups of Morley rank 3 exist

The paper advances understanding of the structure of groups in model theory

Abstract

There is no sad group of Morley rank 2n + 1 with an abelian Borel subgroup of rank n. In particular, Fr{\'e}con's Theorem follows: There is no bad group of Morely rank 3.