Normal relatively convex subgroups of solvable orderable groups

Orderable solvable groups in which every relatively convex subgroup is normal are studied. If such a class is subgroup closed than it is precisely the class of solvable orderable groups which are locally of finite (Mal’tsev) rank. A criterion for an orderable metabelian group to have every relatively convex subgroup normal is given. Examples of an orderable solvable group G of length three with periodic G/G′ and of an orderable solvable group of length four with only one proper normal relatively convex subgroup are constructed. To the memory of N. Ya. Medvedev Supported by RFBR (project No. 03-01-00320). Translated from Algebra i Logika, Vol. 48, No. 3, pp. 291–308, May–June, 2009.     

Groups with finitely many linear orders

It is proved that there exist orderable groups having exactly 6 and 14 distinct linear orders. For any natural number k, we construct examples of orderable groups on which 2(4k+3) linear orders are defined. Supported by RFFR grant No. 96-01-00088. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 176–200, March–April, 1999.     

Completion of Linearly Ordered Groups

We give examples of linearly ordered groups that are not embeddable in divisible orderable. In the first example, the group does not embed in any divisible group with strictly isolated unity. In the second example, the group in question is an O*-group, and in the third, it is a group with a central system of convex subgroups. To my teacher A. I. Kokorin Supported by RFBR grant Nos. 96-01-00358, 99-01-00335, and 03-01-00320. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 664–681, November–December, 2005.     

Computing test rank for a free solvable group

It is proved that test rank of a free solvable non-Abelian group of finite rank is 1 less than the rank of that group. This gives the answer to Question 14.88 posed in the Kourovka Notebook by Fine and Shpilrain, asking whether or not a free solvable group of rank 2 and solvability index n ≥ 3 has test elements. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 447–457, July–August, 2006.     

Free products of groups have no outer normal automorphisms

An automorphism of an arbitrary group is called normal if all subgroups of this group are left invariant by it. Lubotski [1] and Lue [2] showed that every normal automorphism of a noncyclic free group is inner. Here we prove that every normal automorphism of a nontrivial free product of groups is inner as well. Supported by RFFR grant No. 13-011-1513. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 562–566, September–October, 1996.     

Algebraic sets in metabelian groups

The research launched in [1] is brought to a close by examining algebraic sets in a metabelian group G in two important cases: (1) G = F_n is a free metabelian group of rank n; (2) G = W_n,k is a wreath product of free Abelian groups of ranks n and k. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 503–513, July–August, 2007.     

Conjugately dense subgroups of free products of groups with amalgamation

A subgroup having non-empty intersection with each class of conjugate elements of the group is said to be conjugately dense. It is shown that, under certain conditions, the number of conjugately dense subgroups in a free product with amalgamation is not less than some cardinal. As a consequence, P. Neumann’s conjecture in the Kourovka notebook (Question 6.38) is refuted. It is also stated that a modular group and a non-Abelian group of countable or finite rank possess continuum many pairwise non-conjugate conjugately dense subgroups. Supported by RFBR grant No. 03-01-00905. __________ Translated from Algebra i Logika, Vol. 45, No. 5, pp. 520–537, September–October, 2006.     

Asymptotic growth of averaged Dehn functions for nilpotent groups

It is proved that in any finite representation of any finitely generated nilpotent group of nilpotency class l ⩾ 1, the averaged Dehn function σ(n) is subasymptotic w.r.t. the function n^l+1. As a consequence it is stated that in every finite representation of a free nilpotent group of nilpotency class l of finite rank r ⩾ 2, the Dehn function σ(n) is Gromov subasymptotic. Supported by RFBR grant No. 04-01-00489. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 60–74, January–February, 2007.     

The bifree regularE-solid semigroups

A model of the bifree regularE-solid semigroup on a non-empty setX is presented which is defined on the free ‘locally’ unary semigroupoid on the Cayley graph of the free group onX by means of the fully invariant congruence on the set of arrows which correspondes to the variety of completely regular semigroups. Research partially supported by Hungarian National Foundation for Scientific Research grant no. 1903. The result of the paper was announced at the Workshop on Semigroups, Formal Languages and Groups (NATO ASI No. 920872), York, 7–21 August, 1993     

A class of formal languages

We deal with languages that are classes of fully invariant congruences on free semigroups of finite rank. The question is posed as to whether a given fully invariant congruence coincides with a syntactic congruence of the language in question. If all classes of a given fully invariant congruence are rational languages, the corresponding variety is then said to be rational. A number of properties of rational varieties is established—in particular, we point to the way in which they are related to finite varieties. Translated fromAlgebra i Logika, Vol. 37, No. 4, pp. 478–492, July–August, 1998.     

On Orderable Poly Engel Groups

It is known that an orderable n-Engel group is nilpotent. We show that an orderable group that is an extension of an n-Engel group by an n-Engel group is nilpotent-by-nilpotent. However, a finitely generated orderable poly n-Engel group need not be solvable in general.     

Irreducible Algebraic Sets in Metabelian Groups

We present the construction for a u-product G₁ ○ G₂ of two u-groups G₁ and G₂, and prove that G₁ ○ G₂ is also a u-group and that every u-group, which contains G₁ and G₂ as subgroups and is generated by these, is a homomorphic image of G₁ ○ G₂. It is stated that if G is a u-group then the coordinate group of an affine space Gⁿ is equal to G ○ F_n, where F_n is a free metabelian group of rank n. Irreducible algebraic sets in G are treated for the case where G is a free metabelian group or wreath product of two free Abelian groups of finite ranks. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 601–621, September–October, 2005. Supported by RFBR grant No. 05-01-00292, by FP “Universities of Russia” grant No. 04.01.053, and by RF Ministry of Education grant No. E00-1.0-12.     

