• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1753-1763
• /
• 2013

In this paper, we show that tree products of certain subgroup separable groups amalgamating normal subgroups are cyclic subgroup separable. We then extend this result to certain graph product of certain subgroup separable groups amalgamating normal subgroups, that is we show that if the graph has exactly one cycle and the cycle is of length at least four, then the graph product is cyclic subgroup separable.

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.1
• /
• pp.47-49
• /
• 2007

We compute the special orthogonal group of certain lattice of signature (2, 1).

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.89-98
• /
• 2011

The Fourier series has a rapid oscillation near end points at jump discontinuity which is called the Gibbs phenomenon. There is an overshoot (or undershoot) of approximately 9% at jump discontinuity. In this paper, we prove that a bunch of series representations (certain nonharmonic Fourier series) give good approximations vanishing Gibbs phenomenon. Also we have an application for approximating some shape of upper part of a vehicle in a different way from the method of cubic splines and wavelets.

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.263-272
• /
• 2011

In the paper [1], an explicit correspondence between certain cubic irreducible polynomials over $\mathbb{F}_q$ and cubic irreducible polynomials of special type over $\mathbb{F}_{q^2}$ was established. In this paper, we show that we can mimic such a correspondence for quintic polynomials. Our transformations are rather constructive so that it can be used to generate irreducible polynomials in one of the finite fields, by using certain irreducible polynomials given in the other field.

• Communications of the Korean Mathematical Society
• /
• v.20 no.4
• /
• pp.803-812
• /
• 2005

We construct an infinite family of closed 3-manifolds M(2m+ 1, n, k) which are identification spaces of certain polyhedra P(2m+ 1, n, k), for integers $m\;\ge\;1,\;n\;\ge\;3,\;and\;k\;\ge\;2$. We prove that they are (n / d)- fold cyclic coverings of the 3-sphere branched over certain links $L_{(m,d)}$, where d = gcd(n, k), by handle decomposition of orbifolds. This generalizes the results in [3] and [2] as a particular case m = 2.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.1025-1031
• /
• 2017

We prove the uniqueness of solutions for the boundary value problem of certain nonlinear elliptic operators in the setting: Given any continuous function f on the p-harmonic boundary of a complete Riemannian manifold, there exists a unique solution of certain nonlinear elliptic operators, which is a limit of a sequence of solutions of the operators with finite energy in the sense of supremum norm, on the manifold taking the same boundary value at each p-harmonic boundary as that of f.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.4
• /
• pp.763-769
• /
• 2014

In this paper, we illustrate a counter example for the converse of a certain conjecture proposed by De Giorgi. De Giorgi suggested a series of conjectures, in which a certain integral condition for singularity or degeneracy of an elliptic operator is satisfied, the solutions are continuous. We construct some singular elliptic operators and solutions such that the integral condition does not hold, but the solutions are continuous.

• Journal of Integrative Natural Science
• /
• v.3 no.4
• /
• pp.241-245
• /
• 2010

In this paper, we study how to use CAS to solve certain minmax problems. More specifically, we reduce some to the problems about the packing of certain convex sets in the plane, and use Recognize algorithm to obtain good hypotheses for results. This method can be widely used to solve same types of mathematical problems.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.53-71
• /
• 2018

In this paper, we provide two different descriptions for a relative derived category with respect to a subcategory ${\mathcal{X}}$ of an abelian category ${\mathcal{A}}$. First, we construct an exact model structure on certain exact category which has as its homotopy category the relative derived category of ${\mathcal{A}}$. We also show that a relative derived category is equivalent to homotopy category of certain complexes. Moreover, we investigate the existence of certain recollements in such categories.

• International Journal of Computer Science & Network Security
• /
• v.21 no.9
• /
• pp.79-85
• /
• 2021

The locating-chromatic number denote by 𝛘_𝐿(G), is the smallest t such that G has a locating t-coloring. In this research, we determined locating-chromatic number for subdivision of certain barbell operation of origami graphs.