-многообразия без независимого базиса тождеств
We consider the following notion of largeness for subgroups of . A group G is large if it contains a free subgroup on generators. We give a necessary condition for a countable structure A to have a large group Aut(A) of automorphisms. It turns out that any countable free subgroup of can be extended to a large free subgroup of , and, under Martin’s Axiom, any free subgroup of of cardinality less than can also be extended to a large free subgroup of . Finally, if Gₙ are countable groups, then...
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...
Let G be a locally finite group satisfying the condition given in the title and suppose that G is not nilpotent-by-Chernikov. It is shown that G has a section S that is not nilpotent-by-Chernikov, where S is either a p-group or a semi-direct product of the additive group A of a locally finite field F by a subgroup K of the multiplicative group of F, where K acts by multiplication on A and generates F as a ring. Non-(nilpotent-by-Chernikov) extensions of this latter kind exist and are described in...
This paper deals with one of the ways of studying infinite groups many of whose subgroups have a prescribed property, namely the consideration of minimal conditions. If P is a theoretical property of groups and subgroups, we show that a locally graded group P satisfies the minimal conditions for subgroups not having P if and only if either G is a Cernikov group or every subgroup of G satisfies P, for certain values of P concerning normality, nilpotency and related ideas.
Let G be an infinite, locally soluble group which is isomorphic to all its nontrivial normal subgroups. If G/G' has finite p-rank for p = 0 and for all primes p, then G is cyclic.