Large hyperbolic lattices

For a fundamental group of a compact orientable manifold, a condition is specified that is sufficient to guarantee the presence of a “virtual” epimorphism onto a free non-Abelian group. A consequence is deriving a strong Tits alternative. An arbitrary noncompact finitely generated discrete subgroup in PO(3, 1) either is large or is virtually Abelian. An application is provided to the problem of uniform exponential growth for lattices in a 3-dimensional hyperbolic space and of growth of Betti numbers for lattices in a hyperbolic n-dimensional space, where n is an odd number. Supported by RFBR (project No. 08-01-00067), by DFG grant Gr 627-11, and by Forschergruppe “Spektrale Analysis, asymptotical Verteilungen und stochastische Dynamiken,” Billfold University. (G. A. Noskov) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 174–189, March–April, 2009.     

Shmel’kin embeddings for abstract and profinite groups

The Magnus embedding is well known: given a group A=F/R, where F is a free group, the group F/[R, R] can be represented as a subgroup of a semidirect product AT, where T is an additive group of a free Z A-module. Shmel’kin genralized this construction and found an embedding for F/V(R), where V(R) is the verbal subgroup of R corresponding to a variety V. Later, he treated F as a free product of arbitrary groups, and on condition that R is contained in a Cartesian subgroup of the product, pointed out an embedding for F/V(R). Here, we combine both these Shmel’kin embeddings and weaken the condition on R, by assuming that F is a free product of groups A_i (iεI) and a free group X, and that its normal subgroup R has trivial intersection with each factor A_i. Subject to these conditions, an embedding for F/V(R) is found; we cell it the generalized Shmel’kin embedding. For the case where V is an Abelian variety of groups, a criterion is specified determining whether elements of AT belong to an embedded group F/V(R). Similar results are proved also for profinite groups. Supported by RFFR grant No. 99-01-00567. Translated fromAlgebra i Logika, Vol. 38, No. 5, pp. 598–612, September–October, 1999.     

Centers of Mal’tsev and alternative algebras

Let ϕ be an associative commutative ring with unity containing 1/6. Let A and B be a free Mal’tsev and a free alternative ϕ-algebras on a set of k≥6 free generators, respectively. We construct nonzero homogeneous elements of degree 7 belonging to an annihilatorAnnA of A, and nonzero homogeneous elements of degree 7 belonging to the center Z(B) of B. It is shown that a nilpotent Mal’tsev algebra of index 8 on a set of 6 generators has no faithful representation. Supported by RFFR grant No. 96-01-01511, and by the Program “Universities of Russia: Fundamental Research.” Translated fromAlgebra i Logika, Vol. 38, No. 5, pp. 613–635, September–October, 1999.     

On orderable set functions and continuity I

A set functionv (which is not necessarily additive) on a measurable spaceI is called orderable if for each measurable order ℛ onI there is a measureϱ ^ℛ ν(J) =ν(J) onI such that for all subsetsJ ofI that are initial segements,ϱ ^ℛ ν. Properties such as nonatomicity, nullness of sets, and weak continuity are shown to be inherited from orderable set functionsv toϱ ^ℛ ν and vice versa. A characterization of set functions which are absolutely continuous (with respect to some positive measure) in the set of orderable set functions is also given. Reporduction of this report was partially supported by the Office of Naval Research under contract N-000 14-67-0112-0011; The U.S. Atomic Energy Commission contract AT (04-3)-326-PA #18; and The National Science Foundation, Grant GP 31393X. Reproduction in whole or in part is permitted for any purposes of the United States Government. This document has been approved for public release and sale; its distribution is unlimited. Research of this report was carried out at Tel Aviv University.     

Dlab groups

We argue that for any subgroup H of rank 1 in a multiplicative group of positive reals, among Dlab groups of the closed intervalI=[0],[1] on an extended set of reals, there exist groups D_H*(I) and D_H* which lack normal relatively convex subgroups, are not simple groups, and have just two distinct linear orders. The cardinality of a set of linear orders on Dlab groups is computed. It is established that every rigid l-group is Abelian if it belongs to a varietyD of l-groups groups generated by the linearly ordered groups D_H*(I) and D_H*. We prove that the quasivariety q(D_H*(I), D_H*) of groups generated by D_H*(I) and D_H* is distinct from a quasivarietyO of all orderable groups. Similar results are stated for a variety of l-groups and the quasivariety of groups that are not embeddable in D_H*(I) and D_H*. Supported by RFFR grant No. 96-01-00088. Translated fromAlgebra i Logika, Vol. 38, No. 5, pp. 531–548, September–October, 1999.     

The property of being equationally Noetherian for some soluble groups

Let B be a class of groups A which are soluble, equationally Noetherian, and have a central series A = A₁ ⩾ A₂ ⩾ … A_n ⩾ … such that ⋂A_n = 1 and all factors A_n/A_n+1 are torsion-free groups; D is a direct product of finitely many cyclic groups of infinite or prime orders. We prove that the wreath product D ≀ A is an equationally Noetherian group. As a consequence we show that free soluble groups of arbitrary derived lengths and ranks are equationally Noetherian. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 46–59, January–February, 2007.     

Element orders in coverings of symmetric and alternating groups

We prove that if the factor group H=G/N of a finite group G is isomorphic to a symmetric or alternating group of degree m, where m≥5 and N≠1, then G has an element whose order is distinct from any element’s order in H. Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 38, No. 3, pp. 296–315, May–June, 1999.