Abstract:Abstract. The study of one-relator groups includes the connections between group properties and the form of the relator. In this paper we discuss conditions on the form w1v'uvm which force the corresponding one-relator groups to be nonresidually finite, i.e. the intersection of the normal subgroups of finite index to be nontrivial. Moreover we show that these forms can be detected amongst the words of a free group.
“…The simplest example of this descending HEN-extension is the Baumslang-Solitaire group G n = (a, b; b −1 ab = a n ), where n = 0. This group is finite approximable [9,10], and it is also almost F p -approximable if and only if p does not divide n [11].…”
For soluble groups of finite rank we obtain the necessary and sufficient condition to be a virtually residually finite p-group. We also prove that a soluble group G of finite rank is residually π-finite for some finite set π of primes if and only if it has no subgroups of type Q and the torsion radical of G is a finite group.
“…The simplest example of this descending HEN-extension is the Baumslang-Solitaire group G n = (a, b; b −1 ab = a n ), where n = 0. This group is finite approximable [9,10], and it is also almost F p -approximable if and only if p does not divide n [11].…”
For soluble groups of finite rank we obtain the necessary and sufficient condition to be a virtually residually finite p-group. We also prove that a soluble group G of finite rank is residually π-finite for some finite set π of primes if and only if it has no subgroups of type Q and the torsion radical of G is a finite group.
“…These groups have provided examples which mark boundaries between different classes of groups. For example, BS(λ, µ) is residually finite [19] if and only if |λ| = |µ| or |λ| = 1 or |µ| = 1. It is known that BS(λ, µ) is solvable if and only if |λ| = 1 or |µ| = 1.…”
Abstract. We show that, for any non-zero integers λ, µ, ν, ξ, classpreserving automorphisms of the groupare all inner. Hence, by using Grossman's result, the outer automorphism group of G(λ, ±λ, ν, ξ) is residually finite.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.