[BACK]
images Computer Modeling in Engineering & Sciences images

DOI: 10.32604/cmes.2022.018615

ARTICLE

Neutrosophic ϰ-Structures in Ordered Semigroups

G. Muhiuddin1,*, K. Porselvi2, B. Elavarasan2 and D. Al-Kadi3

1Department of Mathematics, Faculty of Science, University of Tabuk, Tabuk, 71491, Saudi Arabia
2Department of Mathematics, Karunya Institute of Technology and Sciences, Coimbatore, 641114, India
3Department of Mathematics and Statistic, College of Science, Taif University, Taif, 21944, Saudi Arabia
*Corresponding Author: G. Muhiuddin. Email: chishtygm@gmail.com
Received: 06 August 2021; Accepted: 03 November 2021

Abstract: In general, ordered algebraic structures, particularly ordered semigroups, play an important role in fuzzification in many applied areas, such as computer science, formal languages, coding theory, error correction, etc. Nowadays, the concept of ambiguity is important in dealing with a variety of issues related to engineering modeling problems, network theory, decision-making problems in real-life situations, and so on. Several theories have been developed by various researchers to overcome the difficulties that arise from uncertainty, including fuzzy sets, intuitionistic fuzzy sets, probability, soft sets, neutrosophic sets, and many more. In this paper, we focus solely on neutrosophic set theory. In ordered semigroups, we define and investigate the properties of neutrosophic ϰ-ideals and neutrosophic ϰ-interior ideals. We also use neutrosophic ϰ-ideals and neutrosophic ϰ-interior ideals to characterize ordered semigroups.

Keywords: Ordered semigroup; ideals; neutrosophic ϰ-structures; neutrosophic ϰ-ideals; neutrosophic ϰ-interior ideals

1  Introduction

In [1], Zadeh proposed the theory of fuzzy sets to model vague notions in the universe. In [2], Atanassov generalized the fuzzy set theory concepts and renamed as Intuitionistic fuzzy set theory. According to his view, there are the two kinds of degrees of freedom in a globe such as membership to a vague subset and non-membership to that given subset. In [3], Rosenfeld introduced the concepts of fuzziness in groups and obtained several results. Recently, many researchers pursue their research in this area and these concepts have been applied to different algebraic structures such as semigroups, ordered semigroups, rings (see [410]).

Smarandache proposed the notions of neutrosophic sets to handle uncertainty that arises everywhere. It is the generalization of fuzzy sets and intuitionistic fuzzy sets. Using these three attributes such as a truth (T), an indeterminacy (I) and a falsity (F) membership functions, neutrosophic sets are characterized. These sets have numerous applications in various disciplines to deal with the complexities that arise primarily from ambiguity data. A neutrosophic set can differentiate between relative and absolute membership functions. Smarandache used these sets in non-standard analysis, namely decision making theory, control theory, decision of sports (winning/defeating/tie), etc.

In [11], Muhiuddin et al. presented the notion of implicative neutrosophic quadruple-algebras, and various properties were investigated. In [12], Muhiuddin et al. found the relationship between (ɛ, ɛ)-neutrosophic ideal and (ɛ, ɛ)-neutrosophic subalgebra in a BCK-algebra. Also, they provided conditions under which an (ɛ, ɛ)-neutrosophic subalgebraic structure to be an (ɛ, ɛ)-neutrosophic ideal structure. In [13], Muhiuddin et al. introduced the theory of neutrosophic implicative ϰ-ideal in BCK-algebras, and examined its properties. In addition, the relationship between different kinds of neutrosophic implicative ϰ-ideals were discussed.

In [14], Khan et al. defined and discussed various properties of neutrosophic ϰ-subsemigroup and ɛ-neutrosophic ϰ-subsemigroup in a semigroup. As a motivation from [14], we delve into different types of notions of neutrosophic ϰ-structures, namely neutrosophic ϰ-ideals, neutrosophic ϰ-bi-ideals, neutrosophic ϰ-interior ideals and investigated various properties. In [15], Elavarasan et al. proposed the notions of neutrosophic ϰ-ideals and characteristic neutrosophic ϰ-structure in semigroup and discussed its properties. Further, the equivalent assertions for characteristic neutrosophic ϰ-structure were provided. In [16], Porselvi et al. defined and obtained various properties of neutrosophic ϰ-bi-ideal structure in a semigroup. We have shown that both neutrosophic ϰ-bi-ideals and neutrosophic ϰ-right ideals were the same if the semigroup is regular left duo. Moreover, we have obtained equivalent conditions for regular semigroup in terms of neutrosophic ϰ-product. In [17], Porselvi et al. defined and discussed the notions of neutrosophic ϰ-interior ideal structures and neutrosophic ϰ-simple in semigroup. Also, we explored equivalent assertions for a simple semigroup, and neutrosophic ϰ-interior ideal structures. For more concepts related to this work, we refer the readers to [1823].

The aim of this paper is to define the concepts of neutrosophic ϰ-ideals, neutrosophic ϰ-bi-ideals and neutrosophic ϰ-interior ideals in ordered semigroup, and discuss its properties. We obtain an equivalent assertion of an interior ideal in ordered semigroup in terms of characteristic neutrosophic ϰ-structures. Further, we define the notion of ɛ-neutrosophic ϰ-ideals and ɛ-neutrosophic ϰ-interior ideals in ordered semigroup, and explore its properties. Moreover we show that the preimage of neutrosophic ϰ-right (resp., left, ideal) ideal is neutrosophic ϰ-right (resp., left, ideal) ideal under a homomorphism of an ordered semigroup.

2  Preliminaries

An non-empty set N together with two operations “.” and “≤”, denoted by (N,.,), is said to be an ordered semigroup if the given assertions are valid:

(i)   (N,.) is a semigroup,

(ii)   (N,) is a poset,

(iii)   For k1,k2N,k1k2kk1kk2 and k1kk2k for all kN.

For any A,BN, (A]={kN:kh for some hA} and AB = {k1k2: for all k1A and k2B }.

Definition 2.1. [24] Let (N,.,) be an ordered semigroup and ϕKN. Then K is a subsemigroup of N if K2K.

Definition 2.2. [24] Let (N,.,) be an ordered semigroup. A non-empty subset K in N is a left (resp., right) ideal of N if

(i)   NKK (resp., KNK),

(ii)   For k1K and k2N;k2k1k2K.

K is an ideal of N if it is a right and a left ideal of N.

Definition 2.3. [24] Let (N,.,) be an ordered semigroup. A subsemigroup K in N is a bi-ideal of N if

(i)   KNKK,

