• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.247-253
• /
• 2006

(Left or Right) Weakly commutative semigroups are described. Relationships of weakly commutative semigroups and (l- or r-) Archimedean semigroups are discussed. The structure theorems of weakly commutative semigroups and weakly commutative abundant semigroups are shown.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.81-86
• /
• 2010

This paper gives some sorts of weakly cancellative of elements which are to be or not to be left magnifying elements in certain semigroups and gives a semilattice congruence in a weakly separative semigroup.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.11 no.4
• /
• pp.259-266
• /
• 2011

We apply the concept of interval-valued fuzzy sets to theory of semigroups. We give some properties of interval-valued fuzzy ideals and interval-valued fuzzy bi-ideals, and characterize which is left [right] simple, left [right] duo and a semilattice of left [right] simple semigroups or another type of semigroups in terms of interval-valued fuzzy ideals and intervalvalued fuzzy bi-ideals.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.677-690
• /
• 2004

In this paper, we prove that the Birget-Rhodes expansion $\={G}^R$ of a group G is not a semi direct product of a semilattice by a group but it can be nicely embedded into such a semi direct product.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.309-330
• /
• 2004

In this paper, we apply the concept of intuitionistic fuzzy sets to theory of semigroups. We give some properties of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals, and characterize which is left [right] simple, left [right] duo and a semilattice of left [right] simple semigroups or another type of semigroups in terms of intuitionistic fuzzy ideals and intuitionistic fuzzy bi-ideals.

• Communications of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.27-36
• /
• 2014

In this paper, we introduce the notion of f-derivations from a semilattice S to a lattice L, as a generalization of derivation and f-derivation of lattices. Also, we define the simple f-derivation from S to L, and research the properties of them and the conditions for a lattice L to be distributive. Finally, we prove that a distributive lattice L is isomorphic to the class $SD_f(S,L)$ of all simple f-derivations on S to L for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0){\vee}f(y_0)=1$ for some $x_0,y_0{\in}S$, in particular, $$L{\simeq_-}=SD_f(S,L)$$ for every ${\wedge}$-homomorphism $f:S{\rightarrow}L$ such that $f(x_0)=1$ for some $x_0{\in}S$.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.845-856
• /
• 2009

A block of an orthomodular lattice L is a maximal Boolean subalgebra of L. A site is a subalgebra of an orthomodular lattice L of the form S = A $\cap$ B, where A and B are distinct blocks of L. An orthomodular lattice L is called with finite sites if |A $\cap$ B| < $\infty$ for all distinct blocks A, B of L. We prove that there exists a weakly path-connected orthomodular lattice with finite sites which is not path-connected and if L is an orthomodular lattice such that the height of the join-semilattice [ComL]$\vee$ generated by the commutators of L is finite, then L is pathconnected.

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

In this paper we study the (good) semi-prime closure operations on ideals of a BCK-algebra, lower BCK-semilattice, Noetherian BCK-algebra and meet quotient ideal and then we give several theorems that make different (good) semi-prime closure operations. Moreover by given some examples we show that the given different notions are independent together, for instance there is a semi-prime closure operation, which is not a good semi-prime. Finally by given the notion of "$c_f$-Max X", we prove that every member of "$c_f$-Max X" is a prime ideal. Also we conclude some more related results.

• Journal of applied mathematics & informatics
• /
• v.41 no.2
• /
• pp.413-437
• /
• 2023

In this paper, we introduce the concepts of (inf, sup)-hesitant fuzzy subsemigroups and (inf, sup)-hesitant fuzzy (generalized) bi-ideals of semigroups, and investigate their properties. The concepts are established in terms of sets, fuzzy sets, negative fuzzy sets, interval-valued fuzzy sets, Pythagorean fuzzy sets, hesitant fuzzy sets, and bipolar fuzzy sets. Moreover, some characterizations of bi-ideals, fuzzy bi-ideals, anti-fuzzy bi-ideals, negative fuzzy bi-ideals, Pythagorean fuzzy bi-ideals, and bipolar fuzzy bi-ideals of semigroups are given in terms of the (inf, sup)-type of hesitant fuzzy sets. Also, we characterize a semigroup which is completely regular, a group and a semilattice of groups by (inf, sup)-hesitant fuzzy bi-ideals.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.311-324
• /
• 2010

We prove that a regular ordered semigroup S is left simple if and only if every intuitionistic fuzzy left ideal of S is a constant function. We also show that an ordered semigroup S is left (resp. right) regular if and only if for every intuitionistic fuzzy left(resp. right) ideal A = <$\mu_A$, $\gamma_A$> of S we have $\mu_A(a)\;=\;\mu_A(a^2)$, $\gamma_A(a)\;=\;\gamma_A(a^2)$ for every $a\;{\in}\;S$. Further, we characterize some semilattices of ordered semigroups in terms of intuitionistic fuzzy left(resp. right) ideals. In this respect, we prove that an ordered semigroup S is a semilattice of left (resp. right) simple semigroups if and only if for every intuitionistic fuzzy left (resp. right) ideal A = <$\mu_A$, $\gamma_A$> of S we have $\mu_A(a)\;=\;\mu_A(a^2)$, $\gamma_A(a)\;=\;\gamma_A(a^2)$ and $\mu_A(ab)\;=\;\mu_A(ba)$, $\gamma_A(ab)\;=\;\gamma_A(ba)$ for all a, $b\;{\in}\;S$.