• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.189-196
• /
• 2009

Let D be an integral domain, and let U be a group of units of D. Let $D^*=D-\{0\}$ and ${\Gamma}=D^*/U$ be the commutative cancellative semigroup under aU+bU=abU. We prove that $Cl(D)=Cl({\Gamma})$ and that D is a PvMD (resp., GCD-domain, Mori domain, Krull domain, factorial domain) if and only if ${\Gamma}$ is a PvMS(resp., GCD-semigroup, Mori semigroup, Krull semigroup, factorial semigroup). Let U=U(D) be the group of units of D. We also show that if D is integrally closed, then $D[{\Gamma}]$, the semigroup ring of ${\Gamma}$ over D, is an integrally closed domain with $Cl(D[{\Gamma}])=Cl(D){\oplus}Cl(D)$; hence D is a PvMD (resp., GCD-domain, Krull domain, factorial domain) if and only if $D[{\Gamma}]$ is.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.891-906
• /
• 2020

In this paper, the commutative module amenable Banach algebras are characterized. The hereditary and permanence properties of module amenability and the relations between module amenability of a Banach algebra and its ideals are explored. Analogous to the classical case of amenability, it is shown that the projective tensor product and direct sum of module amenable Banach algebras are again module amenable. By an application of Ryll-Nardzewski fixed point theorem, it is shown that for an inverse semigroup S, every module derivation of 𝑙¹(S) into a reflexive module is inner.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• Kyungpook Mathematical Journal
• /
• v.54 no.4
• /
• pp.629-638
• /
• 2014

The concept of prime and weakly prime ideal in semigroups has been introduced by G. Szasz [4]. In this paper, we define the involution in po-${\Gamma}$-semigroups, then we extend some results on prime, semiprime and weakly prime ideals to the involution po-${\Gamma}$-semigroup S. Also, we characterize intra-regular involution po-${\Gamma}$-semigroups. We establish that in the involution po-${\Gamma}$-semigroup S such that the involution preserves the order, an ideal of S is prime if and only if it is both weakly prime and semiprime and if S is commutative, then the prime and weakly prime ideals of S coincide. Finally, we prove that if S is a po-${\Gamma}$-semigroup with order preserving involution, then the ideals of S are prime if and only if S is intra-regular.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.483-507
• /
• 2004

In this paper the left regular representation and the reduced $C^*$-algebra for a commutative separative semigroup is defined. The universal representation, the reduced $C^*$-algebra and the full $C^*$-algebra for the additive semigroup $N^+$ are given. Also it is proved that $C*_r(N^+){\ncong}C^*(N^+)$.

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.9-14
• /
• 2007

In this paper, we introduce more extended special sets in implicative semigroups, and obtain some relations with ordered filters.

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.559-575
• /
• 2008

A commutative hypercomplex system $L_1$(Q,m) is, roughly speaking, a space which is defined by a structure measure (c(A,B, r), (A,$B{\in}{\beta}$(Q)). Such space has bee studied by Berezanskii and Krein. Our main purpose is to establish a generalization of convolution semigroups and to discuss the role of the L$\'{e}$vy measure in the L$\'{e}$vy-Khinchin representation in terms of continuous negative definite functions on the dual hypercomplex system.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.295-301
• /
• 2009

We prove the Hyers-Ulam stability of a Pexiderized exponential equation of mappings f, g, h : $G{\times}S{\rightarrow}{\mathbb{C}}$, where G is an abelian group and S is a commutative semigroup which is divisible by 2. As an application we obtain a stability theorem for Pexiderized exponential equation in Schwartz distributions.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.315-325
• /
• 2006

The notion of intuitionistic fuzzy finite switchboard state machines and (strong) homomorphisms of intuitionistic fuzzy finite state machines are introduced, and related properties are investigated. After we give a congruence relation on the set of all words of elements of X of finite length, the quotient structure is discussed. We show that the family of equivalence classes is a finite semigroup with identity.

• Korean Journal of Mathematics
• /
• v.24 no.2
• /
• pp.297-305
• /
• 2016

In this paper, by using fixed point theorem, we obtain the stability of the following functional equations $$f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)f(p,q)h(r,s)\\f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)g(p,q)h(r,s)$$, where G is a commutative semigroup, ${\theta}:G^4{\rightarrow}{\mathbb{R}}_k$ a function and f, g, h are functionals on $G^2$.