Weak potency of fundamental groups of graphs of groups.
type: Item
instance of: scholarly article
title: Weak potency of fundamental groups of graphs of groups.
zbMATH Open document ID: 1201.20019
author: P. C. Wong
author: C. K. Tang
author: H. W. Gan
published in: Bulletin of the Malaysian Mathematical Sciences Society. Second Series
publication date: 2010-05-27T00:00:00Z
full work available at URL: https://eudml.org/doc/244386
full work available at URL: vol33 2 8.html
review text: A group \(G\) is called weakly potent if for any element \(x\) of infinite order in \(G\), we can find a positive integer \(r\) with the property that for every positive integer \(n\), there exists a normal subgroup \(M_n\) of finite index in \(G\) such that \(xM_n\) has order exactly \(rn\). \textit{B. Evans} [Pac. J. Math. 55, 371-379 (1974; Zbl 0327.20013)] and \textit{C. Y. Tang} [Can. Math. Bull. 38, No. 1, 120-127 (1995; Zbl 0822.20027)] proved that polycyclic-by-finite and free-by-finite groups are weakly potent. A group \(G\) is called \(H\)-separable for the subgroup \(H\) if for each \(x\in G\setminus H\), there exists \(N\triangleleft_fG\) such that \(x\not\in HN\). In this paper the authors prove: Theorem: (Th. 3.1 in the paper) Let \(G=\langle t,A\mid t^{-1}ht=k\rangle\) where \(A\) is a weakly potent group and \(\langle h\rangle,\langle k\rangle\) are infinite cyclic subgroups of \(A\) such that \(\langle h\rangle\cap\langle k\rangle\neq 1\). Suppose that \(A\) is \(\langle h\rangle\)-separable and \(\langle k\rangle\)-separable. Then \(G\) is weakly potent if and only if \(h^m=k^{\pm m}\) for some \(m>0\). Theorem: (Th. 4.1 in the paper) Let \(G=G_1*_HG_2\) where \(G_1,G_2\) are weakly potent and \(H=\langle h\rangle\) is infinite cyclic. Suppose that \(G_1,G_2\) are \(\langle h\rangle\)-separable. Then \(G\) is weakly potent. Extending these theorems to the case of HNN extensions with many free generators \(t_i\) and in the case of tree products with many vertices and combining them, the authors give a characterization for the fundamental group of graph of weakly potent groups with infinite cyclic edge groups to be weakly potent. -- As a corollary they prove that the one-relator groups with non-trivial center are weakly potent.
reviewed by: Dimitrios Varsos
Mathematics Subject Classification ID: 20E06
Mathematics Subject Classification ID: 20E26
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 5712981
zbMATH Keywords: fundamental groups of graphs of groups
zbMATH Keywords: weakly potent groups
zbMATH Keywords: cyclic subgroup separable groups
zbMATH Keywords: HNN extensions
zbMATH Keywords: tree products
zbMATH Keywords: polycyclic-by-finite groups
zbMATH Keywords: free-by-finite groups
zbMATH Keywords: one-relator groups
MaRDI profile type: Publication
Recommended article: Q4225648
Recommended article: Fundamental Groups of Graphs of Cyclic Subgroup Separable and Weakly Potent Groups
Recommended article: Q4885002
Recommended article: Q4532985
Recommended article: ON THE RESIDUAL FINITENESS OF FUNDAMENTAL GROUPS OF GRAPHS OF CERTAIN GROUPS
Recommended article: Q4374822
Recommended article: Q6070579
Recommended article: On the virtual potency of some groups and free constructions
Recommended article: On the weak \(\pi \)-potency of some groups and free products
Recommended article: Q3472291
description: scientific article; zbMATH DE number 5712981