• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.785-796
• /
• 2024

Let p be a prime. A group G is said to be residually p-finite if for each non-trivial element x of G, there exists a normal subgroup N of index a power of p in G such that x is not in N. In this note we shall prove that certain HNN extensions of free abelian groups of finite rank are residually p-finite. In addition some of these HNN extensions are subgroup separable. Characterisations for certain one-relator groups and similar groups including the Baumslag-Solitar groups to be residually p-finite are proved.

• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.603-612
• /
• 2021

We generalize 3-manifolds supporting non-positively curved metric to construct manifolds which have the following properties : (1) They are not locally CAT(0). (2) Their fundamental groups are residually finite. (3) They have subgroup separability for some abelian subgroups.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.367-374
• /
• 2003

Let N be a Closed n-manifold with residually finite, torsion free $\pi$$_1$(N) and finite H$_1$,(N). Suppose that $\pi$$\_$k/(N)=0 for 1 < k < n-1. We show that N is a codimension-n PL fibrator if and only if N does not cover itself regularly and cyclically up to homotopy type, provided $\pi$$_1$(N) satisfies a certain condition.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.61-71
• /
• 2007

A group G is called cyclic subgroup separable for the cyclic subgroup H if for each $x\;{\in}\;G{\backslash}H$, there exists a normal subgroup N of finite index in G such that $x\;{\not\in}\;HN$. Clearly a cyclic subgroup separable group is residually finite. In this note we show that certain polygonal products of cyclic subgroup separable groups amalgamating normal subgroups are again cyclic subgroup separable. We then apply our results to polygonal products of polycyclic-by-finite groups and free-by-finite groups.

• 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].

• Honam Mathematical Journal
• /
• v.24 no.1
• /
• pp.93-101
• /
• 2002

The $S^1$-Eule characteristics of X is defined by $\bar{\chi}_{S^1}(X)\;{\in}\;HH_1(ZG)$, where G is the fundamental group of connected finite $S^1$-compact manifold or connected finite $S^1$-finite complex X and $HH_1$ is the first Hochsch ild homology group functor. The purpose of this paper is to find several cases which the $S^1$-Euler characteristic has a homotopic invariant.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.813-823
• /
• 2024

In this paper, we prove that every 2-local derivation on several classes of C^*-algebras, such as unital properly infinite, type I or residually finite-dimensional C^*-algebras, is a derivation. We show that the following statements are equivalent: (1) every 2-local derivation on a C^*-algebra is a derivation, (2) every 2-local derivation on a unital primitive antiliminal and no properly infinite C^*-algebra is a derivation. We also show that every 2-local derivation on a group C^*-algebra C^*(𝔽) or a unital simple infinite-dimensional quasidiagonal C^*-algebra, which is stable finite antiliminal C^*-algebra, is a derivation.