• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.651-661
• /
• 2008

Given binary operations "*" and "$\circ$" on a set X, define a product binary operation "$\Box$" as follows: $x{\Box}y\;:=\;(x\;{\ast}\;y)\;{\circ}\;(y\;{\ast}\;x)$. This in turn yields a binary operation on Bin(X), the set of groupoids defined on X turning it into a semigroup (Bin(X), $\Box$)with identity (x * y = x) the left zero semigroup and an analog of negative one in the right zero semigroup (x * y = y). The composition $\Box$ is a generalization of the composition of functions, modelled here as leftoids (x * y = f(x)), permitting one to study the dynamics of binary systems as well as a variety of other perspectives also of interest.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.1
• /
• pp.118-122
• /
• 2007

In this paper, we consider the intuitionistic fuzzification of the notion of a interior ideal in ordered semigroup S, and investigate some properties of such ideals. In terms of intuitionistic fuzzy set, characterizations of intuitionistic fuzzy interior ideals in ordered semigroups are discussed. Using a collection of interior ideals with additional conditions, an intuitionistic fuzzy interiror ideal is constructed. Natural equivalence relations on the set of all intuitionistic fuzzy interior ideals of an ordered semigroup are investigated. We also give a characterization of a intuitionistic fuzzy simple semigroup in terms of intuitionistic fuzzy interior ideals.

• 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.

• 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.23 no.1
• /
• pp.19-27
• /
• 2008

The motivation mainly comes from the conditions of the (ordered) ideals to be prime or semiprime that are of importance and interest in (ordered) semigroups and in (ordered) $\Gamma$-semigroups. In 1981, Sen [8] has introduced the concept of the $\Gamma$-semigroups. We can see that any semigroup can be considered as a $\Gamma$-semigroup. The concept of ordered ideal extensions in ordered $\Gamma$-semigroups was introduced in 2007 by Siripitukdet and Iampan [12]. Our purpose in this paper is to introduce the concepts of the ordered n-prime ideals and the ordered n-semiprime ideals in ordered $\Gamma$-semigroups and to characterize the relationship between the ordered n-prime ideals and the ordered ideal extensions in ordered $\Gamma$-semigroups.

• Journal of Information Technology Services
• /
• v.7 no.4
• /
• pp.221-230
• /
• 2008

Green's relations are five equivalence relations that characterize the elements of a semigroup in terms of the principal ideals. The J relation is one of Green's relations. Although there are known algorithms that can compute Green relations, they are not useful for finding all J relations in the semigroup of all $n{\times}n$ Boolean matrices. Its computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices. The size of the semigroup of all $n{\times}n$ Boolean matrices grows exponentially as n increases. It is easy to see that it involves exponential time complexity. The computation of J relations over the $5{\times}5$ Boolean matrix is left an unsolved problem. The paper shows theorems that can reduce the computation time, discusses an algorithm for efficient J relation computation whose design reflects those theorems and gives its execution results.

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

At the present paper, we investigate bounded approximately local derivations of ℓ¹-Munn algebra 𝕄_I(𝒜), where I is an arbitrary non-empty set and 𝒜 is an approximately locally unital Banach algebra. Indeed, we show that if _𝒜B(𝒜, 𝒜^*) and B_𝒜(𝒜, 𝒜^*) are reflexive, then every bounded approximately local derivation from 𝕄_I(𝒜) into any Banach 𝕄_I(𝒜)-bimodule X is a derivation. Finally, we apply this result to study bounded approximately local derivations of the semigroup algebra ℓ¹(S), where S is a uniformly locally finite inverse semigroup.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.117-133
• /
• 2024

Let 𝓟 = {X_i : i ∈ I} be a partition of a set X. We say that a transformation f : X → X preserves 𝓟 if for every X_i ∈ 𝓟, there exists X_j ∈ 𝓟 such that X_if ⊆ X_j. Consider the semigroup 𝓑(X, 𝓟) of all transformations f of X such that f preserves 𝓟 and the character (map) χ^(f): I → I defined by i_χ^(f) = j whenever X_if ⊆ X_j is bijective. We describe Green's relations on 𝓑(X, 𝓟), and prove that 𝒟 = 𝒥 on 𝓑(X, 𝓟) if 𝓟 is finite. We give a necessary and sufficient condition for 𝒟 = 𝒥 on 𝓑(X, 𝓟). We characterize unit-regular elements in 𝓑(X, 𝓟), and determine when 𝓑(X, 𝓟) is a unit-regular semigroup. We alternatively prove that 𝓑(X, 𝓟) is a regular semigroup. We end the paper with a conjecture.

• Korean Journal of Mathematics
• /
• v.9 no.2
• /
• pp.99-104
• /
• 2001

We give the characterization of left(right) semi-regular $po$-semigroups and $Ve$-semigroups.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.135-144
• /
• 1997

The purpose of this paper is to find all $K_1$ -minimal ideals of a sandwich semigroup of closed functions.