-groups and pseudo-bad groups.
The purpose of this paper is to prove the existence of a free subgroup of the group of all affine transformations on the plane with determinant 1 such that the action of the subgroup is locally commutative.
We generalize the theory of generic subsets of definably compact definable groups to arbitrary o-minimal structures. This theory is a crucial part of the solution to Pillay's conjecture connecting definably compact definable groups with Lie groups.
We show that for no infinite group the class of abelian-by- groups is elementary, but, at least when is an infinite elementary abelian -group (with prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to is elementary.
A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...
We describe first-order logic elementary embeddings in a torsion-free hyperbolic group in terms of Sela’s hyperbolic towers. Thus, if embeds elementarily in a torsion free hyperbolic group , we show that the group can be obtained by successive amalgamations of groups of surfaces with boundary to a free product of with some free group and groups of closed surfaces. This gives as a corollary that an elementary subgroup of a finitely generated free group is a free factor. We also consider the...
Let be an uncountable universal locally finite group. We study subgroups such that for every , .
We describe finitely generated groups universally equivalent (with constants from in the language) to a given torsion-free relatively hyperbolic group with free abelian parabolics. It turns out that, as in the free group case, the group embeds into the Lyndon’s completion of the group , or, equivalently, embeds into a group obtained from by finitely many extensions of centralizers. Conversely, every subgroup of containing is universally equivalent to . Since finitely generated...