On the profinite topology on solvable groups

2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Khadijeh Alibabaei

AbstractWe show that the wreath product of a finitely generated abelian group with a polycyclic group is a LERF group. This theorem yields as a corollary that finitely generated free metabelian groups are LERF, a result due to Coulbois. We also show that a free solvable group of class 3 and rank at least 2 does not contain a strictly ascending HNN-extension of a finitely generated group. Since such groups are known not to be LERF, this settles, in the negative, a question of J. O. Button.

2015 ◽  
Vol 25 (05) ◽  
pp. 917-926
Author(s):  
Pranab Sardar

We show that any subgroup of a (virtually) nilpotent-by-polycyclic group satisfies the bounded packing property of Hruska–Wise [Packing subgroups in relatively hyperbolic groups, Geom. Topol. 13 (2009) 1945–1988]. In particular, the same is true for all finitely generated subgroups of metabelian groups and linear solvable groups. However, we find an example of a finitely generated solvable group of derived length 3 which admits a finitely generated metabelian subgroup without the bounded packing property. In this example the subgroup is a retract also. Thus we obtain a negative answer to Problem 2.27 of the above paper. On the other hand, we show that polycyclic subgroups of solvable groups satisfy the bounded packing property.


2012 ◽  
Vol 22 (02) ◽  
pp. 1250012 ◽  
Author(s):  
OLGA KHARLAMPOVICH ◽  
ATEFEH MOHAJERI MOGHADDAM

