Abstract
AbstractA group is small if it has only countably many complete n-types over the empty set for each natural number n. More generally, a group G is weakly small if it has only countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions for their traces in any finitely generated algebraic closure. An infinite weakly small group has an infinite abelian subgroup, which may not be definable. A small nilpotent group is the central product of a definable divisible group with a definable one of bounded exponent. In a group with simple theory, any set of pairwise commuting elements is contained in a definable finite-by-abelian subgroup. First corollary: a weakly small group with simple theory has an infinite definable finite-by-abelian subgroup. Secondly, in a group with simple theory, a solvable group A of derived length n is contained in an A-definable almost solvable group of class at most 2n – 1.
Publisher
Cambridge University Press (CUP)
Reference26 articles.
1. [] Kaplan Itay , Scanlon Thomas , and Wagner Frank O. , Artin-Schreier extensions in dependent and simple fields, to be published.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Almost group theory;Journal of Algebra;2020-08
2. Definable envelopes in groups having a simple theory;Journal of Algebra;2017-12
3. Groups in NTP2;Israel Journal of Mathematics;2017-03
4. GROUPES FINS;The Journal of Symbolic Logic;2014-12
5. Fields with few types;The Journal of Symbolic Logic;2013-03