• Journal of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.865-877
• /
• 2013

The disjoint union of mapping class groups of surfaces forms a braided monoidal category $\mathcal{M}$, as the disjoint union of the braid groups $\mathcal{B}$ does. We give a concrete and geometric meaning of the braidings ${\beta}_{r,s}$ in $\mathcal{M}$. Moreover, we find a set of elements in the mapping class groups which correspond to the standard generators of the braid groups. Using this, we can define an obvious map ${\phi}\;:\;B_g{\rightarrow}{\Gamma}_{g,1}$. We show that this map ${\phi}$ is injective and nongeometric in the sense of Wajnryb. Since this map extends to a braided monoidal functor ${\Phi}\;:\;\mathcal{B}{\rightarrow}\mathcal{M}$, the integral homology homomorphism induced by ${\phi}$ is trivial in the stable range.

• Honam Mathematical Journal
• /
• v.41 no.3
• /
• pp.559-568
• /
• 2019

In this paper we introduce and study the concept of of (${\varphi}$, ${\psi}$)-am-enability of a locally compact group G, where ${\varphi}$ is a continuous homomorphism on G and ${\psi}:G{\rightarrow}{\mathbb{C}}$ multiplicative linear function. We prove that if the group algebra $L^1$ (G) is (${\tilde{\varphi}}$, ${\tilde{\psi}}$)-amenable then G is (${\varphi}$, ${\psi}$)-amenable, where ${\tilde{\varphi}}$ is the extension of ${\varphi}$ to M(G). In the case where ${\varphi}$ is an isomorphism on G it is shown that the converse is also valid.

• Journal of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.797-808
• /
• 2018

In [1], the authors generalize the concept of the class group of an integral domain $D(Cl_t(D))$ by introducing the notion of the S-class group of an integral domain where S is a multiplicative subset of D. The S-class group of D, $S-Cl_t(D)$, is the group of fractional t-invertible t-ideals of D under the t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of D. In this paper we study when $S-Cl_t(D){\simeq}S-Cl_t(D_T)$, where T is a multiplicative subset generated by prime elements of D. We show that if D is a Mori domain, T a multiplicative subset generated by prime elements of D and S a multiplicative subset of D, then the natural homomorphism $S-Cl_t(D){\rightarrow}S-Cl_t(D_T)$ is an isomorphism. In particular, we give an S-version of Nagata's Theorem [13]: Let D be a Krull domain, T a multiplicative subset generated by prime elements of D and S another multiplicative subset of D. If $D_T$ is an S-factorial domain, then D is an S-factorial domain.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.12
• /
• pp.4552-4567
• /
• 2014

A (n,t,n) secret sharing scheme is to share a secret among n group members, where each member also plays a role of a dealer,and any t shares can be used to recover the secret. In this paper, we propose a strong (k,t,n) verifiable multi-secret sharing scheme, where any k out of n participants operate as dealers. The scheme realizes both threshold structure and adversary structure simultaneously, and removes a trusted third party. The secret reconstruction phase is performed using an additive homomorphism for decreasing the storage cost. Meanwhile, the scheme achieves the pre-verification property in the sense that any participant doesn't need to reveal any information about real master shares in the verification phase. We compare our proposal with the previous (n,t,n) secret sharing schemes from the perspectives of what kinds of access structures they achieve, what kinds of functionalities they support and whether heavy storage cost for secret share is required. Then it shows that our scheme takes the following advantages: (a) realizing the adversary structure, (b) allowing any k out of n participants to operate as dealers, (c) small sized secret share. Moreover, our proposed scheme is a favorable candidate to be used in many applications, such as secure multi-party computation and privacy preserving data mining, etc.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.395-409
• /
• 2012

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let ${\pi}$ be a group and let M ${\rightarrow}$ N be a homomorphism between projective $\mathbb{Z}[{\pi}]$-modules such that $\mathbb{Z}_p\;{\otimes}_{\mathbb{Z}[{\pi}]}M{\rightarrow}\mathbb{Z}_p{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ is injective; for which other right $\mathbb{Z}[{\pi}]$-modules V is the induced map $V{\otimes}_{\mathbb{Z}[{\pi}]}\;M{\rightarrow}\;V{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.13 no.3
• /
• pp.231-244
• /
• 2013

We introduce the concept of interval-valued fuzzy congruences on a semigroup S and we obtain some important results: First, for any interval-valued fuzzy congruence $R_e$ on a group G, the interval-valued congruence class Re is an interval-valued fuzzy normal subgroup of G. Second, for any interval-valued fuzzy congruence R on a groupoid S, we show that a binary operation * an S=R is well-defined and also we obtain some results related to additional conditions for S. Also we improve that for any two interval-valued fuzzy congruences R and Q on a semigroup S such that $R{\subset}Q$, there exists a unique semigroup homomorphism g : S/R${\rightarrow}$S/G.

• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.363-377
• /
• 2015

Let R be a ring, (S,${\leq}$) a strictly ordered monoid and ${\omega}$ : S ${\rightarrow}$ End(R) a monoid homomorphism. The skew generalized power series ring R[[S,${\omega}$]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev-Neumann Laurent series rings. In this paper, we investigate the interplay between the ring-theoretical properties of R[[S,${\omega}$]] and the graph-theoretical properties of its zero-divisor graph ${\Gamma}$(R[[S,${\omega}$]]). Furthermore, we examine the preservation of diameter and girth of the zero-divisor graph under extension to skew generalized power series rings.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.769-783
• /
• 2021

Demirci ((1999) Vague groups. J. Math. Anal. Appl. 230, 142-156) introduced the concept of vague groups as one of uncertain reasoning structures where indistinguishable operators separate points. In this paper, we consider vague groups in which an indistinguishable operator does not need to separate points because it seems more appropriate to handle ambiguous situations. For our purposes we generalize or redefine some notions such as: vague closed subset, vague subgroup, vague kernel and vague injectiveness. Consequently we generalize most of the known results and obtain some new additional fundamental properties of vague groups, some of which are similar to ones of ordinary groups.

• Honam Mathematical Journal
• /
• v.27 no.1
• /
• pp.115-129
• /
• 2005

In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.