• Honam Mathematical Journal
• /
• v.32 no.1
• /
• pp.141-155
• /
• 2010

In this paper we prove that with some hypothesis the set of k-isomorphism classes of simple closed k-surfaces in ${\mathbf{Z}}^3$ forms a commutative monoid with an operation derived from a digital connected sum, k ${\in}$ {18,26}. Besides, with some hypothesis the set of k-homotopy equivalence classes of closed k-surfaces in ${\mathbf{Z}}^3$ is also proved to be a commutative monoid with the above operation, k ${\in}$ {18,26}.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.817-826
• /
• 2015

Let R be a commutative ring with total quotient ring K. Each monomorphic R-module endomorphism of a cyclic R-module is an isomorphism if and only if R has Krull dimension 0. Each monomorphic R-module endomorphism of R is an isomorphism if and only if R = K. We say that R has property (${\star}$) if for each nonzero element $a{\in}R$, each monomorphic R-module endomorphism of R/Ra is an isomorphism. If R has property (${\star}$), then each nonzero principal prime ideal of R is a maximal ideal, but the converse is false, even for integral domains of Krull dimension 2. An integral domain R has property (${\star}$) if and only if R has no R-sequence of length 2; the "if" assertion fails in general for non-domain rings R. Each treed domain has property (${\star}$), but the converse is false.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.12
• /
• pp.1-10
• /
• 2016

In this paper, we attempt to prevent certain cases by tracing a history and making genogram about open source software and its modification using similarity of source code. There are many areas which use open source software actively and widely, and open source software contributes their development. However, there are many unconscious cases like ignoring license or intellectual properties infringe which can lead litigation. To prevent such situation, we analyze source code similarity using program dependence graph which resembles subgraph isomorphism problem, a typical NP-complete problem. To solve subgraph isomorphism problem, we utilized harmony search of metaheuristic algorithm and compared its result with a genetic algorithm. For the future works, we represent open source software as program dependence graph and analyze their similarity.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.491-497
• /
• 1997

Let $C(F, M)$ and $C(S^{-1}F, S^{-1}M)$ be Cousin complexes for a modula M and a module $S^{-1}M$ over a commutative Noetherian ring with respect to a filtration F and a filtration $S^{-1}F$ respectively. In this paper, it is shown that there is an isomorphism between the Cousin complexes $S^{-1}C(F, M)$ and $C(S^{-1}F, S^{-1}M)$.

• Korean Journal of Mathematics
• /
• v.26 no.3
• /
• pp.373-385
• /
• 2018

In this paper we introduce the notion of a fuzzy kernel of a fuzzy homomorphism on groups and we show that it is a fuzzy normal subgroup of the domain group. Conversely, we also prove that any fuzzy normal subgroup is a fuzzy kernel of some fuzzy epimorphism, namely the canonical fuzzy epimorphism. Finally, we formulate and prove the fuzzy version of the fundamental theorem of homomorphism and those isomorphism theorems.

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

In this paper, for discrete groups G and K, we show that the cohomology of the complex of projective tensor product B*(G)⨶B*(K) is isomorphic to the bounded cohomology Ĥ*(G × K) of G × K, which is the cohomology of B*(G × K) as topological vector spaces, where B*(G) is a complex of bounded cochains of G with real coefficients ℝ. In fact, we construct an isomorphism between these two cohomology groups that carries the canonical seminorm in Ĥ*(G × K) to the seminorm in the cohomology of B*(G)⨶B*(K).

• The Pure and Applied Mathematics
• /
• v.7 no.1
• /
• pp.49-60
• /
• 2000

We will characterize isomorphisms from the adjoint of a certain tridiag-onal algebra $AlgL_{2n}$ onto $AlgL_{2n}$. In this paper the following are proved: A map $\Phi{\;}:{\;}(AlgL_{2n})^{*}{\;}{\longrightarrow}{\;}AlgL_{2n}$ is an isomorphism if and only if there exists an operator S in $AlgL_{2n}$ with all diagonal entries are 1 and an invertible backward diagonal operator B such that ${\Phi}(A){\;}={\;}SBAB^{-1}S^{-1}$.

• Annals of Fuzzy Mathematics and Informatics
• /
• v.16 no.3
• /
• pp.363-371
• /
• 2018

The main objective of this paper is to connect fuzzy theory, graph theory and fuzzy graph theory with algebraic structure. We introduce the notion of fuzzy graph of semigroup, the notion of fuzzy ideal graph of semigroup as a generalization of fuzzy ideal of semigroup, intuitionistic fuzzy ideal of semigroup, fuzzy graph and graph, the notion of isomorphism of fuzzy graphs of semigroups and regular fuzzy graph of semigroup and we study some of their properties.

• The Pure and Applied Mathematics
• /
• v.30 no.4
• /
• pp.377-395
• /
• 2023

The purpose of this paper is to consider the abstract theory of hypernear rings. In this regard, we derive the isomorphism theorems for hypernear rings as well as Chinese Remainder theorem. Our results can be considered as a generalization for the cases of Krasner hyperrings, near rings and rings.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1019-1028
• /
• 2023

Let 𝔄 and 𝔅 be unital prime *-algebras such that 𝔄 contains a nontrivial projection. In the present paper, we show that if a bijective map Θ : 𝔄 → 𝔅 satisfies Θ(_*[X ⋄ Y, Z]) = _*[Θ(X) ⋄ Θ(Y), Θ(Z)] for all X, Y, Z ∈ 𝔄, then Θ or -Θ is a *-ring isomorphism. As an application, we shall characterize such maps in factor von Neumann algebras.