On the failure of the co-hopf property for subgroups of word-hyperbolic groups

We provide an example of a finitely generated subgroupH of a torsion-free word-hyperbolic groupG such thatH is one-ended, andH does not split over a cyclic group, andH is isomorphic to one of its proper subgroups. Supported as an NSF Postdoctoral Fellow under grant no. DMS-9627506.     

On the structure of two-generated hyperbolic groups

We show that every two-generated torsion-free one-ended word-hyperbolic group has virtually cyclic outer automorphism group. This is done by computing the JSJ-decomposition for two-generator hyperbolic groups. We further prove that two-generated torsion-free word-hyperbolic groups are strongly accessible. This means that they can be constructed from groups with no nontrivial cyclic splittings by applying finitely many free products with amalgamation and HNN-extensions over cyclic subgroups. Received June 25, 1998     

Deciding finiteness for matrix groups over function fields

LetF be a field andt an indeterminate. In this paper we consider aspects of the problem of deciding if a finitely generated subgroup of GL(n,F(t)) is finite. WhenF is a number field, the analysis may be easily reduced to deciding finiteness for subgroups of GL(n,F), for which the results of [1] can be applied. WhenF is a finite field, the situation is more subtle. In this case our main results are a structure theorem generalizing a theorem of Weil and upper bounds on the size of a finite subgroup generated by a fixed number of generators with examples of constructions almost achieving the bounds. We use these results to then give exponential deterministic algorithms for deciding finiteness as well as some preliminary results towards more efficient randomized algorithms. Supported in part by NSF DMS Awards 9404275 and Presidential Faculty Fellowship.     

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.     

Quasi-isometries between groups with infinitely many ends

Let G, F be finitely generated groups with infinitely many ends and let? be graph of groups decompositions of F, G such that all edge groups are finite and all vertex groups have at most one end. We show that G, F are quasi-isometric if and only if every one-ended vertex group of is quasi-isometric to some one-ended vertex group of and every one-ended vertex group of is quasi-isometric to some one-ended vertex group of?. From our proof it also follows that if G is any finitely generated group, of order at least three, the groups: and are all quasi-isometric. Received: April 7, 2000; revised version: October 6, 2000     

E-Finitely generated groups

An abelian group G is said to be E-finitely generated (respectively, E-cyclic) if it is finitely generated (resp., cyclic) as a module over its endomorphism ring E. In this paper we refine a theorem of Reid [5] cUid apply the result to settle a question of some years standing concerning infinitely gen¬erated groups. We also determine the structure of torsion-free groups of finite rank for which Q ?_z is a progenerator over Q ?_z E     

Groups with few conjugacy classes of non-normal subgroups

The structure of groups with finitely many non-normal subgroups is well known. In this paper, groups are investigated with finitely many conjugacy classes of non-normal subgroups with a given property. In particular, it is proved that a locally soluble group with finitely many non-trivial conjugacy classes of non-abelian subgroups has finite commutator subgroup. This result generalizes a theorem by Romalis and Sesekin on groups in which every non-abelian subgroup is normal.      

A Hilbert-Nagata theorem in noncommutative invariant theory

Nagata gave a fundamental sufficient condition on group actions on finitely generated commutative algebras for finite generation of the subalgebra of invariants. In this paper we consider groups acting on noncommutative algebras over a field of characteristic zero. We characterize all the T-ideals of the free associative algebra such that the algebra of invariants in the corresponding relatively free algebra is finitely generated for any group action from the class of Nagata. In particular, in the case of unitary algebras this condition is equivalent to the nilpotency of the algebra in Lie sense. As a consequence we extend the Hilbert-Nagata theorem on finite generation of the algebra of invariants to any finitely generated associative algebra which is Lie nilpotent. We also prove that the Hilbert series of the algebra of invariants of a group acting on a relatively free algebra with a non-matrix polynomial identity is rational, if the action satisfies the condition of Nagata.

     

Limit sets of relatively hyperbolic groups

In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general convergence groups. We also establish dynamical quasiconvexity of undistorted subgroups in finitely generated groups with nontrivial Floyd boundaries.     

Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

Subgroup properties of fully residually free groups

We prove that fully residually free groups have the Howson property, that is the intersection of any two finitely generated subgroups in such a group is again finitely generated. We also establish some commensurability properties for finitely generated fully residually free groups which are similar to those of free groups. Finally we prove that for a finitely generated fully residually free group the membership problem is solvable with respect to any finitely generated subgroup.

     

Abelian subgroup separability of certain generalized free products of free or finitely generated nilpotent groups

In this paper we prove that certain generalized free products of abelian subgroup separable groups, amalgamating an infinite cyclic subgroup, are abelian subgroup separable. Applying this, we derive that tree products of free groups or finitely generated nilpotent groups, amalgamating infinite cyclic subgroups, are abelian subgroup separable.     

Variations on the theme of FC-groups

The following is clearly equivalent to the usual definition of FC-group. A group is an FC-group, if each of its cyclic subgroups has only finitely many conjugates. We consider several weaker conditions on the conjugates of cyclic subgroups, the strongest of which we show is equivalent to the FC-condition for many classes of groups.     

Growth of relatively hyperbolic groups

We show that a finitely generated group that is hyperbolic relative to a collection of proper subgroups either is virtually cyclic or has uniform exponential growth.

     

Palindromic Width of Finitely Generated Solvable Groups

We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated 3-step solvable group has finite palindromic width. More generally, we show the finiteness of the palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step ≥3, we prove that if G is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of G is finite. We also prove that the palindromic width of ??? with respect to the set of standard generators is 3.     

Finite dimensional groups of local diffeomorphisms

We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic groups and their subgroups. Such groups are called finitedimensional. We obtain that cyclic groups, virtually polycyclic groups, finitely generated virtually nilpotent groups and connected Lie groups of local biholomorphisms are finite-dimensional. We provide several methods to identify finite-dimensional groups and build examples.As a consequence we generalize results of Arnold, Seigal–Yakovenko and Binyamini on uniform estimates of local intersection multiplicities to bigger classes of groups, including for example virtually polycyclic groups and in particular finitely generated virtually nilpotent groups.     

Some properties of polynomial subgroup growth groups

A PSG group is one in which the number of subgroups of given index is bounded by a fixed power of this index. The finitely generated PSG groups are known. Here we prove some properties of such groups which need not be finitely generated. We derive, e.g., restrictions on the chief factors (Theorem 1) and on the number of generators of subgroups (Theorem 5). To Wolf Prize laureate John Thompson Partially supported by a BSF grant.     

On Turner’s theorem and first-order theory

A theorem of E.C. Turner states that if F is a finitely generated free group, then the test words are precisely the elements not contained in any proper retract. In this paper, we examine some ideas in model theory and logic related to Turner’s characterization of test words and introduce Turner groups, a class of groups containing all finite groups and all stably hyperbolic groups satisfying this characterization. We show that Turner’s theorem is not first-order expressible. However, we prove that every finitely generated elementary free group is a Turner group.     

Hall’s Theorem for Limit Groups

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two properties. This answers a question of Sela. Received: May 2006 Revision: May 2007 Accepted: May 2007