(ii)   For all k1,k2N,k1K and k2k1 imply k2K.

Defintion 2.4. [5] Let (N,.,) be an ordered semigroup. N is called regular if for each sN,kNssks.

Defintion 2.5. [5] Let (N,.,) be an ordered semigroup. N is called intra-regular if for each sN,k1,k2Nsk1s2k2.

Let (N,.,) be an ordered semigroup. Then the ϰ-function on N is a function h:N[1,0] and the collection of all the ϰ-functions is denoted by F(N,[1,0]). A ϰ-structure is an ordered pair (N,h) of N and an ϰ-function h on N.

Definition 2.6. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-structure in N is of the form:

NP:=N(TP,IP,FP)={k(TP(k),IP(k),FP(k))|kN},

where TP,IP and FP are the negative truth, negative indeterminacy and negative falsity membership functions respectively in N (ϰ-functions). Obviously 3TP(k)+IP(k)+FP(k)0 kN.

Definition 2.7. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-structure NP in N is a neutrosophic ϰ-subsemigroup in N if the below assertion is valid:

(k1,k2N)(TP(k1k2)TP(k1)TP(k2)IP(k1k2)IP(k1)IP(k2)FP(k1k2)FP(k1)FP(k2)).

Let NP be a neutrosophic ϰ −structure and μ, δ, ν ∈ [ −1, 0]. Consider the sets:

TPμ={kN|TP(k)μ},IPδ={kN|IP(k)δ},FPν={kN|FP(k)ν}.

The set NP(μ,δ,ν):={kN|TP(k)μ,IP(k)δ,FP(k)ν} is known as (μ, δ, ν)-level set on NP. It is evident that NP(μ,δ,ν)=TPμIPδFPν.

We refer to [1417] for basic definitions of neutrosophic ϰ-structures in a semigroup, such as neutrosophic ϰ-ideals, neutrosophic ϰ-bi-ideals, and neutrosophic ϰ-interior ideal. We define the neutrosophic ϰ-structures in an ordered semigroup N as follows:

Definition 2.8. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-structure NP in N is a neutrosophic ϰ-ideal in N if the below assertions are valid:

(i)   (k1,k2N)(TP(k1k2)TP(k2)IP(k1k2)IP(k2)FP(k1k2)FP(k2)).

(ii)   (k1,k2N)(TP(k1k2)TP(k1)IP(k1k2)IP(k1)FP(k1k2)FP(k1)).

(iii)   (k1,k2N),(k1k2)(TP(k1)TP(k2)IP(k1)IP(k2)FP(k1)FP(k2)).

A neutrosophic ϰ-structure NP in N is a neutrosophic ϰ-left ideal in N if the conditions (i) and (iii) are true. A neutrosophic ϰ-structure NP in N is a neutrosophic ϰ-right ideal in N if the conditions (ii) and (iii) are true.

Definition 2.9. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-subsemigroup NP in N is a neutrosophic ϰ-bi-ideal in N if the below assertions are valid:

(i)   (a,k1,k2N)(TP(k1ak2)TP(k1)TP(k2)IP(k1ak2)IP(k1)IP(k2)FP(k1ak2)FP(k1)FP(k2)).

(ii)   (k1,k2N),(k1k2)(TP(k1)TP(k2)IP(k1)IP(k2)FP(k1)FP(k2)).

It is evident that all the neutrosophic ϰ-ideals are neutrosophic ϰ-bi-ideals, but neutrosophic ϰ-bi-ideal need not be a neutrosophic ϰ-ideal, as given by an example.

Example 2.1. Consider the ordered semigroup N:={k1,k2,k3,k4,k5} with the binary operation “.” and the partial order “≤” as follows:

images

and ≤:={(k1,k1),(k1,k3),(k1,k4),(k1,k5),(k2,k2),(k2,k4),(k2,k5),(k3,k3),(k3,k5),(k4,k4),(k4,k5), (k5,k5)}.

Let NP={k1(0.8,0.3,0.7),k2(0.6,0.6,0.3),k3(0.4,0.4,0.5),k4(0.8,0.3,0.7),k5(0.1,0.5,0.3)}. Then NP is a neutrosophic ϰ-bi-ideal, but not a neutrosophic ϰ-ideal as TN(k3k5)=0.1>TN(k3),IN(k3k5)=0.5<IN(k3) and FN(k3k5)=0.3>FN(k3).

Definition 2.10. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-subsemigroup NP in N is a neutrosophic ϰ-interior ideal in N if the given assertions are valid:

(i)   (a,k1,k2N)(TP(k1ak2)TP(a)IP(k1ak2)IP(a)FP(k1ak2)FP(a)).

(ii)   (k1,k2N),(k1k2)(TP(k1)TP(k2)IP(k1)IP(k2)FP(k1)FP(k2)).

It is evident that neutrosophic ϰ-ideals are always neutrosophic ϰ-interior ideals, but not vice versa, as given by an example.

Example 2.2. Let N be the set of all non-negative integers except 1. Then (N,.,) is an ordered semigroup under usual multiplication and the relation ≤.

Let NP={0(0.8,0.1,0.7),3(0.2,0.4,0.5),7(0.5,0.6,0.6),21(0.1,0.5,0.3),otherwise(0.8,0.1,0.7)}. Then NP is a neutrosophic ϰ-interior ideal in N, but not neutrosophic ϰ-ideal as TN(3.7)=0.1>TN(3) and TN(3.7)=0.1>TN(7).

Definition 2.11. Let (N,.,) be an ordered semigroup. For any RN, the characteristic neutrosophic χ-structure in N is defined as

χR(NP)=N(χR(T)P,χR(I)P,χR(F)P)

where

