• Journal of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.67-72
• /
• 1986

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

• Journal of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1215-1227
• /
• 2012

The membership of the generalized local cohomology modules $H_a^i$(M,N) of two R-modules M and N with respect to an ideal a in certain Serre subcategories of the category of modules is studied from below ($i<t$). Furthermore, the behaviour of the $n$th graded component $H_a^i(M,N)_n$ of the generalized local cohomology modules with respect to an ideal containing the irrelevant ideal as $n{\rightarrow}-{\infty}$ is investigated by using the above result, in certain graded situations.

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.955-964
• /
• 2015

Let K be a number field and let S be a finite set of primes of K containing all the infinite ones. Let ${\alpha}_0{\in}{\mathbb{A}}^1(K){\subset}{\mathbb{P}}^1(K)$ and let ${\Gamma}_0$ be the set of the images of ${\alpha}_0$ under especially all Chebyshev morphisms. Then for any ${\alpha}{\in}{\mathbb{A}}^1(K)$, we show that there are only a finite number of elements in ${\Gamma}_0$ which are S-integral on ${\mathbb{P}}^1$ relative to (${\alpha}$). In the light of a theorem of Silverman we also propose a conjecture on the finiteness of integral points on an arbitrary dynamical system on ${\mathbb{P}}^1$, which generalizes the above finiteness result for Chebyshev morphisms.

• Journal for History of Mathematics
• /
• v.14 no.1
• /
• pp.41-46
• /
• 2001

In the western culture, the definition of infinity and finiteness developed into various features, being combined with classical Hebraism and Hellenism, and after modernism, it has been paralleled with natural sciences within the circle of its tradition, whereas the definition of infinity has been showed in Buddhism, the traditional religion, which has been handed down without scientific consideration, in the eastern culture. This is the most notable characteristics between two hemispheres. In this paper, I will show sameness and differences of these two cultures in terms of defining infinity. Also in terms of examining the definition of infinity and finiteness in the Buddhist principles which has been handed down since 600∼500 B.C. I will show how the definition of Buddhist infinity connect with the mathematical definition of today.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.555-561
• /
• 2005

In this note we give characterizations for certain HNN extensions with central associated subgroups to be residually finite. We then apply our results to HNN extensions of polycyclic-by-finite groups.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.531-539
• /
• 2009

In this paper we first present a structure theorem for an infinite locally finite 3-connected VAP-free planar graph, and in connection with this result we study a possible classification of infinite locally finite planar graphs by reducing modulo finiteness.

• Journal of the Korean Statistical Society
• /
• v.30 no.4
• /
• pp.573-583
• /
• 2001

A condition in which the covariances of Matheron's variogram estimators are expressed in a simple form is reviewed. An asymptotic property of the covariances of the variogram estimators is examined, and a sufficient condition that guaranties the finiteness of the asymptotic variance of the normalized variogram estimators is provided.

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

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.4
• /
• pp.335-343
• /
• 2021

In this article, we investigate the finiteness of Auslander Index when a ring A has not necessarily a canonical module, or a Gorenstein module. We also study the relations between column invariants and row invariants.