• Title/Summary/Keyword: HNN extensions

Search Result 6, Processing Time 0.016 seconds

CYCLIC SUBGROUP SEPARABILITY OF HNN EXTENSIONS

  • Kim, Goansu
    • Bulletin of the Korean Mathematical Society
    • /
    • v.30 no.2
    • /
    • pp.285-293
    • /
    • 1993
  • In [4], Baumslag and Tretkoff proved a residual finiteness criterion for HNN extensions (Theorem 1.2, below). This result has been used extensively in the study of the residual finiteness of HNN extensions. Note that every one-relator group can be embedded in a one-relator group whose relator has zero exponent sum on a generator, and the latter group can be considered as an HNN extension. Hence the properties of an HNN extension play an important role in the study of one-relator groups [3], [2]. In this paper we prove a criterion for HNN extensions to be .pi.$_{c}$(Theorem 2.2). Moreover, we can prove that certain one-relator groups, known to be residually finite, are actually .pi.$_{c}$. It was known by Mostowski [10] that the word problem is solvable for finitely presented, residually finite groups. In the same way, the power problem is solvable for finitely presented .pi.$_{c}$ groups. Another application of subgroup separability with respect to special subgroups was mentioned by Thurston [12, Problem 15].m 15].

  • PDF

CLASS-PRESERVING AUTOMORPHISMS OF CERTAIN HNN EXTENSIONS OF BAUMSLAG-SOLITAR GROUPS

  • Kim, Goansu;Zhou, Wei
    • Bulletin of the Korean Mathematical Society
    • /
    • v.53 no.4
    • /
    • pp.1033-1041
    • /
    • 2016
  • We show that, for any non-zero integers ${\lambda}$, ${\mu}$, ${\nu}$, ${\xi}$, class-preserving automorphisms of the group $$G({\lambda},{\mu},{\nu},{\xi})={\langle}a,b,t:b^{-1}a^{\lambda}b=a^{\mu},t^{-1}a^{\nu}t=b^{\xi}{\rangle}$$ are all inner. Hence, by using Grossman's result, the outer automorphism group of $G({\lambda},{\pm}{\lambda},{\nu},{\xi})$ is residually finite.

ON THE RESIDUAL FINITENESS OF FUNDAMENTAL GROUPS OF GRAPHS OF CERTAIN GROUPS

  • Kim, Goansu
    • Journal of the Korean Mathematical Society
    • /
    • v.41 no.5
    • /
    • pp.913-920
    • /
    • 2004
  • We give a characterization for fundamental groups of graphs of groups amalgamating cyclic edge subgroups to be cyclic subgroup separable if each pair of edge subgroups has a non-trivial intersection. We show that fundamental groups of graphs of abelian groups amalgamating cyclic edge subgroups are cyclic subgroup separable, hence residually finite, if each edge subgroup is isolated in its containing vertex group.