χR(T)P:N[1,0],k{1ifkR0otherwise,χR(I)P:N[1,0],k{0ifkR1otherwise,χR(F)P:N[1,0],k{1ifkR0otherwise.

Definition 2.12. Let (N,.,) be an ordered semigroup and let NK:=N(TK,IK,FK) and NP:=N(TP,IP,FP) be neutrosophic ϰ-structures in N. Then

(i) NK is called a neutrosophic ϰ-substructure in NP, denote by NPNK, if TP(k)TK(k),IP(k)IK(k),FP(k)FK(k) for all kN.

If NKNP and NPNK, then we say that NK=NP.

(ii) The union of two neutrosophic ϰ-structures NK and NP over N is defined as

NKNP=NKP=(N;TKP,IKP,FKP),

where k1N,

(TKTP)(k1)=TKP(k1)=TK(k1)TP(k1),(IKIP)(k1)=IKP(k1)=IK(k1)IP(k1),(FKFP)(k1)=FKP(k1)=FK(k1)FP(k1).

(iii) The intersection of two neutrosophic ϰ-structures NK and NP over N is defined as

NKNP=NKP=(N;TKP,IKP,FKP),

where k1N,

(TKTP)(k1)=TKP(k1)=TK(k1)TP(k1),(IKIP)(k1)=IKP(k1)=IK(k1)IP(k1),(FKFP)(k1)=FKP(k1)=FK(k1)FP(k1).

3  Neutrosophic ϰ-Structures in Ordered Semigroups

In this section, we study some properties of neutrosophic ϰ-ideals and neutrosophic ϰ-interior ideal structure in an ordered semigroup N. It is evident that neutrosophic ϰ-ideals are neutrosophic ϰ-interior ideals in N, but the converse part need not be true in general. Further, we show that all neutrosophic ϰ-interior ideals are neutrosophic ϰ-ideals under certain conditions. Unless otherwise stated, we assume that NP and NK are neutrosophic ϰ-structures in N throughout this section.

Theorem 3.1. [15] Let N be a semigroup. Then for any KN, the given assertions are equivalent:

(i)   K is left ideal (resp., right ideal),

(ii)   χK(NK) is neutrosophic ϰ-left ideal(resp., right ideal).

Theorem 3.2. Let (N,.,) be an ordered semigroup. Then for any KN, the given assertions are equivalent:

(i)   K is left ideal (resp., right ideal),

(ii)   χK(NK) is neutrosophic ϰ-left ideal(resp., right ideal).

Proof. (i)⇒(ii) Suppose K is left ideal and let k1,k2N with k1k2. Then TK(k1)TK(k2),IK(k1)IK(k2) and FK(k1)FK(k2).

If k2K, then χK(T)K(k2)=1,χK(I)K(k2)=0 and χK(F)K(k2)=1 and so χK(T)K(k1)χK(T)K(k2)=1,χK(I)K(k1)χK(I)K(k2)=0 and χK(F)K(k1)χK(F)K (k2) = −1.

If k2∉ K, then χK(T)K(k2)=0,χK(I)K(k2)=1 and χK(F)K(k2)=0 and so χK(T)K(k1)0=χK(T)K(k2),χK(I)K(k1)1=χK(I)K(k2) and χK(F)K(k1)0=χK(F)K(k2). Thus χK(NK) is neutrosophic ϰ-left ideal. By Theorem 3.1, χK(NK) is neutrosophic ϰ-left ideal.

(ii)⇒(i) Assume χK(NK) is neutrosophic ϰ-left ideal. Let k1K,k2N and k2k1. Then χK(T)K(k2)χK(T)K(k1)=1,χK(I)K(k2)χK(I)K(k1)=0 and χK(F)K(k2)χK(F)K(k1)=1 which imply k2K. Hence by Theorem 3.1, K is left ideal.

Theorem 3.3. [17] Suppose N is a semigroup and for any KN, the equivalent assertions are:

(i)   K is interior ideal,

(ii)   χK(NK) is neutrosophic ϰ-interior ideal.

Theorem 3.4. Let (N,.,) be an ordered semigroup. Then for any KN, the given assertions are equivalent:

(i)   K is interior ideal,

(ii)   χK(NK) is neutrosophic ϰ-interior ideal.

Proof. (i)⇒(ii) Suppose K is interior ideal and let k1,k2N with k1k2. Then TK(k1)TK(k2),IK(k1)IK(k2) and FK(k1)FK(k2).

If k2K, then χK(T)K(k2)=1,χK(I)K(k2)=0 and χK(F)K(k2)=1 and so χK(T)K(k1)=1,χK(I)K(k1)=0 and χK(F)K(k1)=1.

If k2∉ K, then χK(T)K(k2)=0,χK(I)K(k2)=1 and χK(F)K(k2)=0 and so χK(T)K(k1)χK(T)K(k2)=0,χK(I)K(k1)χK(I)K(k2)=1 and χK(F)K(k1)χK(F)K(k2)=0. Thus χK(NK) is neutrosophic ϰ-interior ideal by Theorem 3.3.

(ii)⇒(i) Assume χK(NK) is neutrosophic ϰ-interior ideal. Let k1K,k2N and k2k1. Then χK(T)K(k2)χK(T)K(k1)=1,χK(I)K(k2)χK(I)K(k1)=0 and χK(F)K(k2)χK(F)K(k1)=1 which imply k2K. By Theorem 3.3, K is interior ideal.

Theorem 3.5. Let (N,.,) be an ordered semigroup. Then the arbitrary intersection (resp., union) of neutrosophic ϰ-interior ideals in N is a neutrosophic ϰ-interior ideal in N.

Proof. The proof is a routine procedure.

Theorem 3.6. Let (N,.,) be an ordered semigroup. If N is regular, then neutrosophic ϰ-interior ideals in N are neutrosophic ϰ-ideals.

Proof. Assume NP is neutrosophic ϰ-interior ideal and let k1,k2N. As k1N and N is regular, there is rN such that k1k1rk1. Now, TP(k2k1)TP(k2k1rk1)TP(k1),IP(k2k1)IP(k2k1rk1)IP(k1) and FP(k2k1)FP(k2k1rk1)FP(k1). Therefore NP is neutrosophic ϰ-left ideal. In a similar way, we can claim that NP is neutrosophic ϰ-right ideal.

Theorem 3.7. Let (N,.,) be an ordered semigroup. If N is intra-regular, then neutrosophic ϰ-interior ideals in N are neutrosophic ϰ-ideals.

Proof. Let NP be neutrosophic ϰ-interior ideal and k1,k2N. As k1N and N is intra regular, s,tNk1sk12t. Now,

TP(k2k1)TP(k2sk12t)TP(k1),IP(k2k1)IP(k2sk12t)IP(k1),FP(k2k1)FP(k2sk12t)FP(k1).

Therefore NP is neutrosophic ϰ-left ideal. In the same way, we can claim that NP is neutrosophic ϰ-right ideal and hence NP is neutrosophic ϰ-ideal.

Definition 3.1. An ordered semigroup N is said to be

(i)   left (resp., right) simple if it does not contain any proper left (resp., right) ideal of N.

(ii)   simple if it does not contain any proper ideal of N.

Definition 3.2. An ordered semigroup N is known as neutrosophic ϰ-simple if all the neutrosophic ϰ-ideals are constant functions i.e., for any neutrosophic ϰ-ideal NP in N, we can have TP(k1)=TP(k2),IP(k1)=IP(k2) and FP(k1)=FP(k2) for all k1,k2N.

Notation 3.1. Let (N,.,) be an ordered semigroup. Then for any kN, we define JkN as follows:

Jk:={mN|TK(m)TK(k),IK(m)IK(k)andFK(m)FK(k)}.

Theorem 3.8. Let (N,.,) be an ordered semigroup. If NK is a neutrosophic ϰ-right (resp., ϰ-left, ϰ-ideal) ideal in N, then for any kN,Jk is a right ideal (resp., left ideal, ideal) of N.

Proof. Let kN. Then clearly ϕJkN. Let k1Jk and k2N. Then k1k2Jk. Indeed; Since k1,k2N and NK is neutrosophic ϰ-right ideal, we get TK(k1k2)TK(k1),IK(k1k2)IK(k1) and FK(k1k2)FK(k1). Since k1Jk, we get TK(k1)TK(k),IK(k1)IK(k) and FK(k1)FK(k) which imply k1k2Jk. Let a1Jk,a2N with a2a1. Then TK(a2)TK(a1),IK(a2)IK(a1) and FK(a2)FK(a1). Since a1Jk, we have TK(a1)TK(k),IK(a1)IK(k) and FK(a1)FK(k). So TK(a2)TK(k),IK(a2)IK(k) and FK(a2)FK(k) which imply a2Jk. Therefore Jk is a right ideal in N.

Theorem 3.9. If N is an ordered semigroup, then N is neutrosophic ϰ-simple if and only if N is simple.

Proof. Suppose N is neutrosophic ϰ-simple. Let J be an ideal in N. Then by Theorem 3.2, χJ(NK) is neutrosophic ϰ-ideal. We now prove that N=J. Let kN. Since N is neutrosophic ϰ-simple, χJ(NK) is constant and χJ(NK)(k)=χJ(NK)(k) for every kN. In particular, we have χJ(TK)(k)=χJ(TK)(d)=1, χJ(IK)(k)=χJ(IK)(d)=0 and χJ(FK)(k)=χJ(FK)(d)=1 for any dJ which gives kJ. Thus NJ and hence N=J.

Conversely, let NK be neutrosophic ϰ-ideal with k1,k2N. Then by Theorem 3.8, Jk1 is an ideal. As N is simple, we have Jk1=N. Since k2Jk1, we have TK(k2)TK(k1),IK(k2)IK(k1) and FK(k2)FK(k1). Similarly, we can prove that TK(k1)TK(k2),IK(k1)IK(k2) and FK(k1)FK(k2). So TK(k2)=TK(k1),IK(k2)=IK(k1) and FK(k2)=FK(k1). Hence N is neutrosophic ϰ-simple.

Lemma 3.1. [25] An ordered semigroup N is simple if and only if N=(NtN] for all tN.

Theorem 3.10. For any ordered semigroup N,N is simple if and only if all the neutrosophic ϰ-interior ideals in N are constant functions.

Proof. Suppose k1,k2N and N is simple. Let NK be neutrosophic ϰ-interior ideal. Then by Lemma 3.1, we get N=(Nk1N]=(Nk2N]. Since k1(Nk1N], we get k1t k2s for t,sN. Since NK is neutrosophic ϰ-interior ideal, we can have TK(k1)TK(tk2s)TK(k2),IK(k1)IK(tk2s)IK(k2) and FK(k1)FK(tk2s)FK(k2). Similarly, we can prove that TK(k2)TK(k1), IK(k2)IK(k1) and FK(k2)FK(k1). So NK is constant.

Conversely, suppose NK is a neutrosophic ϰ-ideal in N. Then NK is neutrosophic ϰ-interior ideal. By assumption, NK is constant and hence NK is neutrosophic ϰ-simple. Therefore N is simple, by Theorem 3.9.

Theorem 3.11. Let (N,.,) be an ordered semigroup. If NP is neutrosophic ϰ-interior ideal with μ, δ, ν ∈ [ −1, 0] and −3≤ μ + δ + ν ≤ 0, then (μ, δ, ν)-level set in NP is neutrosophic ϰ-interior ideal provided NP(μ,δ,ν)ϕ.

Proof. Suppose NP(μ,δ,ν)ϕ for μ, δ, ν ∈ [ −1, 0]. Let NP be neutrosophic ϰ-interior ideal and k1,k2N with k1k2. Then TP(k1)TP(k2),IP(k1)IP(k2) and FP(k1)FP(k2). If k2TPμ, then TP(k2)μ which implies TP(k1)μ and so k1TPμ. If k2IPδ, then IP(k2)δ which implies IP(k1)δ and so k1IPδ. If k2FPν, then FP(k2)ν which implies FP(k1)ν and so k1FPν. Hence k1NP(μ,δ,ν). By [[17], Theorem 3.16], NP(μ,δ,ν) is a neutrosophic ϰ-interior ideal in N.

Theorem 3.12. ([17], Theorem 3.17) Let N be a semigroup and NK be neutrosophic ϰ-structure in N with α, β, γ ∈ [ −1, 0] such that −3 ≤ α + β + γ ≤ 0. If TKα,IKβ and FKγ are interior ideals in N, then NK is neutrosophic ϰ-interior ideal in N whenever TKαϕ,IKβϕ and FKγϕ.

Theorem 3.13. Let (N,.,) be an ordered semigroup. Let NK be neutrosophic ϰ-structure with α, β, γ ∈ [ −1, 0] and −3 ≤ α + β + γ ≤ 0. If TKα,IKβ and FKγ are interior ideals, then NK is neutrosophic ϰ-interior ideal whenever TKαϕ,IKβϕ and FKγϕ.

Proof. Let k1N,k2TKα with k1k2. Then k1TKα as TKα is an interior ideal of N. Suppose TK(k1)>TK(k2). Then TK(k1)>tαTK(k2) for some tα∈ [ −1, 0). So k2TKtα but k1TKtα, a contradiction. Thus TK(k1)TK(k2).

Let k1N,k2IKβ with k1k2. Then k1IKβ as IKβ is an interior ideal of N. Suppose k1. Then k1 for some tβ∈ [ −1, 0). So k2IKtβ but k1IKtβ, a contradiction. Thus IK(k1)IK(k2).

Let k1N,k2FKγ with k1k2. Then k1FKγ as FKγ is an interior ideal of N. Suppose FK(k1)>FK(k2). Then FK(k1)>tγFK(k2) for some tγ ∈ [ −1, 0). So k2FKtγ but k1FKtγ, a contradiction. Thus FK(k1)FK(k2).

Hence by Theorem 3.12, NK is neutrosophic ϰ-interior ideal.

Let (N,.,) be an ordered semigroup. Following [14], we define ɛ-neutrosophic ϰ-subsemigroup, ɛ-neutrosophic ϰ-ideal and ɛ-neutrosophic ϰ-interior ideal in N as follows:

Definition 3.3. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-structure NP in N is called an ɛ-neutrosophic ϰ-subsemigroup in N if the given assertion is valid:

(k1,k2N)(TP(k1k2){TP(k1),TP(k2),εT}IP(k1k2){IP(k1),IP(k2),εI}FP(k1k2){FP(k1),FP(k2),εF})

where ɛT, ɛI, ɛF∈ [ −1, 0] such that −3≤ ɛT +ɛI +ɛF≤ 0.

Definition 3.4. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-structure NP in N is called an ɛ-neutrosophic ϰ-ideal of N if the given assertions are valid:

(i) (k1,k2N)(TP(k1k2){TP(k2),εT}IP(k1k2){IP(k2),εI}FP(k1k2){FP(k2),εF}).

(ii) (k1,k2N)(TP(k1k2){TP(k1),εT}IP(k1k2){IP(k1),εI}FP(k1k2){FP(k1),εF}).

(iii) (k1,k2N),k1k2(TP(k1)TP(k2)εTIP(k1)IP(k2)εIFP(k1)FP(k2)εF)

where ɛT, ɛI, ɛF∈ [ −1, 0] such that −3≤ ɛT +ɛI +ɛF≤ 0.

NP is called an ɛ-neutrosophic ϰ-left ideal of N if it satisfies the assertions (i) and (iii).

NP is called an ɛ-neutrosophic ϰ-right ideal of N if it satisfies the assertions (ii) and (iii).

Definition 3.5. Let (N,.,) be an ordered semigroup. A neutrosophic ϰ-subsemigroup NP in N is called a ɛ-neutrosophic ϰ-interior ideal in N if the following assertions are valid:

(i)   (k1,k2,k3N)(TP(k1k2k3){TP(k2),εT}IP(k1k2k3){IP(k2),εI}FP(k1k2k3){FP(k2),εF}).

(ii)   (k2,k3N),k2k3(TP(k2)TP(k3)εTIP(k2)IP(k3)εIFP(k2)FP(k3)εF)

where ɛT, ɛI, ɛF∈ [ −1, 0] such that −3≤ ɛT +ɛI +ɛF≤ 0.

Theorem 3.14. Let (N,.,) be an ordered semigroup. If NK and NP are an ɛ-neutrosophic ϰ-subsemigroup and a δ-neutrosophic ϰ-subsemigroup, respectively in N for any ɛT, ɛI, ɛF, δT, δI, δF ∈ [ −1, 0] with −3≤ ɛT +ɛI +ɛF≤ 0 and −3≤ δT +δI +δF≤ 0, then NKNP is a ν-neutrosophic ϰ-subsemigroup of N for ν: = ɛδ, that is, (νT, νI, νF) = (ɛTδT, ɛIδI, ɛFδF).

Proof. The proof is similar to Theorem 4.14 of [14].

Theorem 3.15. Let (N,.,) be an ordered semigroup. If NK and NP are an ɛ-neutrosophic ϰ-interior ideal and a δ-neutrosophic ϰ-interior ideal, respectively in N for any ɛT, ɛI, ɛF, δT, δI, δF ∈ [ −1, 0] with −3≤ ɛT +ɛI +ɛF≤ 0 and −3≤ δT +δI +δF≤ 0, then NKNP is a ν-neutrosophic ϰ-interior ideal in N for ν: = ɛδ, that is, (νT, νI, νF) = (ɛTδT, ɛIδI, ɛFδF).

Proof. For any k1,k2,k3N, we have

TKP(k1k2k3)={TK(k1k2k3),TP(k1k2k3)}{{TK(k2),εT},{TP(k2),δT}}{{TK(k2),νT},{TP(k2),νT}}={TK(k2),TP(k2),νT}={TKP(k2),νT},IKP(k1k2k3)={IK(k1k2k3),IP(k1k2k3)}{{IK(k2),εI},{IP(k2),δI}}{{IK(k2),νI},{IP(k2),νI}}={IK(k2),IP(k2),νI}={IKP(k2),νI},FKP(k1k2k3)={FK(k1k2k3),FP(k1k2k3)}{{FK(k2),εF},{FP(k2),δF}}{{FK(k2),νF},{FP(k2),νF}}={FK(k2),FP(k2),νF}={FKP(k2),νF}.

For any k1,k2N with k1k2, we have

TKP(k1)=TK(k1)TP(k1){TK(k2)εT}{TP(k2)δT}=TKP(k2)νT,IKP(k1)=IK(k1)IP(k1){IK(k2)εT}{IP(k2)δT}=IKP(k2)νT,FKP(k1)=FK(k1)FP(k1){FK(k2)εT}{FP(k2)δT}=FKP(k2)νT.

Therefore NKNP is a ν-neutrosophic ϰ-interior ideal in N.

Theorem 3.16. Let (N,.,) be an ordered semigroup. Let NK be an ɛ-neutrosophic ϰ-interior ideal in N. If

κ:=(κT,κI,κF)=(k1NTK(k1),k1NIK(k1),k1NFK(k1)),

then the set

Ω:={kN|TK(k)κTεT,IK(k)κIεI,FK(k)κFεF}

is an interior ideal of N.

Proof. Let k1,k2N. If k1, k2∈ Ω, then

TK(k1)κTεT=k1N{TK(k1)}εT,TK(k2)κTεT=k2N{TK(k2)}εT,IK(k1)κIεI=k1N{IK(k1)}εI,IK(k2)κIεI=k2N{IK(k2)}εI,FK(k1)κFεF=k1N{FK(k1)}εF,FK(k2)κFεF=k2N{FK(k2)}εF.

Now for any k1,k2,k3N,

TK(k1k2k3){TK(k2),εT}{κTεT,εT}=κTεT,IK(k1k2k3){IK(k2),εI}{κIεI,εI}=κIεI,FK(k1k2k3){FK(k2),εF}{κFεF,εF}=κFεF.

So k1k2k3∈ Ω.

Let k1,k2N with k1k2 and k2∈ Ω. Then TK(k2)κTεT,IK(k2)κIεI,FK(k2)κFεF. Since NK is an ɛ-neutrosophic ϰ-interior ideal in N, we have TK(k1)TK(k2),IK(k1)IK(k2) and FK(k1)FK(k2). So TK(k1)κTεT,IK(k1)κIεI,FK(k1)κFεF which imply k1∈ Ω and hence Ω is an interior ideal of N.

Following [26], let (N,.,) and (M,,) be ordered semigroups and a mapping f:NM. f is known as isotone if k1,k2N,k1k2 implies f(k1) ≼ f(k2). f is called inverse isotone if k1,k2N,f(k1)f(k2) implies k1k2 [each inverse isotone mapping is (1–1)]. f is said to be a homomorphism if (i) f is isotone and (ii) f(k1.k2) = f(k1) * f(k2) for all k1,k2N. f is known as an isomorphism if it is homomorphism, onto and inverse isotone.

For a map f:NM of ordered semigroups and a neutrosophic ϰ-structure NK:=M(TK,IK,FK) over M and ɛ = (ɛT, ɛI, ɛF) with −3≤ ɛT +ɛI +ɛF≤ 0, define a neutrosophic ϰ-structure NKε:=N(TKε,IKε,FKε) over N by:

TKε:N[1,0],k{TK(f(k)),εT},IKε:N[1,0],k{IK(f(k)),εI},FKε:N[1,0],k{FK(f(k)),εF}.

Theorem 3.17. Let (N,.,) and (M,,) be ordered semigroups and f:NM be homomorphism. If a neutrosophic ϰ-structure NK:=M(TK,IK,FK) over M is an ɛ-neutrosophic ϰ-subsemigroup of M, then NKε:=N(TKε,IKε,FKε) is an ɛ-neutrosophic ϰ-subsemigroup in N.

Proof. The proof is similar to Theorem 4.16 of [14].

Theorem 3.18. Let (N,.,) and (M,,) be ordered semigroups and f:NM be homomorphism. If a neutrosophic ϰ-structure NK:=M(TK,IK,FK) over M is an ɛ-neutrosophic ϰ-left ideal (resp., right ideal, ideal) of M, then NKε:=N(TKε,IKε,FKε) is an ɛ-neutrosophic ϰ-left ideal (resp., right ideal, ideal) of N.

Proof. Let NK:=M(TK,IK,FK) is an ɛ-neutrosophic ϰ-left ideal in M. For any k1,k2N, we have

TKε(k1k2)={TK(f(k1k2)),εT}={TK(f(k1)f(k2)),εT}{TK(f(k2)),εT}=TKε(k2),IKε(k1k2)={IK(f(k1k2)),εI}={IK(f(k1)f(k2)),εI}{IK(f(k2)),εI}=IKε(k2),FKε(k1k2)={FK(f(k1k2)),εF}={FK(f(k1)f(k2)),εF}{FK(f(k2)),εF}=FKε(k2).

Let k1k2. Then

TKε(k1)=TK(f(k1))εTTK(f(k2))εT=TKε(k2),IKε(k1)=IK(f(k1))εIIK(f(k2))εI=IKε(k2),FKε(k1)=FK(f(k1))εFFK(f(k2))εF=FKε(k2).

Therefore NKε is an ɛ-neutrosophic ϰ-left ideal in N.

Theorem 3.19. Let (N,.,) and (M,,) be ordered semigroups and f:NM be homomorphism. If a neutrosophic ϰ-structure NK:=M(TK,IK,FK) over M is an ɛ-neutrosophic ϰ-interior ideal of M, then NKε:=N(TKε,IKε,FKε) is an ɛ-neutrosophic ϰ-interior ideal in N.

Proof. For any k1,k2,k3N, we have

TKε(k1k2k3)={TK(f(k1k2k3)),εT}={TK(f(k1)f(k2)f(k3)),εT}{TK(f(k2)),εT}=TKε(k2),IKε(k1k2k3)={IK(f(k1k2k3)),εI}={IK(f(k1)f(k2)f(k3)),εI}{IK(f(k2)),εI}=IKε(k2),FKε(k1k2k3)={FK(f(k1k2k3)),εF}={FK(f(k1)f(k2)f(k3)),εF}{FK(f(k2)),εF}=FKε(k2).

Let k1k2. Then

TKε(k1)=TK(f(k1))εTTK(f(k2))εT=TKε(k2),IKε(k1)=IK(f(k1))εIIK(f(k2))εI=IKε(k2),FKε(k1)=FK(f(k1))εFFK(f(k2))εF=FKε(k2).

Hence by Theorem 3.17, NKε is an ɛ-neutrosophic ϰ-interior ideal in N.

Let (N,.,) and (M,,) be ordered semigroups. Consider a map f:NM. If MP:=M(TP,IP,FP) is a neutrosophic ϰ-structures over M, then the preimage of MP under f is defined to be a neutrosophic ϰ-structures

f1(MP)=N(f1(TP),f1(IP),f1(FP))

over N, where f1(TP)(k)=TP(f(k)),f1(IP)(k)=IP(f(k)) and f1(FP)(k)=FP(f(k)) for all kN.

Theorem 3.20. Let (N,.,) and (M,,) be ordered semigroups and f:NM be homomorphism. If MK:=M(TP,IP,FP) is a neutrosophic ϰ-subsemigroup of M, then the preimage of MK under f is a neutrosophic ϰ-subsemigroup of N.

Proof. The proof is similar to Theorem 4.17 of [14].

Theorem 3.21. Let (N,.,) and (M,,) be ordered semigroups and f:NM be homomorphism. If MP:=M(TP,IP,FP) is a neutrosophic ϰ-right ideal (resp., left ideal, ideal) of M, then the preimage of MP under f is a neutrosophic ϰ-right ideal (resp., left ideal, ideal) of N.

Proof. Let f1(MP)=N(f1(TP),f1(IP),f1(FP)) be the preimage of MP under the map f. For any k1,k2N, we can have

f1(TP)(k1k2)=TP(f(k1k2))=TP(f(k1)f(k2))TP(f(k1))=f1(TP)(k1),f1(IP)(k1k2)=IP(f(k1k2))=IP(f(k1)f(k2))IP(f(k1))=f1(IP)(k1),f1(FP)(k1k2)=FP(f(k1k2))=FP(f(k1)f(k2))FP(f(k1))=f1(FP)(k1).

Let k1,k2N with k1k2. Then

f1(TP)(k1)=TP(f(k1))TP(f(k2))=f1(TP)(k2),f1(IP)(k1)=IP(f(k1))IP(f(k2))=f1(IP)(k2),f1(FP)(k1)=FP(f(k1))FP(f(k2))=f1(FP)(k2).

Therefore f1(MP) is a neutrosophic ϰ-right ideal in N.

Theorem 3.22. Let (N,.,) and (M,,) be ordered semigroups. Consider the homomorphism f:NM. If MP:=M(TP,IP,FP) is a neutrosophic ϰ-interior ideal of M, then the preimage of MP under f is a neutrosophic ϰ-interior ideal in N.

Proof. Let f1(MP)=N(f1(TP),f1(IP),f1(FP)) be the preimage of MP under f. For any k1,k2,k3N, we have

f1(TP)(k1k2k3)=TP(f(k1k2k3))=TP(f(k1)f(k2)f(k3))TP(f(k2))=f1(TP)(k2),f1(IP)(k1k2k3)=IP(f(k1k2k3))=IP(f(k1)f(k2)f(k3))IP(f(k2))=f1(IP)(k2),f1(FP)(k1k2k3)=FP(f(k1k2k3))=FP(f(k1)f(k2)f(k3))FP(f(k2))=f1(FP)(k2).

Let k1,k2N with k1k2. Then

f1(TP)(k1)=TP(f(k1))TP(f(k2))=f1(TP)(k2),f1(IP)(k1)=IP(f(k1))IP(f(k2))=f1(IP)(k2),f1(FP)(k1)=FP(f(k1))FP(f(k2))=f1(FP)(k2).

Therefore, by Theorem 3.20, f1(MP) is a neutrosophic ϰ-interior ideal in N.

Let (N,.,) and (M,,) be ordered semigroups. Consider the onto function f:NM. If NK:=N(TK,IK,FK) is a neutrosophic ϰ-structures over N, then the image of NK under f is defined to be a neutrosophic ϰ-structures

f(NK)=M(f(TK),f(IK),f(FK))

over M, where for all k2M,

f(TK)(k2)=k1f1(k2)TK(k1),f(IK)(k2)=k1f1(k2)IK(k1),f(FK)(k2)=k1f1(k2)FK(k1).

Theorem 3.23. Let (N,.,) and (M,,) be ordered semigroups. Consider an onto homomorphism f:NM. Let NK:=N(TK,IK,FK) be a neutrosophic ϰ-structure over N such that

(QN)(x0Q)(TK(x0)=zQTK(z)IK(x0)=zQIK(z)FK(x0)=zQFK(z)).

If NK is a neutrosophic ϰ-subsemigroup of N, then the image of NK is a neutrosophic ϰ-subsemigroup of M under f.

Proof. The proof is similar to Theorem 4.18 of [14].

Theorem 3.24. Let (N,.,) and (M,,) be ordered semigroups. Consider an onto homomorphism f:NM. Let NK:=N(TK,IK,FK) be a neutrosophic ϰ-structure over N such that

(QN)(x0Q)(TK(x0)=zQTK(z)IK(x0)=zQIK(z)FK(x0)=zQFK(z)).

If NK is a neutrosophic ϰ-left ideal in N, then the image of NK is a neutrosophic ϰ-left ideal in M under f.

Proof. Let f(NK)=M(f(TK),f(IK),f(FK)) be the image in NK under f and k1,k2M. Then f−1(k1) ≠ φ and f−1(k2) ≠ φ. So there exist sf−1(k1) and tf−1(k2) such that

TK(s)=uf1(k1)TK(u),TK(t)=vf1(k2)TK(v),IK(s)=uf1(k1)IK(u),IK(t)=vf1(k2)IK(v),FK(s)=uf1(k1)FK(u),FK(t)=vf1(k2)FK(v).

Now,

f(TK)(k1k2)=xf1(k1k2)TK(x)TK(st)TK(t)=vf1(k2)TK(v)=f(TK)(k2),f(IK)(k1k2)=xf1(k1k2)IK(x)IK(st)IK(t)=vf1(k2)IK(v)=f(IK)(k2),f(FK)(k1k2)=xf1(k1k2)FK(x)FK(st)FK(t)=vf1(k2)FK(v)=f(FK)(k2).

Let k1, k2M with k1k2. Then

f(TK)(k1)=xf1(k1)TK(x)=TK(s)TK(t)=vf1(k2)TK(v)=f(TK)(k2),f(IK)(k1)=xf1(k1)IK(x)=IK(s)IK(t)=vf1(k2)IK(v)=f(IK)(k2),f(FK)(k1)=xf1(k1)FK(x)=FK(s)FK(t)=vf1(k2)FK(v)=f(FK)(k2).

Therefore f(NK) is a neutrosophic ϰ-left ideal in M.

Theorem 3.25. Let (N,.,) and (M,,) be ordered semigroups. Consider an onto homomorphism f:NM. Let NK:=N(TK,IK,FK) be a neutrosophic ϰ-structure over N such that

(QN)(x0Q)(TK(x0)=zQTK(z)IK(x0)=zQIK(z)FK(x0)=zQFK(z)).

If NK is a neutrosophic ϰ-interior ideal in N, then the image of NK under f is a neutrosophic ϰ-interior ideal in M.

Proof. Let f(NK)=M(f(TK),f(IK),f(FK)) be the image of NK under f. Let k1,k2,k3M. Then f−1(k1) ≠ φ, f−1(k2) ≠ φ and f−1(k3) ≠ φ. Then there exist sf−1(k1), tf−1(k2) and uf−1(k3) such that

TK(s)=zf1(k1)TK(z),TK(t)=wf1(k2)TK(w),TK(u)=vf1(k3)TK(v),IK(s)=zf1(k1)IK(z),IK(t)=wf1(k2)IK(w),IK(u)=vf1(k3)IK(v),FK(s)=zf1(k1)FK(z),FK(t)=wf1(k2)FK(w),FK(u)=vf1(k3)FK(v).

Now,

f(TK)(k1k3k2)=xf1(k1k3k2)TK(x)TK(sut)TK(u)=vf1(k3)TK(v)=f(TK)(k3),f(IK)(k1k3k2)=xf1(k1k3k2)IK(x)IK(sut)IK(u)=vf1(k3)IK(v)=f(IK)(k3),f(FK)(k1k3k2)=xf1(k1k3k2)FK(x)FK(sut)FK(u)=vf1(k3)FK(v)=f(FK)(k3).

Let k1,k2M with k1k2. Then

f(TK)(k1)=xf1(k1)TK(x)=TK(s)TK(t)=vf1(k2)TK(v)=f(TK)(k2),f(IK)(k1)=xf1(k1)IK(x)=IK(s)IK(t)=vf1(k2)IK(v)=f(IK)(k2),f(FK)(k1)=xf1(k1)FK(x)=FK(s)FK(t)=vf1(k2)FK(v)=f(FK)(k2).

Hence, by Theorem 3.23, f(NK) is a neutrosophic ϰ-interior ideal in M.

4  Conclusion

In ordered semigroups, the concepts of neutrosophic ϰ-ideals, neutrosophic ϰ-bi-ideals, and neutrosophic ϰ-interior ideals were introduced and their properties were investigated. We defined ordered semigroups by employing various neutrosophic ϰ-ideals, neutrosophic ϰ-bi-ideals, neutrosophic ϰ-interior ideals and so on. In our future work, we intend to define different types of notions in neutrosophic ϰ-structures over-ordered semigroups, such as neutrosophic ϰ-prime, neutrosophic ϰ-quasi-prime, and investigate the structural properties of ordered semigroups using the concepts and results in ordered semigroups. Hopefully, our research work will continue in this direction and will create a platform for other algebraic structures.

Funding Statement: The authors are grateful to the anonymous referees for careful checking of the details and for helpful comments that improved this paper. This work was supported by the Taif University Researchers Supporting Project (TURSP-2020/246), Taif University, Taif, Saudi Arabia.

Conflicts of Interest: The authors declare that they have no conflicts of interest to report regarding the present study.

References

 1.  Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338–353. DOI 10.1016/S0019-9958(65)90241-X. [Google Scholar] [CrossRef]

 2.  Atanassov, K. T. (1986). Intuitionistic fuzzy sets. Fuzzy Sets and Systems, 20, 87–96. DOI 10.1016/S0165-0114(86)80034-3. [Google Scholar] [CrossRef]

 3.  Rosenfeld, A. (1971). Fuzzy groups. Journal of Mathematics Analysis and Applications, 35, 512–517. DOI 10.1016/0022-247X(71)90199-5. [Google Scholar] [CrossRef]

 4.  Kehayopulu, N. (1998). A note on strongly regular ordered semigroups. Scientiae Mathematicae, 1(1), 33–36. [Google Scholar]

 5.  Kehayopulu, N., Tsingelis, M. (2006). Fuzzy interior ideals in ordered semigroups. Lobachevskii Journal of Mathematics, 21, 65–71. [Google Scholar]

 6.  Kuroki, N. (1981). On fuzzy ideals and fuzzy biideals in semigroups. Fuzzy Sets and Systems, 5, 203–215. [Google Scholar]

 7.  Mohseni Takallo, M., Ali Borzooei, R., Song, S., Jun, Y. B. (2021). Implicative ideals of BCK-algebras based on MBJ-neutrosophic sets. AIMS Mathematics, 6(10), 11029–11045. DOI 10.3934/math.2021640. [Google Scholar] [CrossRef]

 8.  Mukherjee, T. K., Sen, M. K. (1989). Prime fuzzy ideals in rings. Fuzzy Sets and Systems, 32, 337–341. DOI 10.1016/0165-0114(89)90266-2. [Google Scholar] [CrossRef]

 9.  Jin, Q., Hu, K., Bo, C. X., Li, L. (2021). A new single-valued neutrosophic rough sets and related topology. Journal of Mathematics, 2021, DOI 10.1155/2021/5522021. [Google Scholar] [CrossRef]

10. Kehayopulu, N., Tsingelis, M. (1999). A note on fuzzy sets in semigroups. Scientiae Mathematicae, 2(3), 411–413. [Google Scholar]

11. Muhiuddin, G., Ahmad, N., Al-Kenani Roh, E. H., Jun, Y. B. (2019). Implicative neutrosophic quadruple BCK-algebras and ideals. Symmetry, 11(2), 277. [Google Scholar]

12. Muhiuddin, G., Bordbar, H., Smarandache, F., Jun, Y. B. (2018). Further results on (ɛ; ɛ)-neutrosophic subalgebras and ideals in BCK/BCI-algebras. Neutrosophic Sets and Systems, 20, 36–43. [Google Scholar]

13. Muhiuddin, G., Kim, S. J., Jun, Y. B. (2019). Implicative ϰ-ideals of BCK-algebras based on neutrosophic ϰ structures. Discrete Mathematics, Algorithms and Applications, 11(1), 1950011. [Google Scholar]

14. Khan, M., Anis, S., Smarandache, F., Jun, Y. B. (2017). Neutrosophic ϰ-structures and their applications in semigroups. Annals of Fuzzy Mathematics and Informatics, 14(6), 583–598. [Google Scholar]

15. Elavarasan, B., Smarandache, F., Jun, Y. B. (2019). Neutrosophic ϰ-ideals in semigroups. Neutrosophic Sets and Systems, 28, 273–280. [Google Scholar]

16. Porselvi, K., Elavarasan, B., Smarandache, F., Jun, Y. B. (2020). Neutrosophic ϰ-bi-ideals in semigroups. Neutrosophic Sets and Systems, 35, 422–434. [Google Scholar]

17. Porselvi, K., Elavarasan, B., Smarandache, F. (2020). Neutrosophic ϰ-interior ideals in semigroups. Neutrosophic Sets and Systems, 36, 70–80. [Google Scholar]

18. Muhiuddin, G. (2021). P-ideals of BCI-algebras based on neutrosophic N-structures. Journal of Intelligent & Fuzzy Systems, 40(1), 1097–1105. [Google Scholar]

19. Muhiuddin, G., Jun, Y. B. (2020). Further results of neutrosophic subalgebras in BCK/BCI-algebras based on neutrosophic point. TWMS Journal of Applied and Engineering Mathematics, 10(2), 232–240. [Google Scholar]

20. Muhiuddin, G., Smarandache, F., Jun, Y. B. (2019). Neutrosophic quadruple ideals in neutrosophic quadruple BCI-algebras. Neutrosophic Sets and Systems, 25, 161–173. [Google Scholar]

21. Muhiuddin, G. (2018). Neutrosophic subsemigroups. Annals of Communication in Mathematics, 1(1), 1–10. [Google Scholar]

22. Muhiuddin, G., Jun, Y. (2018). P-semisimple neutrosophic quadruple BCI-algebras and neutrosophic quadruple p-ideals. Annals of Communication in Mathematics, 1(1), 26–37. [Google Scholar]

23. Hussain, S. S., Hussain, R. J., Muhiuddin, G. (2020). Neutrosophic vague line graphs. Neutrosophic Sets and Systems, 36, 121–130. [Google Scholar]

24. Kehayopulu, N., Tsingelis, M. (2005). Fuzzy bi-ideals in ordered semigroups. Information Sciences, 171(1–3), 13–28. DOI 10.1016/j.ins.2004.03.015. [Google Scholar] [CrossRef]

25. Kehayopulu, N. (1991). Note on green’s relations in ordered semigroups. Japanese Journal of Mathematics, 36(2), 211–214. [Google Scholar]

26. Cao, Y. (2003). Quotient ordered homomorphisms of ordered semigroups. Communications in Algebra, 31(11), 5563–5579. [Google Scholar]

images This work is licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.