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

• Communications of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.1181-1197
• /
• 2022

We give a complete classification of simply connected and solvable real Lie groups whose nontrivial coadjoint orbits are of codimension 1. This classification of the Lie groups is one to one corresponding to the classification of their Lie algebras. Such a Lie group belongs to a class, called the class of MD-groups. The Lie algebra of an MD-group is called an MD-algebra. Some interest properties of MD-algebras will be investigated as well.

• Communications of the Korean Mathematical Society
• /
• v.11 no.1
• /
• pp.23-31
• /
• 1996

Our main purpose in this paper is to determine the Galois group of the given irreducible septic polynomial ove Q by using three resolvant polynomials and the discriminant of the given polynomial.

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.1
• /
• pp.17-26
• /
• 2021

The purpose of this paper is to determine the structure of the crystallographic group 𝚷 of the 4-dimensional solvable Lie group Sol ⁴_m,n that the translation subgroup of 𝚷, 𝚪 := 𝚷; ∩ Sol⁴_m,n, is generated by the particular elements.

• Journal of Integrative Natural Science
• /
• v.10 no.2
• /
• pp.110-114
• /
• 2017

The connected and simply connected four-dimensional matrix solvable Lie group $Sol^4_1$ is the four-dimensional geometry. A crystallographic group of $Sol^4_1$ is a discrete cocompact subgroup of $Sol^4_1{\rtimes}D(4)$. In this paper, we geometrically describe the crystallographic groups of $Sol^4_1$.

• Kyungpook Mathematical Journal
• /
• v.62 no.4
• /
• pp.769-772
• /
• 2022

Given a prime number p and a natural number m not divisible by p, we propose the problem of finding the smallest number r₀ such that for r ≥ r₀, every group G of order p^rm has a non-trivial normal p-subgroup. We prove that we can explicitly calculate the number r₀ in the case where every group of order p^rm is solvable for all r, and we obtain the value of r₀ for a case where m is a product of two primes.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.497-506
• /
• 2009

This work studies about the composition polynomial f(g(x)) that preserves certain properties of f(x) and g(x). We shall investigate necessary and sufficient conditions of f(x) and g(x) to be f(g(x)) is separable, solvable by radical or split completely. And we find relationship of Galois groups of f(g(x)), f(x) and of g(x).

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.137-143
• /
• 2019

In this paper, we show that $A_4$ is the only finite group with exactly two conjugacy classes of the same size having some non-real linear characters.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.909-919
• /
• 2020

The 4-dimensional solvable Lie group Sol₀⁴ does not admit a lattice. The purpose of this paper is two-fold. We study poly-crystallographic groups of Sol₀⁴, and then we study Nielsen fixed point theory on the spaces modeled on Sol₀⁴.

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