Extended genus of torsion-free finitely generated nilpotent groups of class two

The extended genus of a nilpotent group N is the set of isomorphism classes of nilpotent groups M, not necessarily finitely generated, such that the p-localizations M _p , N _p are isomorphic for all primes p. In this article, for any torsion-free finitely generated nilpotent group N of nilpotency class 2, the extended genus of N is analyzed by assigning to each of its members a sequence of triads of matrices with rational entries, generalizing the sequential representation which has been exploited elsewhere in the case when N is abelian. This approach allows, among other things, to obtain examples of groups in the ordinary (Mislin) genus of N     

Large Scale Geometry of Nilpotent-By-Cyclic Groups

We show quasi-isometric rigidity for a class of finitely generated, non-polycyclic nilpotent-by-cyclic groups. Specifically, let Γ₁, Γ₂ be ascending HNN extensions of finitely generated nilpotent groups N ₁ and N ₂, such that Γ₁ is irreducible (see Definition 1.1). If Γ₁ and Γ₂ are quasi-isometric to each other then N ₁ and N ₂ are virtual lattices in a common simply connected nilpotent Lie group [(N)\tilde]{\tilde{N}}. As a consequence, we show the class of irreducible ascending HNN extensions of finitely generated nilpotent groups is quasi-isometrically rigid.     

On existentially closed and generic nilpotent groups

Letn≧2 be an integer. We prove the following results that are known in casen=2: The upper and the lower central series of an existentially closed nilpotent group of classn coincide. A finitely generic nilpotent group of classn is periodic and the center of a finitely generic torsion-free nilpotent group of classn is isomorphic toQ ⁺, whereas infinitely generic nilpotent groups do not enjoy these properties. We determine the structure of the torsion subgroup of existentially closed nilpotent groups of class 2. Finally we give an algebraic proof that there exist 2^κ non-isomorphic existentially closed nilpotent groups of classn in cardinalityK ≧N ₀. Some results of this paper were contained in [6].     

Automorphism groups of nilpotent groups and spaces

A pair of finitely generated, torsion-free nilpotent groups G₁,G₂ is constructed with the properties that G₁ and G₂ are p-isomorphic for all primes p, yet Aut(G₁) and Aut(G₂) are not isomorphic. The example constructed is compared to an analogous example in the homotopy category of simply connected, finite CW-complexes.     

Decompositions of finitely generated nilpotent groups of class 2

In this paper we prove that rational indecomposability is a genus property for finitely generated torsion-free nilpotent groups of class 2. We use this result to determine the genus of finitely generated torsion-free nilpotent groups of class 2 which decompose as a direct product of rationally indecomposable groups. Received: 3 November 2005     

Automorphisms of groups and of schemes of finite type

We show first that certain automorphism groups of algebraic varieties, and even schemes, are residually finite and virtually torsion free. (A group virtually has a property if some subgroup of finite index has it.) The rest of the paper is devoted to a study of the groups of automorphisms. Aut(Γ) and outer automorphisms Out(Γ) of a finitely generated group Γ, by using the finite-dimensional representations of Γ. This is an old idea (cf. the discussion of Magnus in [11]). In particular the classes of semi-simplen-dimensional representations of Γ are parametrized by an algebraic varietyS _n (Γ) on which Out(Γ) acts. We can apply the above results to this action and sometimes conclude that Out(Γ) is residually finite and virtually torsion free. This is true, for example, when Γ is a free group, or a surface group. In the latter case Out(Γ) is a “mapping class group.” Partially supported by the NSF under Grant MCS 80-05802.     

有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

Existentially complete nilpotent groups

Letn be a positive integer, letK _n denote the theory of groups nilpotent of class at mostn, and letK _n ⁺ denote the theory of torsion-free groups nilpotent of class at mostn. We show that ifn≧2 then neitherK _n norK _n ⁺ has a model companion. ForK _n we obtain the stronger result that the class of finitely generic models is disjoint from the class of infinitely generic models. We also give some other results about existentially complete nilpotent groups. Dedicated to the Memory of Abraham Robinson.     

Groups containing an element that permutes with a finite number of its conjugates

We study a group G containing an element g such that C_G(g)∩g^G is finite. The nonoriented graph Γ is defined as follows. The vertex set of Γ is the conjugacy class g^G. Vertices x and y of the graph G are bridged by an edge iff x≠y and xy=yx. Let Γ₀ be some connected component of G. On a condition that any two vertices of Γ₀ generate a nilpotent group, it is proved that a subgroup generated by the vertex set of Γ₀ is locally nilpotent. Supported by the RF State Committee of Higher Education. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 637–650, November–December, 1998.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Structure of the automorphism group for partially commutative class two nilpotent groups

