On superstable CSA-groups

DOI10.1016/J.APAL.2006.04.005MaRDI QIDQ925848zbMATH OpenOpenAlexFDO

Authors Abderezak Ould Houcine

Publication date 23 May 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0809.3441

zbMATH Keywords

abelianbad groupCSA-groupfinite Morley rankmalnormalsuperstable

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Structure and classification of infinite or finite groups (20E99) Special aspects of infinite or finite groups (20F99)

Abstract: We study superstable groups acting on trees. We prove that an action of an $omega$-stable group on a simplicial tree is trivial. This shows that an HNN-extension or a nontrivial free product with amalgamation is not $omega$-stable. It is also shown that if $G$ is a superstable group acting nontrivially on a $Lambda$-tree, where $Lambda=mathbbZ$ or $Lambda=mathbbR$, and if $G$ is either $alpha$-connected and $Lambda=mathbbZ$, or if the action is irreducible, then $G$ interprets a simple group having a nontrivial action on a $Lambda$-tree. In particular if $G$ is superstable and splits as $G=G_1{\ast }_A{G}_2$, with the index of $A$ in $G_1$ different from 2, then $G$ interprets a simple superstable non $omega$-stable group. We will deal with "minimal" superstable groups of finite Lascar rank acting nontrivially on $Lambda$-trees, where $Lambda=mathbbZ$ or $Lambda=mathbbR$. We show that such groups $G$ have definable subgroups $H_{1}lhd{H}_{2}lhdG$, $H_2$ is of finite index in $G$, such that if $H_1$ is not nilpotent-by-finite then any action of $H_1$ on a $Lambda$-tree is trivial, and $H_2/H_1$ is either soluble or simple and acts nontrivially on a $Lambda$-tree. We are interested particularly in the case where $H_2/H_1$ is simple and we show that $H_2/H_1$ has some properties similar to those of bad groups.

Review text

A group is CSA (conjugately separated abelian) if all maximal abelian subgroups are conjugately separated, or malnormal (i.e.\ \(H\cap H^g=\{1\}\) for all \(g\notin H\)). Equivalently, the centralizer of every non-trivial element is abelian and self-normalizing. Existentially closed CSA-groups had been proposed by Poizat as candidates for a so-called bad group, i.e.\ a group of finite Morley rank whose proper connected definable subgroups are all nilpotent; this was refuted by the author and \textit{E. Jaligot} [J. Algebra 280, No.\ 2, 772--796 (2004; Zbl 1080.20026)]. This paper continues the study of CSA-groups under stability assumptions. In particular, it is shown that a non-abelian superstable CSA-group has an infinite simple definable subgroup whose proper definable subgroups are all abelian. This easily implies a result of \textit{Y. Mustafin} and \textit{B. Poizat} [J. Algebra 297, No.\ 1, 155--167 (2006; Zbl 1095.03021)], namely that a superstable model of the universal theory of non-abelian free groups is abelian, and also that a superstable torsion-free hyperbolic group is cyclic. The existence of a non-abelian CSA-group of finite Morley rank is equivalent to the existence of a simple bad group whose proper definable subgroups are abelian; the question is raised whether in fact every simple bad group must contain a simple bad CSA-group. Finally, the author shows that an existentially closed involution-free CSA-group is not superstable, either.

Recommendations

• Existentially closed CSA-groups.
• Independence Property and Hyperbolic Groups
• CSA-groups and separated free constructions
• On CT and CSA groups and related ideas
• Bad groups of finite Morley rank
• FORKING IN THE FREE GROUP
• On Superstable Groups
• Groups of Morley rank 4
• ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP
• Some structure theorems for \(\omega\)-stable groups

Cites work

• Existentially closed CSA-groups.
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 705165 (Why is no real title available?)
• scientific article; zbMATH DE number 1040593 (Why is no real title available?)
• scientific article; zbMATH DE number 1063290 (Why is no real title available?)
• PERIODIC FACTOR GROUPS OF HYPERBOLIC GROUPS
• Superstable groups
• Superstable groups; a partial answer to conjectures of Cherlin and Zil'ber
• Superstable subgroups of \(\text{SL}_2(K)\) and \(\text{PSL}_2(K)\). (Sous-groupes superstables de \(\text{SL}_2(K)\) et de \(\text{PSL}_2(K)\))

Cited in

(7)

• Existentially closed CSA-groups.
• Superstable subgroups of \(\text{SL}_2(K)\) and \(\text{PSL}_2(K)\). (Sous-groupes superstables de \(\text{SL}_2(K)\) et de \(\text{PSL}_2(K)\))
• ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP
• CSA-groups and separated free constructions
• Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
• Independence Property and Hyperbolic Groups
• Strongly indecomposable finite groups.

This page was built for publication: On superstable CSA-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q925848)