• Journal of applied mathematics & informatics
• /
• v.42 no.2
• /
• pp.333-351
• /
• 2024

In this paper, the concept of Pythagorean fuzzy sets are used to describe in semigroups. Then, some characterizations of regular (resp., intra-regular) semigroups by means of Pythagorean fuzzy left (resp., right) ideals and Pythagorean fuzzy (resp., generalized) bi-ideals of semigroups are investigated. Furthermore, the class of both regular and intra-regular semigroups by the properties of many kinds of their Pythagorean fuzzy ideals also being studied.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.6
• /
• pp.771-779
• /
• 2005

We introduce two concepts of intuitionistic fuzzy Rees congruence on a semigroup and intuitionistic fuzzy Rees con-gruence semigroup. As an important result, we prove that for a intuitionistic fuzzy Rees congruence semigroup S, the set of all intuitionistic fuzzy ideals of S and the set of all intuitionistic fuzzy congruences on S are lattice isomorphic. Moreover, we show that a homomorphic image of an intuitionistic fuzzy Rees congruence semigroup is an intuitionistic fuzzy Rees congruence semigroup.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.187-192
• /
• 1994

The author extended the small properties of topological semilattices to that of regular semigroups [3]. In this paper, it could be shown that a semigroup S is almost regular if and only if over bar RL = over bar R.cap.L for every right ideal R and every left ideal L of S. Moreover, it has shown that the Bohr compactification of an almost regular semigroup is regular. Throughout, a semigroup will mean a topological semigroup which is a Hausdorff space together with a continuous associative multiplication. For a semigroup S, we denote E(S) by the set of all idempotents of S. An element x of a semigroup S is called regular if and only if x .mem. xSx. A semigroup S is termed regular if every element of S is regular. If x .mem. S is regular, then there exists an element y .mem S such that x xyx and y = yxy (y is called an inverse of x) If y is an inverse of x, then xy and yx are both idempotents but are not always equal. A semigroup S is termed recurrent( or almost pointwise periodic) at x .mem. S if and only if for any open set U about x, there is an integer p > 1 such that x$^{p}$ .mem.U.S is said to be recurrent (or almost periodic) if and only if S is recurrent at every x .mem. S. It is known that if x .mem. S is recurrent and .GAMMA.(x)=over bar {x,x$^{2}$,..,} is compact, then .GAMMA.(x) is a subgroup of S and hence x is a regular element of S.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.406-410
• /
• 2003

B. M. Schein([1]) considered systems of the form (${\Phi}$; ${\circ}$,-), where ${\Phi}$ is a set of functions closed under the composition "${\circ}$" of functions and the set theoretic subtraction "-". In this structure, (${\Phi}$; ${\circ}$) is a function semigroup and (${\Phi}$;-) is a subtraction algebra in the sense of [1]. He proved that every subtraction semigroup is isomorphic to a difference semigroup of invertible functions. Also this structure is closely related to the mathematical logic, Boolean algebra, Bck-algera, etc. In this paper, we define the near subtraction semigroup as a generalization of the subtraction semigroup, and define the notions of strong for it, and then we will search the general properties of this structure, the properties of ideals, and the application of it.

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

In this paper, we give the characterizations of right(left) semiregular $po$-semigroups using the notions of some type ideals.

• East Asian mathematical journal
• /
• v.14 no.2
• /
• pp.393-397
• /
• 1998

The author obtains ideal-theoretical characterizations of the following two classes of $\Gamma$-semigroups; (1) regular $\Gamma$-semigroups; (2) $\Gamma$-semigroups that are both regular and intra-regular.

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

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.255-261
• /
• 2011

Let D be an integral domain, S be a torsion-free grading monoid such that the quotient group of S is of type (0, 0, 0, ${\ldots}$), and D[S] be the semigroup ring of S over D. We show that D[S] is an H-domain if and only if D is an H-domain and each maximal t-ideal of S is a $v$-ideal. We also show that if $\mathbb{R}$ is the eld of real numbers and if ${\Gamma}$ is the additive group of rational numbers, then $\mathbb{R}[{\Gamma}]$ is not an H-domain.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.527-559
• /
• 2017

The main motivation of this article is to generalized the concept of fuzzy ideals, (${\alpha},{\beta}$)-fuzzy ideals, (${\in},{\in}{\vee}q_k$)-fuzzy ideals of semigroups. By using the concept of $q^{\delta}_K$-quasi-coincident of a fuzzy point with a fuzzy set, we introduce the notions of (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy left ideal, (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy right ideal of a semigroup. Special sets, so called $Q^{\delta}_k$-set and $[{\lambda}^{\delta}_k]_t$-set, condition for the $Q^{\delta}_k$-set and $[{\lambda}^{\delta}_k]_t$-set-set to be left (resp. right) ideals are considered. We finally characterize different classes of semigroups (regular, left weakly regular, right weakly regular) in term of (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy left ideal, (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy right ideal and (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy ideal of semigroup S.

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