Let R be a ring, which is either a ring of integers or a field of zero characteristic. For every finite graph Γ, we construct an R-arithmetic linear group H(Γ). The group H(Γ) is realized as the factor automorphism group of a partially commutative class two nilpotent R-group G _Γ. Also we describe the structure of the entire automorphism group of a partially commutative nilpotent R-group of class two.     

Algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups

We study algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups. A special attention is paid to free nilpotent groups and the groups UT _n (Z) of unitriangular (n×n)-matrices over the ring Z of integers for arbitrary n. We observe that the sets of retracts of finitely generated nilpotent groups coincides with the sets of their algebraically closed subgroups. We give an example showing that a verbally closed subgroup in a finitely generated nilpotent group may fail to be a retract (in the case under consideration, equivalently, fail to be an algebraically closed subgroup). Another example shows that the intersection of retracts (algebraically closed subgroups) in a free nilpotent group may fail to be a retract (an algebraically closed subgroup) in this group. We establish necessary conditions fulfilled on retracts of arbitrary finitely generated nilpotent groups. We obtain sufficient conditions for the property of being a retract in a finitely generated nilpotent group. An algorithm is presented determining the property of being a retract for a subgroup in free nilpotent group of finite rank (a solution of a problem of Myasnikov). We also obtain a general result on existentially closed subgroups in finitely generated torsion-free nilpotent with cyclic center, which in particular implies that for each n the group UT _n (Z) has no proper existentially closed subgroups.     

Locally nilpotent groups with a centralizer of finite rank

Locally nilpotent groups in which the centralizer of some finitely generated subgroup has finite rank are studied. It is shown that if G is such a group and F is a finitely generated subgroup with centralizer C_G(F) of finite rank, then the centralizer of the image of F in the factor group G/t(G) modulo the periodic part t(G) also has finite rank. It is also shown that G is hypercentral when F is cyclic and either G is torsion-free or all Sylow subgroups of the periodic part of C_G(F) are finite.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 11, pp. 1511–1517, November, 1992.     

The bieri-strebel invariant and homological finiteness conditions for metabelian groups

A group Γ has type F P_n if a trivial ℤΓ-module ℤ has a projective resolution P:…P_n → … → P₁ → P₀ → ℤ in which ℤΓ-module P_n,…P₁, P₀ are finitely generated. Let the finitely generated group Γ be a split extension of the Abelian group M by an Abelian group Q, suppose M is torsion free, and assume Γ∈F P_m, m≥2. Then the invariant ∑ _c ^M is m-tame. Translated fromAlgebra i Logika, Vol. 36, No. 2, pp. 194–218, March–April, 1997.     

On the homotopy type of p-completions of infra-nilmanifolds

Infra-nilmanifolds are compact K(G,1)-manifolds with G a torsion-free, finitely generated, virtually nilpotent group. Motivated by previous results of various authors on p-completions of K(G,1)-spaces with G a finite or a nilpotent group, we study the homotopy type of p-completions of infra-nilmanifolds, for any prime p. We prove that the p-completion of an infra-nilmanifold is a virtually nilpotent space which is either aspherical or has infinitely many nonzero homotopy groups. The same is true for p-localization. Moreover, we show by means of examples that rationalizations of infra-nilmanifolds may be elliptic or hyperbolic. Received: 12 December 2001 / Published online: 5 September 2002     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

Virtually Nilpotent Groups with (almost) All Localizations Trivial

A group G is generically trivial if and only if, for all prime numbers p the localization of G with respect to p is trivial. Taking off from a theorem of Casacuberta and Castellet , we prove that a virtually nilpotent group E is generically trivial if and only if E is perfect. Inspired by this result, we introduce the concept of almost generically trivial groups. Those are groups G such that, for only finitely many primes p the localization of G with respect to p is not trivial. We prove that a virtually nilpotent group E with finitely generated abelianization is almost generically trivial if and only if the abelianization of E is finite.     

NILPOTENT GROUPS AND ABELIANIZATION

We study the question of what properties of nilpotent groups are shared by their abelianizations. We identify two such properties—that of being a π-torsion group, where π is a family of primes, and that of having q^th roots, for some prime q. We use these properties to provide simplified proofs of the following theorems in the localization of nilpotent groups.

Let H, K be subgroups of the nilpotent group N and let P be a family of primes. Then [H, K] P = [H_P, K_p]

Let the group G act on the nilpotent group N. Then G acts compatibly on N_p and (Γ^G _i N)_P = Γ^G _i(N_p).

The second theorem above is then applied to the study of the localization of relative groups, in the sense of [4].     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.