It is known that the bounded Geodesic Length Problem in free metabelian groups is NP-complete [A. Myasnikov, V. Roman'kov, A. Ushakov and A. Vershik, The word and geodesic problems in free solvable groups, Trans. Amer. Math. Soc.362(9) (2010) 4655–4682] (in particular, the Geodesic Problem is NP-hard). We construct a 2-approximation polynomial time deterministic algorithm for the Geodesic Problem. We show that the Geodesic Problem in the restricted wreath product of a finitely generated non-trivial group with a finitely generated abelian group containing ℤ2 is NP-hard and there exists a Polynomial Time Approximation Scheme for this problem. We also show that the Geodesic Problem in the restricted wreath product of two finitely generated non-trivial abelian groups is NP-hard if and only if the second abelian group contains ℤ2.


2010 ◽  
Vol 17 (spec01) ◽  
pp. 799-802 ◽  
Author(s):  
Mehri Akhavan-Malayeri

Let W = G ≀ H be the wreath product of G by an n-generator abelian group H. We prove that every element of W′ is a product of at most n+2 commutators, and every element of W2 is a product of at most 3n+4 squares in W. This generalizes our previous result.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Wenhao Wang

Abstract In this paper, we compute an upper bound for the Dehn function of a finitely presented metabelian group. In addition, we prove that the same upper bound works for the relative Dehn function of a finitely generated metabelian group. We also show that every wreath product of a free abelian group of finite rank with a finitely generated abelian group can be embedded into a metabelian group with exponential Dehn function.


1975 ◽  
Vol 78 (3) ◽  
pp. 357-368 ◽  
Author(s):  
B. A. F. Wehrfritz

This paper is devoted to the construction of faithful representations of the automorphism group and the holomorph of an extension of an abelian group by some other group, the representations here being homomorphisms into certain restricted parts of the automorphism groups of smallish abelian groups. We apply these to two very specific cases, namely to finitely generated metabelian groups and to certain soluble groups of finite rank. We describe the applications first.


2021 ◽  
pp. 1-26
Author(s):  
EDUARDO SILVA

Abstract For an ascending HNN-extension $G*_{\psi }$ of a finitely generated abelian group G, we study how a synchronization between the geometry of the group and weak periodicity of a configuration in $\mathcal {A}^{G*_{\psi }}$ forces global constraints on it, as well as in subshifts containing it. A particular case are Baumslag–Solitar groups $\mathrm {BS}(1,N)$ , $N\ge 2$ , for which our results imply that a $\mathrm {BS}(1,N)$ -subshift of finite type which contains a configuration with period $a^{N^\ell }\!, \ell \ge 0$ , must contain a strongly periodic configuration with monochromatic $\mathbb {Z}$ -sections. Then we study proper n-colorings, $n\ge 3$ , of the (right) Cayley graph of $\mathrm {BS}(1,N)$ , estimating the entropy of the associated subshift together with its mixing properties. We prove that $\mathrm {BS}(1,N)$ admits a frozen n-coloring if and only if $n=3$ . We finally suggest generalizations of the latter results to n-colorings of ascending HNN-extensions of finitely generated abelian groups.


1984 ◽  
Vol 27 (4) ◽  
pp. 485-489
Author(s):  
A. H. Rhemtulla ◽  
H. Smith

AbstractA group G is said to have the FINITE INDEX property (G is an FI-group) if, whenever H≤G, xp ∈ H for some x in G and p > 0, then |〈H, x〉: H| is finite. Following a brief discussion of some locally nilpotent groups with this property, it is shown that torsion-free solvable groups of finite rank which have the isolator property are FI-groups. It is deduced from this that a finitely generated torsion-free solvable group has an FI-subgroup of finite index if and only if it has finite rank.


2006 ◽  
Vol 16 (05) ◽  
pp. 875-886 ◽  
Author(s):  
DACIBERG GONÇALVES ◽  
PETER WONG

Let G be a finitely generated abelian group and G ≀ ℤ be the wreath product. In this paper, we classify all such groups G for which every automorphism of G ≀ ℤ has infinitely many twisted conjugacy classes.


2018 ◽  
Vol 28 (08) ◽  
pp. 1613-1632 ◽  
Author(s):  
A. G. Myasnikov ◽  
N. S. Romanovskii

In this paper we show that all finitely generated nilpotent, metabelian, polycyclic, and rigid (hence free solvable) groups [Formula: see text] are fully characterized in the class of all groups by the set [Formula: see text] of types realized in [Formula: see text]. Furthermore, it turns out that these groups [Formula: see text] are fully characterized already by some particular rather restricted fragments of the types from [Formula: see text]. In particular, every finitely generated nilpotent group is completely defined by its [Formula: see text]-types, while a finitely generated rigid group is completely defined by its [Formula: see text]-types, and a finitely generated metabelian or polycyclic group is completely defined by its [Formula: see text]-types. We have similar results for some non-solvable groups: free, surface, and free Burnside groups, though they mostly serve as illustrations of general techniques or provide some counterexamples.


1971 ◽  
Vol 12 (2) ◽  
pp. 145-160 ◽  
Author(s):  
Jacques Lewin ◽  
Tekla Lewin

A consequence of Schreier's formula is that if G is a subgroup of the free group F of rank n < 1 and rank G ≦ n, then G = F or G is of infinite index in F. However, if S is a free sovlvable group of derived length I < 1 and H is a subgroup of S which is free solvable of the same length, then the rank of H does not exceed the rank of S. These observations led G. Baumslag to conjecture that if H is of finite index in S then H = S. In fact, we have sharper results in two directions. If H and S are free solvable of the same length, not only is H of infinite index in S, but δ1−1(S)/δ1−1(H) is torsion-free. In another direction we need not assume that S is free solvable, only that s is torsion-free and of derived length l (l > 1) and that H is not cyclic. Thus Stallings' theorem [11] that a finitely generated torsionfree group with a free subgroup of finite index is itself free has an even stronger counterpart in the variety of groups solvable of length at most l (l > 1): a torsionfree group in that variety with a non-cyclic free subgroup of finite index coincides with this subgroup. The proof relies on the following theorem: If S is a free solvable group, J is the group of automorphisms of S which induce the identity on S/S', and I is the group of inner automorphisms of S, then J/I is torsion-free. The proofs of these theorems form the bulk of the first four sections.


Sign in / Sign up

Export Citation Format

Share Document