• Honam Mathematical Journal
• /
• v.29 no.1
• /
• pp.101-118
• /
• 2007

The notions of digital k-homotopy equivalence and digital ($k_0,k_1$)-homotopy equivalence were developed in [13, 16]. By the use of the digital k-homotopy equivalence, we can investigate digital k-homotopy equivalent properties of Cartesian products constructed by the minimal simple closed 4- and 8-curves in $\mathbf{Z}^2$.

• Korean Journal of Mathematics
• /
• v.5 no.2
• /
• pp.119-125
• /
• 1997

We show that there exists an isomorphism between the basic construction $(M_f)_1$ for $N_f{\subset}M_f$ and the reduction $(M_1)_f$ of the basic construction $M_1$ for $N{\subset}M$, where $f$ is a nontrivial projection in N. For a nontrivial projection $f{\in}N^{\prime}{\cap}M$ we give the basic construction $(M_f)_1$ for $N_f{\subset}M_f$ and compare it with $(M_1)_f$.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.527-535
• /
• 2008

Sufficient conditions are given to assert that between any two Banach spaces over $\mathbb{K}$ Fredholm mappings share exactly N values in a specific open ball. The proof of the result is constructive and is based upon continuation methods.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1725-1741
• /
• 2017

For a complex smooth projective surface M with an action of a finite cyclic group G we give a uniform proof of the isomorphism between the invariant $H^1(G,\;H^2(M,\;{\mathbb{Z}}))$ and the first cohomology of the divisors fixed by the action, using G-equivariant cohomology. This generalizes the main result of Bogomolov and Prokhorov [4].

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.383-399
• /
• 2020

Following Matsumoto's definition of continuous orbit equivalence for one-sided subshifts of finite type, we introduce the notion of orbit equivalence to canonically associated dynamical systems, called the limit dynamical systems, of self-similar groups. We show that the limit dynamical systems of two self-similar groups are orbit equivalent if and only if their associated Deaconu groupoids are isomorphic as topological groupoids. We also show that the equivalence class of Cuntz-Pimsner groupoids and the stably isomorphism class of Cuntz-Pimsner algebras of self-similar groups are invariants for orbit equivalence of limit dynamical systems.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.249-254
• /
• 2000

We give an easy proof of the fact that every noncommutative torus $A_{\omega}$ is stably isomorphic to the noncommutative torus $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$ which hasa trivial bundle structure. It is well known that stable isomorphism of two separable $C^{*}-algebras$ is equibalent to the existence of eqivalence bimodule between the two stably isomorphic $C^{*}-algebras{\;}A_{\omega}$ and $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$.

• Journal of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.325-344
• /
• 2014

The aim of this paper is to generalize the theory of Hopf-Ore extension on Hopf algebras to Hopf group coalgebras. First the concept of Hopf-Ore extension of Hopf group coalgebra is introduced. Then we will give the necessary and sufficient condition for the Ore extensions to become a Hopf group coalgebra, and certain isomorphism between Ore extensions of Hopf group coalgebras are discussed.

• Journal of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.201-221
• /
• 2012

Assume G is a finite p-group and i is a fixed positive integer. In this paper, finite p-groups G with ${\mid}N_G(H):H{\mid}=p^i$ for all nonnormal subgroups H are classified up to isomorphism. As a corollary, this answer Problem 116(i) proposed by Y. Berkovich in his book "Groups of Prime Power Order Vol. I" in 2008.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.4
• /
• pp.506-511
• /
• 2011

In this paper we investigate some situations in connection with two exact sequences of fuzzy linear maps. Also we obtain a generalization of the work [Theorem4] of Pan [5], and we study the analogies of The Four Lemma and The Five Lemma of homological algebra. Finally we obtain a special exact sequence.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.286-291
• /
• 2001

We inverstigate the properties of BL-hommorphisms on BL-algebras. In particular, we find the BL-algebra in duced by lattice-isomorphism. From these facts, we obtain the generalized Lukasiewicz structure. More-over, we study the properties of quotient BL-algebras and deductive systems.