• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.709-723
• /
• 2022

In this note, we revise some vanishing and finiteness results on hypersurfaces with finite index in ℝⁿ⁺¹. When the hypersurface is stable minimal, we show that there is no nontrivial L^2p harmonic 1-form for some p. The our range of p is better than those in [7]. With the same range of p, we also give finiteness results on minimal hypersurfaces with finite index.

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

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.143-148
• /
• 2001

First, we show the finiteness property of the homotopy fixed point set of p-discrete toral group. Let $G_\infty$ be a p-discrete toral group and X be a finite complex with an action of $G_\infty such that X^K$ is nilpotent for each finit p-subgroup K of $G_\infty$. Assume X is $F_\rho-complete$. Then X(sup)hG$\infty$ is F(sub)p-finite. Using this result, we give the condition so that X$^{hG}$ is $F_\rho-finite for \rho-compact$ toral group G.

• Journal of Navigation and Port Research
• /
• v.26 no.4
• /
• pp.419-426
• /
• 2002

The conventional RTK-GPS technique has many problems which are permission using RF wireless modem, influence of geographic obstacle using radio wave, frequency interference, finiteness of frequency resources. To solve these problems, in this paper, we designed the DGPS correction message transmission system as a method to substitute the RF wireless modem of RTK-DGPS receiver. Then the interface module was designed and implemented for linkage of GPS receiver and mobile phone. As a result worked differential surveying using receiving correction message using RS-232C and communication control, users of mobile station were worked differential surveying correction between mobile phones. Interface module system was received the same result of precision which was compared RF wireless modem system.