Processing math: 39%
Research article

On the nonexistence of some open immersions

  • In this paper, we will prove a sufficient condition for that there does not exist an open immersion between two affine schemes of finite type over a field k with the same dimension. The proof is based on the following fact: the complement of an open affine subset in a noetherian integral separated scheme has pure codimension 1. We will first prove it when k is a finite field, the key to the proof of this part is Lang-Weil estimation. Then we'll prove a general result over an arbitrary field by reducing to the case when k is finite. And the proof of the general result is much more complicated. In order to use the result over a finite field, at some point we must produce a scheme that is defined over Fq and an open immersion, also defined over Fq. One important lemma is that a morphism f:Spec(B)Spec(A) between two integral domains with the same quotient field K is an open immersion if and only if B is a birational extension of A in K and B is flat over A. According to the general result, the following open immersions do not exist: SLn/kAn21k, Spn/kA2n2+nk, SOn/kAn2n2k, PGLn/kAn21k, where k is an arbitrary field.

    Citation: Dandan Shi. On the nonexistence of some open immersions[J]. AIMS Mathematics, 2021, 6(2): 1991-2002. doi: 10.3934/math.2021121

    Related Papers:

    [1] Miyoun Jung . A variational image denoising model under mixed Cauchy and Gaussian noise. AIMS Mathematics, 2022, 7(11): 19696-19726. doi: 10.3934/math.20221080
    [2] Donghong Zhao, Ruiying Huang, Li Feng . Proximity algorithms for the L1L2/TVα image denoising model. AIMS Mathematics, 2024, 9(6): 16643-16665. doi: 10.3934/math.2024807
    [3] Miyoun Jung . Group sparse representation and saturation-value total variation based color image denoising under multiplicative noise. AIMS Mathematics, 2024, 9(3): 6013-6040. doi: 10.3934/math.2024294
    [4] Abdelilah Hakim, Anouar Ben-Loghfyry . A total variable-order variation model for image denoising. AIMS Mathematics, 2019, 4(5): 1320-1335. doi: 10.3934/math.2019.5.1320
    [5] Lufeng Bai . A new approach for Cauchy noise removal. AIMS Mathematics, 2021, 6(9): 10296-10312. doi: 10.3934/math.2021596
    [6] Mingying Pan, Xiangchu Feng . Application of Fisher information to CMOS noise estimation. AIMS Mathematics, 2023, 8(6): 14522-14540. doi: 10.3934/math.2023742
    [7] Yating Zhu, Zixun Zeng, Zhong Chen, Deqiang Zhou, Jian Zou . Performance analysis of the convex non-convex total variation denoising model. AIMS Mathematics, 2024, 9(10): 29031-29052. doi: 10.3934/math.20241409
    [8] Hui Sun, Yangyang Lyu . Temporal Hölder continuity of the parabolic Anderson model driven by a class of time-independent Gaussian fields with rough initial conditions. AIMS Mathematics, 2024, 9(12): 34838-34862. doi: 10.3934/math.20241659
    [9] Yuzi Jin, Soobin Kwak, Seokjun Ham, Junseok Kim . A fast and efficient numerical algorithm for image segmentation and denoising. AIMS Mathematics, 2024, 9(2): 5015-5027. doi: 10.3934/math.2024243
    [10] Xiaodong Zhang, Junfeng Liu . Solving a class of high-order fractional stochastic heat equations with fractional noise. AIMS Mathematics, 2022, 7(6): 10625-10650. doi: 10.3934/math.2022593
  • In this paper, we will prove a sufficient condition for that there does not exist an open immersion between two affine schemes of finite type over a field k with the same dimension. The proof is based on the following fact: the complement of an open affine subset in a noetherian integral separated scheme has pure codimension 1. We will first prove it when k is a finite field, the key to the proof of this part is Lang-Weil estimation. Then we'll prove a general result over an arbitrary field by reducing to the case when k is finite. And the proof of the general result is much more complicated. In order to use the result over a finite field, at some point we must produce a scheme that is defined over Fq and an open immersion, also defined over Fq. One important lemma is that a morphism f:Spec(B)Spec(A) between two integral domains with the same quotient field K is an open immersion if and only if B is a birational extension of A in K and B is flat over A. According to the general result, the following open immersions do not exist: SLn/kAn21k, Spn/kA2n2+nk, SOn/kAn2n2k, PGLn/kAn21k, where k is an arbitrary field.


    With the advancement of the world, the ambiguity and uncertainty in the life of human beings were increasing and an expert or decision-analyst couldn't handle such sort of ambiguities and uncertainties by employing the theory of crisp set. Thus, Zadeh [1] diagnosed the fuzzy set theory (FST) and its elementary results in 1965 to cope with such sort of ambiguities and uncertainties by changing the two-point set {0,1} to the unit interval [0,1]. The FST holds a supportive grade which contains in [0,1]. The FST attracted numerous scholars from almost every field of science and they did research and utilized the FST in their respective fields. Rosenfeld [2] firstly employed the FST in the environment of groups to structured fuzzy groups. Kuroki [3,4,5,6] interpreted fuzzy semigroups (FSG), bi-ideal in semigroups, and fuzzy ideal. The fuzzy ideals and bi-ideals in FSGs were also presented by Dib and Galhum [7]. The fuzzy identities with application to FSGs were established by Budimirovic et al. [8]. The generalized fuzzy interior ideals and fuzzy regular sub-semigroup were given in [9,10] respectively. The fuzzy bi-ideals, fuzzy radicals, and fuzzy prime ideals of ordered semigroups are presented in [11,12]. Kehayopulu and Tsingelis [13] and Xie and Tang [14] presented the concept of regular and intra-regular ordered semigroups. Khan et al. [15] explored certain characterizations of intra-regular semigroups. Jaradat and Al-Husban [16] investigated multi-fuzzy group spaces.

    The conception of bipolar fuzzy (BF) set is one of the generalizations of FST, as FST is unable to cover the negative opinion or negative supportive grade of human beings. Thus, Zhang [17] initiated the BF set theory (BFST) to cover both positive and negative opinions of human beings by enlarging the range of FST ([0,1]) to the BFST ([0,1],[1,0]). The BFST holds a positive supportive grade (PSG) which contains in [0,1] and negative supportive grade (NSG) which contains in [1,0]. Kim et al. [18] initiated BCFST in semigroups. Kang and Kang [19] explored BFST applied to sub-semigroups with the operations of semigroups. BFST in Γ-semigroups was interpreted by Majumder [20]. The certain properties of BF sub-semigroups of a semigroup are presented in [21,22]. Chinnadurai and Arulmozhi [23] described the characterization of BF ideals in ordered Γ-semigroups. BF abundant semigroups by Li et al. [24]. Ban et al. [25] initiated BF ideals with operation in semigroups. Gaketem and Khamrot [26] presented BF weakly interior ideals. The generalized BF interior ideals in ordered semigroups were interpreted by Ibrar et al. [27]. The BF graph was discussed in [28,29,30]. Mahmood [31] diagnosed a new approach to the bipolar soft set. Akram et al. [32] presented a characterization of BF soft Γ-semigroups. Deli and Karaaslan [33] defined bipolar FPSS theory. Various researchers expand the conception of BFS such as Deli et al. [34] investigated bipolar neutrosophic sets (BNS), Deli and Subas [35] introduced bipolar neutrosophic refined sets, Ali et al. [46] investigated bipolar neutrosophic soft sets.

    The FST and BFST merely cope with the ambiguities and uncertainties which are in one dimension but unable to cope with 2nd dimension which is the phase term. Thus, Ramot et al. [37] diagnosed the theory of complex FS (CFS) by transforming the range of FST ([0,1]) to the unit circle in a complex plane. In the CFS theory (CFST) Ramot et al. [37] added the phase term in the supportive grade. After that, Tamir et al. [38] diagnosed the CFST in the cartesian structure by transforming the range from the unit circle to the unit square of the complex plane. Al-Husban and Salleh [39] presented complex fuzzy (CF) groups that rely on CF space. Alolaiyan et al. [40] the conception of CF subgroups. The above-discussed theories have their drawbacks, for instance, FST can't cover the negative opinion, BFST can't cover the 2nd dimension and CFST can't cover the negative opinion. Thus to cover all these drawbacks Mahmood and Ur Rehman [41] introduced the theory of the BCF set. BCF set covers the PSG which contains in [0,1]+ι[0,1] (real part contains in [0,1] and unreal part contains in [0,1]) and NSG which contains in [1,0]+ι[1,0] (real part contains in [1,0] and unreal part contains in [1,0]). The theory of the BCF set has a great mathematical structure that generalizes the FST, BFST, and CFST, for example, a CEO of a company wants to install a new air conditioning system in a company's head office. For this he has to observe four aspects i.e., positive effect on the office's environment, the positive response of the employees, the extra burden on the company expenditures, and the negative response of the employees. No prevailing theories except the BCF set can model such kinds of information. A lot of researchers worked on the theory of BCF set for instance Al-Husban et al. [42] investigated the properties for BCFS. Mahmood et al. [43] diagnosed Hamacher aggregation operators (AOs), Mahmood and Ur Rehman [44] explored Dombi AOs, Mahmood et al. [45] AOs. The BCF soft set was diagnosed by Mahmood et al. [46].

    The conception of a semigroup is a prosperous area of modern algebra. It is obvious from the name that semigroup is the modification of the conception of the group, since a semigroup not requires to contain elements that have inverses. In the earlier stages, a lot of researchers work on semigroup from the perspective of ring and group. The conception of semigroup may be assumed as the effective offspring of ring theory because the ring theory provides some insight into how to create the notion of ideals in the semigroup. Moreover, the conception of a semigroup is an influential approach and has been utilized by numerous scholars and employed in various areas such as mathematical biology, control theory, nonlinear dynamical systems, stochastic processes, etc. Because of the importance of semigroup, various scholars modified this concept to introduce novel notions such as fuzzy semigroup [3,4,5,6], intuitionistic fuzzy semigroup [47], bipolar fuzzy semigroup [19], etc. The concept of fuzzy semigroup has various application such as fuzzy languages, theory fuzzy coding, etc., that shows the importance of fuzzy algebraic structure and their modifications. In recent years, numerous authors generalized the conception of fuzzy algebraic structures and employed genuine-life dilemmas in various areas of science. What would happen if someone working on automata theory and trying to solve a problem and for that he/she needs a BCF algebraic structure (i.e., BCF semigroup) but until now there is no such structure in the literature. Therefore inspired by this here in this analysis we employ the theory of the BCF set to the algebraic structures of semigroups:

    ● To describe BCF sub-semigroup, BCFLI, BCFRI, and BCFTSI.

    ● To introduce numerous classes of semigroups for instance, right regular, left regular, intra-regular, and semi-simple, by the features of the bipolar complex fuzzy ideals. In addition, these classes are interpreted in relation to BCFLIs, BCFRIs, and BCFTSIs.

    ● To show that, for a semigroup Ş and for each BCFLI М1=(λPМ1,λNМ1)=(λRPМ1+ιλIPМ1,λRNМ1+ιλINМ1) and BCFRI М2=(λPМ2,λNМ2)=(λRPМ2+ιλIPМ2,λRNМ2+ιλINМ2) over Ş, М1М2=М1М2 if and only if Ş is a regular semigroup.

    ● To interpret regular, intra-regular semigroups and show that М1М2М1М2 for each BCFLI М1=(λPМ1,λNМ1)=(λRPМ1+ιλIPМ1,λRNМ1+ιλINМ1) and for each BCFRI М2=(λPМ2,λNМ2)=(λRPМ2+ιλIPМ2,λRNМ2+ιλINМ2) over Ş if and only if a semigroup Ş is regular and intra-regular.

    The introduced conceptions are an advancement of the fuzzy set (FS), bipolar fuzzy set (BFS), and complex FS (CFS) in the environment of semigroups and from the introduced notions we can easily achieve these conceptions in the environment of FS, BFS, and CFS.

    The quick assessment of the composition of this analysis: In Section 2, we studied, the fundamental concepts such as FS, fuzzy sub-semigroup, BF set, BF set sub-semigroup, BCF set and its related concepts In Section 3, we introduced the BCF sub-semigroup, BCFLI, BCFRI, BCFTSI, bipolar complex characteristic function, positive (ω,η)-cut, negative (ϱ,σ)-cut, positive and ((ω,η),(ϱ,σ))-cut. Further, we also discuss their related theorems. In Section 4, we provided the characterizations of various categories of semigroups such as semi-simple, intra-regular, left, right ideals, and regular by the properties of BCF ideals (BCFIs). Additionally, we describe these in terms of BCFLIs, and BCFRIs. The conclusion is presented in Section 5.

    The fundamental concepts such as FS, fuzzy sub-semigroup, BF set, BF set sub-semigroup, BCF set, and its related concepts are reviewed in this section. we will take Ş as a semigroup in this analysis.

    Definition 1. [1] A mathematical shape

    М={(ҳ,λМ(ҳ))|ҳX}

    is known as FS on X. Seemingly, λМ(ҳ):X[0,1] called the supportive grade.

    Definition 2. [3] Suppose an FS М=λМ(ҳ) over Ş, then М is said to be a fuzzy sub-semigroup of Ş if ҳ,ɏŞ,

    λМ(ҳɏ)  min{λМ(ҳ),λМ(ɏ)}.

    Definition 3. [3] Suppose an FS М=λМ(ҳ) over Ş, then М is said to be fuzzy left (right) ideal of Ş if ҳ,ɏŞ,

    λМ(ҳɏ)λМ(ɏ)(λМ(ҳɏ)λМ(ҳ)).

    М is said to be a two-sided ideal if it is both fuzzy left ideal and fuzzy right ideal.

    Definition 4. [17] A mathematical shape

    М={(ҳ,λPМ(ҳ),λNМ(ҳ))|ҳX}

    is known as the BF set. Seemingly, λPМ(ҳ):X[0,1] and λNМ(ҳ):X[0,1], called the positive supportive grade and the negative supportive grade.

    Definition 5. [18] Suppose a BF set М=(λPМ,λNМ) over Ş, then М is said to be BF sub-semigroup of Ş if ҳ,ɏŞ,

    (1) λPМ(ҳɏ)  min{λPМ(ҳ),λPМ(ɏ)},

    (2) λNМ(ҳɏ)  max{λPМ(ҳ),λPМ(ɏ)}.

    Definition 6. [18] Suppose a BF set М=(λPМ,λNМ) over Ş, then М is said to be BF left (right) ideal of Ş if ҳ,ɏŞ,

    (1) λPМ(ҳɏ)λPМ(ɏ)(λPМ(ҳɏ)λPМ(ҳ)),

    (2) λNМ(ҳɏ)λNМ(ɏ)(λNМ(ҳɏ)λNМ(ҳ)).

    Definition 7. [41] A mathematical shape

    М={(ҳ,λPМ(ҳ),λNМ(ҳ))|ҳX}.

    BCF set on X is known as BCF set. Seemingly, λPМ(ҳ)=λRPМ(ҳ)+ιλIPМ(ҳ) and λNМ(ҳ)=λRNМ(ҳ)+ιλINМ(ҳ), called the positive supportive grade and negative supportive grade with λRPМ(ҳ),λIPМ(ҳ)[0,1] and λRNМ(ҳ),λINМ(ҳ)[1,0]. In this analysis, the structure of the BCF set will be considered as М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ).

    Definition 8. [41] For two BCF set М1=(λPМ1,λNМ1)=(λRPМ1+ιλIPМ1,λRNМ1+ιλINМ1) and М2=(λPМ2,λNМ2)=(λRPМ2+ιλIPМ2,λRNМ2+ιλINМ2), we have

    (1) МC1=(1λRPМ1+ι(1λRPМ1),1λRNМ1+ι(1λINМ1)),

    (2) М1М2=(  max(λRPМ1,λRPМ2)+ι  max(λIPМ1,λIPМ2),  min(λRNМ1,λRNМ2)+ι  min(λINМ1,λINМ2)),

    (3) М1М2=(  min(λRPМ1,λRPМ2)+ι  min(λIPМ1,λIPМ2),  max(λRNМ1,λRNМ2)+ι  max(λINМ1,λINМ2)).

    In this section, we are going to introduce the BCF sub-semigroup, BCFLI, BCFRI, BCFTSI, bipolar complex characteristic function, positive (ω,η)-cut, negative (ϱ,σ)-cut, positive and ((ω,η),(ϱ,σ))-cut. Further, we also discuss their related theorems. Throughout this analysis, for two BCF set М1=(λPМ1,λNМ1)=(λRPМ1+ιλIPМ1,λRNМ1+ιλINМ1) and М2=(λPМ2,λNМ2)=(λRPМ2+ιλIPМ2,λRNМ2+ιλINМ2), М1М2 if λPМ1λPМ2 and λNМ1λNМ2 that is, λRPМ1λRPМ2, λIPМ1λIPМ2 and λRNМ1λRNМ2, λINМ1λINМ2.

    Definition 8. Suppose a BCF set М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş, then М is known as BCF sub-semigroup of Ş if ҳ,ɏŞ,

    (1) λPМ(ҳɏ)  min{λPМ(ҳ),λPМ(ɏ)} λRPМ(ҳɏ)  min{λRPМ(ҳ),λRPМ(ɏ)} and λIPМ(ҳɏ)  min{λIPМ(ҳ),λIPМ(ɏ)},

    (2) λNМ(ҳɏ)  max{λPМ(ҳ),λPМ(ɏ)} λRNМ(ҳɏ)  max{λRNМ(ҳ),λRNМ(ɏ)} and λINМ(ҳɏ)  max{λINМ(ҳ),λINМ(ɏ)}.

    Example 1. Suppose a semigroup Ş={e,ҳ1,ҳ2,ҳ3,ҳ4} interpreted as Table 1:

    Table 1.  The Cayley table of Ş of Example 1.
    . e ҳ1 ҳ2 ҳ3 ҳ4
    e e e e e e
    ҳ1 e e e e e
    ҳ2 e e ҳ2 ҳ3 ҳ4
    ҳ3 e e ҳ2 ҳ3 ҳ4
    ҳ4 e e ҳ2 ҳ3 ҳ4

     | Show Table
    DownLoad: CSV

    Next, define a BCF subset М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş as

    М={(e,(0.9+ι0.87,0.23ι0.25)),(ҳ1,(0.7+ι0.75,0.33ι0.36)),(ҳ2,(0.5+ι0.62,0.6ι0.3)),(ҳ3,(0.5+ι0.62,0.6ι0.3)),(ҳ4,(0.5+ι0.62,0.6ι0.3)),}

    then, for e,ҳŞ we have

    (1) We have

    λRPМ(eҳ1)=λRPМ(e)=0.9 and   min{λRPМ(e),λRPМ(ҳ1)}=  min{0.9,0.7}=0.7 λRPМ(eҳ1)  min{λRPМ(e),λRPМ(ҳ1)},

    λIPМ(eҳ1)=λIPМ(e)=0.87 and   min{λIPМ(e),λIPМ(ҳ1)}=  min{0.87,0.75}=0.75 λIPМ(eҳ1)  min {λIPМ(e),λIPМ(ҳ1)} λPМ(eҳ1)  min{λPМ(e),λPМ(ҳ1)}.

    (2) Next,

    λRNМ(eҳ1)=λRNМ(e)=0.23 and   max{λRNМ(e),λRNМ(ҳ1)}=  max{0.23,0.33}=0.23

    λRNМ(eҳ1)  max{λRNМ(e),λRNМ(ҳ1)},

    λINМ(eҳ1)=λINМ(e)=0.25 and   max{λINМ(e),λINМ(ҳ1)}=  max{0.25,0.36}=0.25

    λINМ(eҳ1)  max{λINМ(e),λInМ(ҳ1)}λNМ(eҳ1)  max{λNМ(e),λNМ(ҳ1)}.

    The remaining elements of Ş can verify similarly. Thus М is a BCF sub-semigroup.

    Definition 9. Suppose two BCF sets М1=(λPМ1,λNМ1)=(λRPМ1+ιλIPМ1,λRNМ1+ιλINМ1) and М2=(λPМ2,λNМ2)=(λRPМ2+ιλIPМ2,λRNМ2+ιλINМ2) over Ş, then the product of М1М2 is described as

    М1М2=(λPМ1λPМ2,λNМ1λNМ2)
    =(λRPМ1λRPМ2+ιλIPМ1λIPМ2,λRNМ1λRNМ2+ιλINМ1λINМ2)

    where,

    (λRPМ1λRPМ2)(ҳ)={supҳ=ɏȥ{  min(λRPМ1(ɏ),λRPМ2(ȥ))}if  ҳ=ɏʑ  for  some  ɏ,ʑŞ0otherwise,
    (λIPМ1λIPМ2)(ҳ)={supҳ=ɏȥ{  min(λIPМ1(ɏ),λIPМ2(ȥ))}if  ҳ=ɏʑ  for  some  ɏ,ʑŞ0otherwise,
    (λRNМ1λRNМ2)(ҳ)={infҳ=ɏȥ{  max(λRNМ1(ɏ),λRNМ2(ȥ))}if  ҳ=ɏʑ  for  some  ɏ,ʑŞ0otherwise,
    (λINМ1λINМ2)(ҳ)={infҳ=ɏȥ{  max(λINМ1(ɏ),λINМ2(ȥ))}if  ҳ=ɏʑ  for  some  ɏ,ʑŞ0otherwise.

    Remark 1. Clearly, the operation " " is associative.

    Theorem 1. Suppose that М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF set over Ş, then М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is said to be BCF sub-semigroup of Ş if and only if МММ.

    Proof. Suppose that М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF sub-semigroup over Ş and ҳŞ, if λRPМλRPМ=0,λIPМλIPМ=0,λRNМλRNМ=0, and λINМλINМ=0, then clearly, МММ. Otherwise there are elements ɏ,ʑŞ s.t ҳ=ɏʑ, then

    (λRPМλRPМ)(ҳ)=supҳ=ɏȥ{  min(λRPМ(ɏ),λRPМ(ȥ))}
    supҳ=ɏȥ{λRPМ(ɏʑ)}=λRPМ(ҳ)

    and

    (λIPМλIPМ)(ҳ)=supҳ=ɏȥ{  min(λIPМ(ɏ),λIPМ(ȥ))}
    supҳ=ɏȥ{λIPМ(ɏʑ)}=λIPМ(ҳ).

    Next,

    (λRNМλRNМ)(ҳ)=infҳ=ɏȥ{  max(λRNМ(ɏ),λRNМ(ȥ))}
    infҳ=ɏȥ{λRNМ(ɏʑ)}=λRNМ(ҳ)

    and

    (λINМλINМ)(ҳ)=infҳ=ɏȥ{  max(λINМ(ɏ),λINМ(ȥ))}
    infҳ=ɏȥ{λINМ(ɏʑ)}=λINМ(ҳ).

    Thus, (λRPМλRPМ)(ҳ)λRPМ(ҳ), (λIPМλIPМ)(ҳ)λIPМ(ҳ)(λPМλPМ)(ҳ)λPМ(ҳ) and (λRNМλRNМ)(ҳ)λRNМ(ҳ), (λINМλINМ)(ҳ)λINМ(ҳ)(λNМλNМ)(ҳ)λNМ(ҳ). Consequently, МММ.

    Conversely, let М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF set over Ş such that МММ and ҳ,ɏ,ʑŞ such that ҳ=ɏʑ. Then

    λPМ(ɏʑ)=λPМ(ҳ)=λRPМ(ҳ)+ιλIPМ(ҳ).

    Now take

    λRPМ(ҳ)(λRPМλRPМ)(ҳ)=supҳ=ɏȥ{  min(λRPМ(ɏ),λRPМ(ȥ))}
      min(λRPМ(ɏ),λRPМ(ȥ))

    and

    λIPМ(ҳ)(λIPМλIPМ)(ҳ)=supҳ=ɏȥ{  min(λIPМ(ɏ),λPМ(ȥ))}
      min(λIPМ(ɏ),λIPМ(ȥ))
    λPМ(ɏʑ)  min(λPМ(ɏ),λPМ(ȥ)),

    similarly,

    λNМ(ɏʑ)=λNМ(ҳ)=λRNМ(ҳ)+ιλINМ(ҳ).

    Now take

    λRNМ(ҳ)(λRNМλRMМ)(ҳ)=infҳ=ɏȥ{  max(λRNМ(ɏ),λRNМ(ȥ))}
      max(λRNМ(ɏ),λRNМ(ȥ)),

    and

    λINМ(ҳ)(λINМλRMМ)(ҳ)=infҳ=ɏȥ{  max(λINМ(ɏ),λINМ(ȥ))}
      max(λINМ(ɏ),λINМ(ȥ))
    λNМ(ɏʑ)  max(λNМ(ɏ),λNМ(ȥ)).

    This implies that М is a BCF sub-semigroup over Ş.

    Following we are going to describe the BCF left (right) ideal.

    Definition 10. Suppose a BCF set М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş, then

    (1) М is known as BCF left ideal (BCFLI) of Ş if ҳ,ɏŞ

    1) λPМ(ҳɏ)λPМ(ɏ) λRPМ(ҳɏ)λRPМ(ɏ) and λIPМ(ҳɏ)λIPМ(ɏ);

    2) λNМ(ҳɏ)λNМ(ɏ) λRNМ(ҳɏ)λRNМ(ɏ) and λINМ(ҳɏ)λINМ(ɏ).

    (2) М is known as the BCF right ideal (BCFRI) of Ş if ҳ,ɏŞ

    1) λPМ(ҳɏ)λPМ(ҳ) λRPМ(ҳɏ)λRPМ(ҳ) and λIPМ(ҳɏ)λIPМ(ҳ);

    2) λNМ(ҳɏ)λNМ(ҳ) λRNМ(ҳɏ)λRNМ(ҳ) and λINМ(ҳɏ)λINМ(ҳ).

    (3) М is known as BCF two-sided ideal (BCFTSI) (BCF ideal) if it is both BCFLI and BCFRI.

    Remark 2. It is evident that each BCFLI, BCFRI, and BCFTSI over Ş is a BCF sub-semigroup. But the converse is not valid.

    Example 2.

    (1) The BCF sub-semigroup М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş in Example 1 is not a BCFLI, because

    λRNМ(eҳ1)=λRNМ(e)=0.23 and λRNМ(ҳ1)=0.33,

    thus,

    λRNМ(eҳ1)λRNМ(ҳ1)λNМ(eҳ1)λNМ(ҳ1),

    and not BCFRI because

    λRNМ(ҳ1e)=λRNМ(e)=0.23 and λRNМ(ҳ1)=0.33,

    thus,

    λRNМ(ҳ1e)λRNМ(ҳ1)λNМ(ҳ1e)λNМ(ҳ1).

    Hence, М is also not a BCFTSI.

    (2) Consider the semigroup Ş of Example 1 and a BCF subset М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş as

    М={(e,(0.9+ι0.87,0.6ι0.3)),(ҳ1,(0.7+ι0.75,0.33ι0.36)),(ҳ2,(0.5+ι0.62,0.23ι0.25)),(ҳ3,(0.5+ι0.62,0.23ι0.25)),(ҳ4,(0.5+ι0.62,0.23ι0.25))}

    then, М is BCFLI, BCFRI, and BCFTSI over Ş.

    The below-given theorem explains that the BCF set М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) of Ş is a BCFLI (BCFRI) over Ş if and only if ŞММ (МŞМ).

    Theorem 2. Suppose that М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF set over Ş, then

    (1) М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFLI over Ş if and only if ŞММ;

    (2) М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFRI over Ş if and only if МŞМ;

    (3) М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFTSI over Ş if and only if ŞММ and МŞМ,

    holds.

    Proof. 1. Suppose that М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFLI over Ş and ҳŞ, if λRPŞλRPМ=0,λIPŞλIPМ=0,λRNŞλRNМ=0, and λINŞλINМ=0, then clearly, ŞММ. Otherwise there are elements ɏ,ʑŞ s.t ҳ=ɏʑ, then

    (λRPŞλRPМ)(ҳ)=supҳ=ɏȥ{  min(λRPŞ(ɏ),λRPМ(ȥ))}=supҳ=ɏȥ{  min(1,λRPМ(ȥ))}
    =supҳ=ɏȥ{λRPМ(ȥ)}supҳ=ɏȥ{λRPМ(ɏȥ)}=λRPМ(ҳ),

    and

    (λIPŞλIPМ)(ҳ)=supҳ=ɏȥ{  min(λIPŞ(ɏ),λIPМ(ȥ))}=supҳ=ɏȥ{  min(1,λIPМ(ȥ))}
    =supҳ=ɏȥ{λIPМ(ȥ)}supҳ=ɏȥ{λIPМ(ɏȥ)}=λIPМ(ҳ).

    Next,

    (λRNŞλRNМ)(ҳ)=infҳ=ɏȥ{  max(λRNŞ(ɏ),λRNМ(ȥ))}=infҳ=ɏȥ{  max(1,λRNМ(ȥ))}
    =infҳ=ɏȥ{λRNМ(ȥ)}infҳ=ɏȥ{λRNМ(ɏȥ)}=λRNМ(ҳ),

    and

    (λINŞλINМ)(ҳ)=infҳ=ɏȥ{  max(λINŞ(ɏ),λINМ(ȥ))}=infҳ=ɏȥ{  max(1,λINМ(ȥ))}
    =infҳ=ɏȥ{λINМ(ȥ)}infҳ=ɏȥ{λINМ(ɏȥ)}=λINМ(ҳ).

    Thus,

    (λRPŞλRPМ)(ҳ)λRPМ(ҳ), (λIPŞλIPМ)(ҳ) λIPМ(ҳ)

    (λPŞλPМ)(ҳ)λPМ(ҳ)  and (λRNŞλRNМ)(ҳ) λRNМ(ҳ),(λINŞλINМ) (ҳ)λINМ(ҳ) (λNŞλNМ)(ҳ)λNМ(ҳ).  Consequently,ŞММ.

    Conversely, let М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF set over Ş such that ŞММ and ҳ,ɏ,ʑŞ such that ҳ=ɏʑ. Then

    λPМ(ɏʑ)=λPМ(ҳ)=λRPМ(ҳ)+ιλIPМ(ҳ).

    Now take

    λRPМ(ҳ)(λRPŞλRPМ)(ҳ)=supҳ=ɏȥ{  min(λRPŞ(ɏ),λRPМ(ȥ))}
    =supҳ=ɏȥ{  min(1,λRPМ(ȥ))}  min(1,λRPМ(ȥ))=λRPМ(ȥ)
    λRPМ(ɏʑ)λRPМ(ȥ)

    and

    λIPМ(ҳ)(λIPŞλIPМ)(ҳ)=supҳ=ɏȥ{  min(λIPŞ(ɏ),λIPМ(ȥ))}
    =supҳ=ɏȥ{  min(1,λIPМ(ȥ))}  min(1,λIPМ(ȥ))=λIPМ(ȥ)
    λIPМ(ɏʑ)λiPМ(ȥ),

    similarly,

    λNМ(ɏʑ)=λNМ(ҳ)=λRNМ(ҳ)+ιλINМ(ҳ).

    Now take

    λRNМ(ҳ)(λRNŞλRNМ)(ҳ)=infҳ=ɏȥ{  max(λRNŞ(ɏ),λRNМ(ȥ))}
    =infҳ=ɏȥ{  max(1,λRNМ(ȥ))}  max(1,λRNМ(ȥ))=λRNМ(ȥ)
    λRNМ(ɏʑ)λRNМ(ȥ)

    and

    λINМ(ҳ)(λINŞλINМ)(ҳ)=infҳ=ɏȥ{  max(λINŞ(ɏ),λINМ(ȥ))}
    =infҳ=ɏȥ{  max(1,λINМ(ȥ))}  max(1,λINМ(ȥ))=λINМ(ȥ)
    λINМ(ɏʑ)λINМ(ȥ).

    This implies that М is a BCFLI over Ş.

    The proof of 2 and 3 is likewise the proof of 1, so we are omitting the proof here.

    Definition 11. Suppose a BCF set М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş, then

    (1) For each ω,η[0,1] the set P(λPМ,(ω,η))={ҳŞ:λRPМω and λIPМη} is known as positive (ω,η)-cut of М.

    (2) For each ϱ,σ[1,0] the set N(λNМ,(ϱ,σ))={ҳŞ:λRNМϱ and λINМσ} is known as negative (ϱ,σ)-cut of М.

    (3) The set PN(М,((ω,η),(ϱ,σ)))=P(λPМ,(ω,η))N(λNМ,(ϱ,σ)) is known as the ((ω,η),(ϱ,σ))-cut of М.

    Theorem 3. Suppose a BCF set М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) over Ş, then

    (1) For each ω,η[0,1], ϱ,σ[1,0], the non-empty set PN(М,((ω,η),(ϱ,σ))) is a sub-semigroup of Ş if and only if М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCF sub-semigroup over Ş;

    (2) For each ω,η[0,1], ϱ,σ[1,0], the non-empty set PN(М,((ω,η),(ϱ,σ))) is a left ideal of Ş if and only if М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFLI over Ş;

    (3) For each ω,η[0,1], ϱ,σ[1,0], the non-empty set PN(М,((ω,η),(ϱ,σ))) is a right ideal of Ş if and only if М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFRI over Ş;

    (4) For each ω,η[0,1], ϱ,σ[1,0], the non-empty set PN(М,((ω,η),(ϱ,σ))) is a two-sided ideal of Ş if and only if М=(λPМ,λNМ)=(λRPМ+ιλIPМ,λRNМ+ιλINМ) is a BCFTSI over Ş,

    holds.

    Proof. 1. Suppose that PN(М,((ω,η),(ϱ,σ))) is a sub-semigroup over Ş, ҳ,ɏŞ, and ω=  min(λRPМ(ҳ),λRPМ(ɏ)) and η=  min(λIPМ(ҳ),λIPМ(ɏ)). Evidently, λRPМ(ҳ)  min(λRPМ(ҳ),λRPМ(ɏ))=ω, λRPМ(ɏ)  min(λRPМ(ҳ),λRPМ(ɏ))=ω, λIPМ(ҳ)  min(λIPМ(ҳ),λIPМ(ɏ))=η and λIPМ(ɏ)  min(λIPМ(ҳ),λIPМ(ɏ))=η. Similarly, suppose ϱ=  max(λRNМ(ҳ),λRNМ(ɏ)) and σ=  max(λINМ(ҳ),λINМ(ɏ)). Evidently, λRNМ(ҳ)  max(λRNМ(ҳ),λRNМ(ɏ))=ϱ, {\mathrm{\lambda }}_{RN-М}\left(ɏ\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(ҳ\right), {\mathrm{\lambda }}_{RN-М}\left(ɏ\right)\right) = \varrho , {\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(ҳ\right), {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\right) = \sigma and {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(ҳ\right), {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\right) = \sigma which implies that ҳ, ɏ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right) . As \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right) is a sub-semigroup over Ş , so ҳɏ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right) . Thus, {\mathrm{\lambda }}_{RP-М}\left(ҳɏ\right)\ge \omega = \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(ҳ\right), {\mathrm{\lambda }}_{RP-М}\left(ɏ\right)\right) , {\mathrm{\lambda }}_{IP-М}\left(ҳɏ\right)\ge \eta = \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(ҳ\right), {\mathrm{\lambda }}_{IP-М}\left(ɏ\right)\right) , {\mathrm{\lambda }}_{RN-М}\left(ҳɏ\right)\le \varrho = \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(ҳ\right), {\mathrm{\lambda }}_{RN-М}\left(ɏ\right)\right) , {\mathrm{\lambda }}_{IN-М}\left(ҳɏ\right)\le \sigma = \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(ҳ\right), {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\right) . Consequently, М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) is a BCF sub-semigroup over Ş .

    Conversely, let М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) is a BCF sub-semigroup over Ş and ҳ, ɏ\in Ş such that ҳ, ɏ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right)\forall \omega , \eta \in \left[0, 1\right] , \varrho , \sigma \in \left[-1, 0\right] . Since {\mathrm{\lambda }}_{RP-М}\left(ҳ\right)\ge \omega , {\mathrm{\lambda }}_{RP-М}\left(ɏ\right)\ge \omega {\mathrm{\lambda }}_{IP-М}\left(ҳ\right)\ge \eta , {\mathrm{\lambda }}_{IP-М}\left(ɏ\right)\ge \eta , {\mathrm{\lambda }}_{RN-М}\left(ҳ\right)\le \varrho , {\mathrm{\lambda }}_{RN-М}\left(ɏ\right)\le \varrho , {\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\le \sigma , and {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\le \sigma . Hence, {\mathrm{\lambda }}_{RP-М}\left(ҳɏ\right)\ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(ҳ\right), {\mathrm{\lambda }}_{RP-М}\left(ɏ\right)\right)\ge \omega , {\mathrm{\lambda }}_{IP-М}\left(ҳɏ\right)\ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(ҳ\right), {\mathrm{\lambda }}_{IP-М}\left(ɏ\right)\right)\ge \eta , {\mathrm{\lambda }}_{RN-М}\left(ҳɏ\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(ҳ\right), {\mathrm{\lambda }}_{RN-М}\left(ɏ\right)\right)\le \varrho , and {\mathrm{\lambda }}_{IN-М}\left(ҳɏ\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(ҳ\right), {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\right)\le \sigma . Thus, ҳɏ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right) and \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right)\right) is a sub-semigroup of Ş .

    The rest are the same as 1.

    Definition 12. The bipolar complex characteristic function of a subset \mathfrak{Q} of \mathfrak{Ş} , is indicated by {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) and demonstrated as

    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = \left\{\begin{array}{l}1+\iota 1 & \text{if} \ \ ҳ\in Q\\ 0+\iota 0, &\text{otherwise}\end{array}\right. ,
    {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = \left\{\begin{array}{l}-1-\iota 1 & \text{if} \ \ ҳ\in Q\\ 0+\iota 0, &\text{otherwise}\end{array}\right. .

    Remark 3. We observe that Ş can be taken as a BCF set of itself and write {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = {\mathrm{\lambda }}_{P-Ş}\left(ҳ\right) and {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = {\mathrm{\lambda }}_{N-Ş}\left(ҳ\right) .

    Theorem 4. Suppose that {М}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a bipolar complex characteristic function over \mathfrak{Ş} , then

    (1) {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCF sub-semigroup over \mathfrak{Ş} if and only if \mathfrak{Q} is a sub-semigroup of \mathfrak{Ş} ;

    (2) {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCFLI over \mathfrak{Ş} if and only if \mathfrak{Q} is a left idea of \mathfrak{Ş} ;

    (3) {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCFRI over \mathfrak{Ş} if and only if \mathfrak{Q} is a right ideal of \mathfrak{Ş} ;

    (4) {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCFTSI over \mathfrak{Ş} if and only if \mathfrak{Q} is a two-sided ideal of \mathfrak{Ş} ,

    holds.

    Proof. Suppose that \mathfrak{Q} is a sub-semigroup of \mathfrak{Ş} and let \mathfrak{ҳ}, \mathfrak{ }\mathfrak{ɏ}\in \mathfrak{Q} , then

    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = 1+\iota 1 = {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right) \text{ and }{\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = -1-\iota 1 = {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right)

    as \mathfrak{ҳ}\mathfrak{ɏ}\in \mathfrak{Q} , thus,

    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\mathfrak{ɏ}\right) = 1+\iota 1 = \ \ \mathrm{min} \left(1+\iota 1, 1+\iota 1\right) = \ \ \mathrm{min} \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right), {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right)\right)

    and

    {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\mathfrak{ɏ}\right) = -1-\iota 1 = \ \ \mathrm{max} \left(-1-\iota 1, -1-\iota 1\right) = \ \ \mathrm{max} \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right), {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right)\right) .

    Next if \mathfrak{ҳ}\notin \mathfrak{Q} or \mathfrak{ɏ}\notin \mathfrak{Q} then

    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = 0+\iota 0 \text{ or } {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right) = 0+\iota 0 \text{ and }{\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = 0+\iota 0 \text{ or } {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right) = 0+\iota 0
    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\mathfrak{ɏ}\right)\ge 0+\iota 0 = \ \ \mathrm{min} \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right), {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right)\right)

    and

    {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\mathfrak{ɏ}\right)\le 0+\iota 0 = \ \ \mathrm{max} \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right), {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ɏ}\right)\right) .

    Thus, {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCF sub-semigroup over \mathfrak{Ş} .

    Conversely, let {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCF sub-semigroup over \mathfrak{Ş} and \mathfrak{ҳ}\in \mathfrak{Ş} such that \mathfrak{ҳ}\in \mathfrak{Q} . Thus we have

    {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = 1+\iota 1 and {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = -1-\iota 1

    \Rightarrow ҳ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(1, 1\right), \left(-1, -1\right)\right)\right) . Let ɏ\in Ş such that ɏ\in \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(1, 1\right), \left(-1, -1\right)\right)\right) . This shows that {\mathrm{\lambda }}_{RP-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right)\ge 1 , {\mathrm{\lambda }}_{IP-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right)\ge 1 and {\mathrm{\lambda }}_{RN-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right)\le -1 , {\mathrm{\lambda }}_{IN-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right)\le -1 , and so ɏ\in \mathfrak{Q} . Hence \mathfrak{Q} = \mathcal{P}\mathcal{N}\left(\mathcal{М}, \left(\left(1, 1\right), \left(-1, -1\right)\right)\right) . By Theorem 3 we obtained that \mathfrak{Q} is a sub-semigroup of \mathfrak{Ş} .

    Lemma 1. For two BCF set {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) and {\mathfrak{М}}^{\mathfrak{P}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{P}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{P}}}\right) over \mathfrak{Ş} , then

    (1) {\mathfrak{М}}^{\mathfrak{Q}}\cap {\mathfrak{М}}^{\mathfrak{P}} = {\mathfrak{М}}^{\mathfrak{Q}\cap \mathfrak{P}} ;

    (2) {\mathfrak{М}}^{\mathfrak{Q}}⊚{\mathfrak{М}}^{\mathfrak{P}} = {\mathfrak{М}}^{\mathfrak{Q}\mathfrak{P}} ,

    holds

    Proof. Omitted.

    Theorem 5. Suppose that {\mathfrak{М}}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCF sets over Ş , then

    (1) Assume that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCF sub-semigroup over Ş , then {М}_{1}\cap {М}_{2} is a BCF sub-semigroup over Ş ;

    (2) Assume that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCFLIs over Ş , then {М}_{1}\cap {М}_{2} is a BCFLI over Ş ;

    (3) Assume that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCFRIs over Ş , then {М}_{1}\cap {М}_{2} is a BCFRI over Ş ;

    (4) Assume that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCFTSIs over Ş , then {М}_{1}\cap {М}_{2} is a BCFTSI over Ş ,

    holds.

    Proof. 1. For any ҳ, ɏ\in Ş , we have

    \left({\mathrm{\lambda }}_{P-{М}_{1}}\cap {\mathrm{\lambda }}_{P-{М}_{2}}\right)\left(ҳɏ\right) = \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳɏ\right)\right)+\iota \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳɏ\right)\right) .

    Now take

    \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳɏ\right)\right)\ge\\ \ \ \mathrm{min} \left( \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RP-{М}_{1}}\left(ɏ\right)\right), \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{min} \left( \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳ\right)\right), \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ɏ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{min} \left(\left({\mathrm{\lambda }}_{RP-{М}_{1}}\cap {\mathrm{\lambda }}_{RP-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{RP-{М}_{1}}\cap {\mathrm{\lambda }}_{RP-{М}_{2}}\right)\left(ɏ\right)\right) ,

    and

    \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳɏ\right)\right)\ge \ \ \mathrm{min} \left( \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IP-{М}_{1}}\left(ɏ\right)\right), \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{min} \left( \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳ\right)\right), \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ɏ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{min} \left(\left({\mathrm{\lambda }}_{IP-{М}_{1}}\cap {\mathrm{\lambda }}_{IP-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{IP-{М}_{1}}\cap {\mathrm{\lambda }}_{IP-{М}_{2}}\right)\left(ɏ\right)\right)
    \Rightarrow \left({\mathrm{\lambda }}_{P-{М}_{1}}\cap {\mathrm{\lambda }}_{P-{М}_{2}}\right)\left(ҳɏ\right)\ge \ \ \mathrm{min} \left(\left({\mathrm{\lambda }}_{P-{М}_{1}}\cap {\mathrm{\lambda }}_{P-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{P-{М}_{1}}\cap {\mathrm{\lambda }}_{P-{М}_{2}}\right)\left(ɏ\right)\right) .

    Similarly,

    \left({\mathrm{\lambda }}_{N-{М}_{1}}\cap {\mathrm{\lambda }}_{N-{М}_{2}}\right)\left(ҳɏ\right) = \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳɏ\right)\right)+\iota \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳɏ\right)\right) .

    Now take

    \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳɏ\right)\right)\le \\ \ \ \mathrm{max} \left( \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RN-{М}_{1}}\left(ɏ\right)\right), \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{max} \left( \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳ\right)\right), \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ɏ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{max} \left(\left({\mathrm{\lambda }}_{RN-{М}_{1}}\cap {\mathrm{\lambda }}_{RN-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{RN-{М}_{1}}\cap {\mathrm{\lambda }}_{RN-{М}_{2}}\right)\left(ɏ\right)\right) ,

    and

    \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ҳɏ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳɏ\right)\right)\le \\ \ \ \mathrm{max} \left( \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IN-{М}_{1}}\left(ɏ\right)\right), \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{max} \left( \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳ\right)\right), \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ɏ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ɏ\right)\right)\right)
    = \ \ \mathrm{max} \left(\left({\mathrm{\lambda }}_{IN-{М}_{1}}\cap {\mathrm{\lambda }}_{IN-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{IN-{М}_{1}}\cap {\mathrm{\lambda }}_{IN-{М}_{2}}\right)\left(ɏ\right)\right)
    \Rightarrow \left({\mathrm{\lambda }}_{N-{М}_{1}}\cap {\mathrm{\lambda }}_{N-{М}_{2}}\right)\left(ҳɏ\right)\le \ \ \mathrm{max} \left(\left({\mathrm{\lambda }}_{N-{М}_{1}}\cap {\mathrm{\lambda }}_{N-{М}_{2}}\right)\left(ҳ\right), \left({\mathrm{\lambda }}_{N-{М}_{1}}\cap {\mathrm{\lambda }}_{N-{М}_{2}}\right)\left(ɏ\right)\right) .

    Thus, {М}_{1}\cap {М}_{2} is a BCF sub-semigroup over Ş.

    The proofs of parts 2–4 are likewise part 1.

    Theorem 6. Suppose a BCFRI М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş , then М\cup \left(Ş⊚М\right) is a BCFTSI over Ş .

    Proof. As Ş is a BCFLI, so

    Ş⊚\left(М\cup \left(\left(Ş⊚М\right)\right)\right) = \left(Ş⊚М\right)\cup \left(Ş⊚Ş⊚М\right)
    \preccurlyeq \left(Ş⊚М\right)\cup \left(Ş⊚М\right) = Ş⊚М\preccurlyeq М\cup \left(Ş⊚М\right) .

    This shows that М\cup \left(Ş⊚М\right) is a BCFLI over Ş . Now

    \left(М\cup \left(\left(Ş⊚М\right)\right)\right)⊚Ş = \left(М⊚Ş\right)\cup \left(Ş⊚М⊚Ş\right)
    \preccurlyeq М\cup \left(Ş⊚М\right) .

    This shows that М\cup \left(Ş⊚М\right) is a BCFRI over Ş . Thus М\cup \left(Ş⊚М\right) is a BCFTSI over Ş .

    Corollary 1. Suppose a BCFLI М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş , then М\cup \left(М⊚Ş\right) is a BCFTSI over Ş .

    Here, we provide the characterizations of various categories of semigroups such as semi-simple, intra-regular, left, right ideals, and regular by the properties of BCF ideals (BCFIs). We also describe these in terms of BCFLIs, and BCFRIs. For better understanding, remember that an element ҳ\in Ş is known as regular if \exists an element ɏ\in Ş s.t ҳ = ҳɏҳ . If each element of Ş is regular then Ş is known as regular semigroup. An element \mathfrak{e}\in \mathfrak{Ş} is known as idempotent if \mathfrak{e}.\mathfrak{e} = \mathfrak{e} .

    Theorem 7. Each BCFI over a regular semigroup \mathfrak{Ş} is idempotent.

    Proof. Assume that \mathfrak{М} = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is a BCFI over regular semigroup Ş , then by employing Theorem (2 part (3)), we get

    М⊚М\preccurlyeq Ş⊚М\preccurlyeq М .

    Now let ҳ\in Ş . Then as Ş is a regular semigroup, \exists an element ɏ\in Ş s.t ҳ = ҳɏҳ , hence

    \left({\mathrm{\lambda }}_{RP-М}\circ {\mathrm{\lambda }}_{RP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)

    and

    \left({\mathrm{\lambda }}_{IP-М}\circ {\mathrm{\lambda }}_{IP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right) .

    This means that \left({\mathrm{\lambda }}_{P-М}\circ {\mathrm{\lambda }}_{P-М}\right)\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left(ҳ\right) . Next,

    \left({\mathrm{\lambda }}_{RN-М}\circ {\mathrm{\lambda }}_{RN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)

    and

    \left({\mathrm{\lambda }}_{IN-М}\circ {\mathrm{\lambda }}_{IN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right) .

    This means that \left({\mathrm{\lambda }}_{N-М}\circ {\mathrm{\lambda }}_{N-М}\right)\left(ҳ\right)\le {\mathrm{\lambda }}_{N-М}\left(ҳ\right) . Hence, М⊚М = М , thus М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) is idempotent.

    Theorem 8. For a semigroup Ş ,

    (1) Ş is a regular semigroup;

    (2) For each BCFLI {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and BCFRI {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş , {М}_{1}\cap {М}_{2} = {М}_{1}⊚{М}_{2} ,

    are equivalent.

    Proof. 1\Rightarrow 2 . Suppose that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are BCFLI and BCFRI over Ş respectively, then by employing Theorem (2 part (3)), we have that

    {М}_{1}⊚{М}_{2}\preccurlyeq {М}_{2}⊚{М}_{2} \text{ and }{М}_{1}⊚{М}_{2}\preccurlyeq {М}_{1}⊚Ş\preccurlyeq {М}_{1} ,

    so,

    {М}_{1}⊚{М}_{2}\preccurlyeq {М}_{1}\cap {М}_{2} .

    Next, assume that ҳ\in Ş and as Ş is regular semigroup, \exists ɏ\in Ş s.t ҳ = ҳɏҳ . Therefore we have

    \left({\mathrm{\lambda }}_{RP-М}\circ {\mathrm{\lambda }}_{RP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)

    and

    \left({\mathrm{\lambda }}_{IP-М}\circ {\mathrm{\lambda }}_{IP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right) .

    This means that \left({\mathrm{\lambda }}_{P-М}\circ {\mathrm{\lambda }}_{P-М}\right)\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left(ҳ\right) . Next,

    \left({\mathrm{\lambda }}_{RN-М}\circ {\mathrm{\lambda }}_{RN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)

    and

    \left({\mathrm{\lambda }}_{IN-М}\circ {\mathrm{\lambda }}_{IN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\mathrm{ɏ}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right)\right) = {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right) .

    Thus, {М}_{1}⊚{М}_{2}\succcurlyeq {М}_{1} and consequently, {М}_{1}\cap {М}_{2} = {М}_{1}⊚{М}_{2} .

    2\Rightarrow 1 . Suppose that {\mathfrak{U}}_{1} is any left ideal of Ş and {\mathfrak{U}}_{2} is any right ideal of Ş , then by employing Theorem 4, we get that {М}^{{\mathfrak{U}}_{1}} = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}}}, {\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}}}\right) be a BCFRI and {М}^{{\mathfrak{U}}_{2}} = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{2}}}, {\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{2}}}\right) be a BCFLI over Ş . Now by employing Lemma 1, we get

    \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}{\mathfrak{U}}_{2}}}\right)\left(ҳ\right) = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}}}\circ {\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{2}}}\right)\left(ҳ\right)
    = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}}}\wedge {\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{2}}}\right)\left(ҳ\right) = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2}}}\right)\left(ҳ\right) = 1+\iota 1 .

    Thus, ҳ\in {\mathfrak{U}}_{1}{\mathfrak{U}}_{2} and hence {\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2}\subseteq {\mathfrak{U}}_{1}{\mathfrak{U}}_{2} . Consequently, {\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2} = {\mathfrak{U}}_{1}{\mathfrak{U}}_{2} .

    Before going to the next result, we recall that Ş is known as left (right) zero if \forall ҳ, ɏ\in Ş, ҳɏ = ҳ (ҳɏ = ɏ ) .

    Theorem 9. Suppose that Ş is a regular semigroup, then

    (1) The family \mathrm{\Psi }\left(Ş\right) of all idempotents of Ş makes a left (right) zero sub-semigroup of Ş ,

    (2) For each BCFLI (BCFRI) М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş , {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left(ɏ\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RP-М}\left(ɏ\right) and {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IP-М}\left(ɏ\right) , and {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left(ɏ\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RN-М}\left(ɏ\right) and {\mathrm{\lambda }}_{IN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IN-М}\left(ɏ\right)\forall ҳ, ɏ\in Ş .

    are equivalent.

    Proof. 1\Rightarrow 2 . Suppose that М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is a BCFLI on Ş and ҳ, ɏ\in Ş such that ҳ, ɏ\in \mathrm{\Psi }\left(Ş\right) , then as 1 holds so we have that ҳɏ = ҳ and ɏҳ = ɏ and

    {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RP-М}\left(ҳɏ\right)\ge {\mathrm{\lambda }}_{RP-М}\left(ɏ\right)

    and,

    {\mathrm{\lambda }}_{RP-М}\left(ɏ\right) = {\mathrm{\lambda }}_{RP-М}\left(ɏҳ\right)\ge {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) .

    Next, we have

    {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IP-М}\left(ҳɏ\right)\ge {\mathrm{\lambda }}_{IP-М}\left(ɏ\right)

    and,

    {\mathrm{\lambda }}_{IP-М}\left(ɏ\right) = {\mathrm{\lambda }}_{IP-М}\left(ɏҳ\right)\ge {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) .

    This implies that {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left(ɏ\right) . Likewise one can show that {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left(ɏ\right) .

    2\Rightarrow 1 . As Ş is a regular semigroup and \mathrm{\Psi }\left(Ş\right) is non-empty. Hence by utilizing Theorem (4 part (2)) we get that bipolar complex characteristic function {М}^{{Ş}_{ɏ}} = \left({\mathrm{\lambda }}_{P-{М}^{{Ş}_{ɏ}}}, {\mathrm{\lambda }}_{N-{М}^{{Ş}_{ɏ}}}\right) of the left ideal {Ş}_{ɏ} is a BCFLI on Ş . Consequently, \left({\mathrm{\lambda }}_{N-{М}^{{Ş}_{ɏ}}}\right)\left(ҳ\right) = \left({\mathrm{\lambda }}_{N-{М}^{{Ş}_{ɏ}}}\right)\left(ɏ\right) = -1-\iota 1 and so ҳ\in {Ş}_{ɏ} . Therefore, for some \mathfrak{a}\in \mathfrak{Ş} , \mathfrak{ҳ} = \mathfrak{a}\mathfrak{ɏ} = \mathfrak{a}\left(\mathfrak{ɏ}\mathfrak{ɏ}\right) = \left(\mathfrak{a}\mathfrak{ɏ}\right)\mathfrak{ɏ} = \mathfrak{ҳ}\mathfrak{ɏ} . Consequently, \mathrm{\Psi }\left(Ş\right) is a left zero sub-semigroup on Ş . Likewise one can prove for right zero.

    Before going to the next result, we recall that, if for every ҳ\in Ş \exists ɏ\in Ş such that ҳ = {ҳ}^{2}ɏ then Ş is known as right (left) regular.

    Theorem 10. Suppose a semigroup Ş , then

    (1) Ş is left (right) regular;

    (2) For each BCFRI (BCFLI) М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş , {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right) , and {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right)\forall ҳ\in Ş ,

    are equivalent.

    Proof. 1\Rightarrow 2 . Assume that М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is a BCFLI over Ş and ҳ\in Ş , then as we know that Ş is left regular, so \exists ɏ\in Ş such that ҳ = ɏ{ҳ}^{2} . Thus,

    {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RP-М}\left(ɏ{ҳ}^{2}\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right)

    and,

    {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right)\ge {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) .

    Next, we have

    {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IP-М}\left(ɏ{ҳ}^{2}\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right)

    and,

    {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right)\ge {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) .

    This implies that {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right) . Likewise one can show that {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right) .

    2\Rightarrow 1 . Suppose ҳ\in Ş , then by Theorem (4 part (2)), we have that bipolar complex characteristic function {М}^{{ҳ}^{2}\cup Ş{ҳ}^{2}} = \left({\mathrm{\lambda }}_{P-{М}^{{ҳ}^{2}\cup Ş{ҳ}^{2}}}, {\mathrm{\lambda }}_{N-{М}^{{ҳ}^{2}\cup Ş{ҳ}^{2}}}\right) of left ideal {ҳ}^{2}\cup Ş{ҳ}^{2} of Ş is a BCFLI over Ş . As {ҳ}^{2}\in {ҳ}^{2}\cup Ş{ҳ}^{2} , so {\mathrm{\lambda }}_{N-{М}^{{ҳ}^{2}\cup Ş{ҳ}^{2}}}\left(ҳ\right) = {\mathrm{\lambda }}_{N-{М}^{{ҳ}^{2}\cup Ş{ҳ}^{2}}}\left({ҳ}^{2}\right) = -1-\iota 1\Rightarrow ҳ\in {ҳ}^{2}\cup Ş{ҳ}^{2} and so, Ş is left-regular. One can prove likewise for right regular.

    Before discussing the next definition we recall that a subset \mathfrak{Q}\ne \mathfrak{\varnothing } of \mathfrak{Ş} is known as semiprime if \forall \mathfrak{ }\mathfrak{ }\mathfrak{ }\mathfrak{ }\mathfrak{ҳ}\in \mathfrak{Ş}, {\mathfrak{ҳ}}^{2}\in \mathfrak{Q}\Rightarrow \mathfrak{ҳ}\in \mathfrak{Q} .

    Definition 13. A BCF set \mathfrak{М} = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş is known as BCF semiprime if \forall ҳ\in Ş {\mathrm{\lambda }}_{P-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right) , and {\mathrm{\lambda }}_{N-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right) .

    Theorem 11. Suppose \mathfrak{Q}\ne \mathfrak{\varnothing } is a subset of \mathfrak{Ş} , then

    (1) \mathfrak{Q} is semiprime;

    (2) The bipolar complex characteristic function {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) of \mathfrak{Q} is a BCF semiprime set,

    are equivalent.

    Proof. 1\Rightarrow 2 . Let ҳ\in Ş . If {ҳ}^{2}\in \mathfrak{Q} , \Rightarrow \mathfrak{ҳ}\in \mathfrak{Q} . Then, {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = 1+\iota 1 = {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left({\mathfrak{ҳ}}^{2}\right) and {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = -1-\iota 1 = {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left({\mathfrak{ҳ}}^{2}\right) . If {ҳ}^{2}\notin \mathfrak{Q} , then {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left({\mathfrak{ҳ}}^{2}\right) = 0+\iota 0\le {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) and {\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}\left({\mathfrak{ҳ}}^{2}\right) = 0+\iota 0\ge {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) . Consequently, {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCFSP set.

    2\Rightarrow 1 . Suppose ҳ\in Ş such that {ҳ}^{2}\in \mathfrak{Q} . As {\mathfrak{М}}^{\mathfrak{Q}} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{Q}}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\right) is a BCFSP set, so {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right)\le {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left({\mathfrak{ҳ}}^{2}\right) = -1-\iota 1 and {\mathrm{\lambda }}_{N-{М}^{\mathfrak{Q}}}\left(\mathfrak{ҳ}\right) = -1-\iota 1 , i.e. ҳ\in \mathfrak{Q} . Therefore, \mathfrak{Q} is a semiprime.

    Theorem 12. For a BCF sub-semigroup \mathfrak{М} = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) over Ş the following

    (1) М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is BCFSP set on Ş .

    (2) For each ҳ\in Ş , {\mathrm{\lambda }}_{P-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right) , and {\mathrm{\lambda }}_{N-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right) .

    Proof. 1\Rightarrow 2 . Suppose that М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is a BCF semiprime set on Ş and ҳ\in Ş , then we get that

    {\mathrm{\lambda }}_{P-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right) \text{ and }{\mathrm{\lambda }}_{IP-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right) ,

    and

    {\mathrm{\lambda }}_{N-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right) \text{ and }{\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right)

    thus,

    {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)\ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{P-М}\left(ҳ\right), {\mathrm{\lambda }}_{P-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{P-М}\left(ҳ\right)
    \Rightarrow {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right)\ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(ҳ\right), {\mathrm{\lambda }}_{RP-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) \text{ and }
    {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right)\ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(ҳ\right), {\mathrm{\lambda }}_{IP-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) ,

    and

    {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{N-М}\left(ҳ\right), {\mathrm{\lambda }}_{N-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{N-М}\left(ҳ\right)
    \Rightarrow {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(ҳ\right), {\mathrm{\lambda }}_{RN-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{RN-М}\left(ҳ\right) \text{ and }
    {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right)\le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(ҳ\right), {\mathrm{\lambda }}_{IN-М}\left(ҳ\right)\right) = {\mathrm{\lambda }}_{IN-М}\left(ҳ\right) .

    Consequently, 2 holds. 2\Rightarrow 1 is obvious.

    Before going to describe the next theorem, we recall the definition of intra-regular. If for every ҳ\in Ş \exists {ɏ}_{1}, {ɏ}_{2}\in Ş such that ҳ = {ɏ}_{1}{ҳ}^{2}{ɏ}_{2} .

    Theorem 13. For Ş , the following

    (1) Ş is intra-regular;

    (2) Each BCFTSI over Ş is BCF semiprime,

    are equivalent.

    Proof. 1\Rightarrow 2 . Assume that М = \left({\mathrm{\lambda }}_{P-М}, {\mathrm{\lambda }}_{N-М}\right) = \left({\mathrm{\lambda }}_{RP-М}+\iota {\mathrm{\lambda }}_{IP-М}, {\mathrm{\lambda }}_{RN-М}+\iota {\mathrm{\lambda }}_{IN-М}\right) is a BCFTSI over Ş and ҳ\in Ş . As Ş is intra-regular, so \exists {ɏ}_{1}, {ɏ}_{2}\in Ş such that ҳ = {ɏ}_{1}{ҳ}^{2}{ɏ}_{2} . Thus, we get

    {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\Rightarrow {\mathrm{\lambda }}_{RP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RP-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}{ɏ}_{2}\right)\ge {\mathrm{\lambda }}_{RP-М}\left({ҳ}^{2}\right) .

    \text{And } {\mathrm{\lambda }}_{IP-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IP-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}{ɏ}_{2}\right)\ge {\mathrm{\lambda }}_{IP-М}\left({ҳ}^{2}\right) ,\text{ thus }

    {\mathrm{\lambda }}_{P-М}\left(ҳ\right)\ge {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right)

    and

    {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\Rightarrow {\mathrm{\lambda }}_{RN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{RN-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\le {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}{ɏ}_{2}\right)\le {\mathrm{\lambda }}_{RN-М}\left({ҳ}^{2}\right) .

    And {\mathrm{\lambda }}_{IN-М}\left(ҳ\right) = {\mathrm{\lambda }}_{IN-М}\left({ɏ}_{1}{ҳ}^{2}{ɏ}_{2}\right)\le {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}{ɏ}_{2}\right)\le {\mathrm{\lambda }}_{IN-М}\left({ҳ}^{2}\right) , thus

    {\mathrm{\lambda }}_{N-М}\left(ҳ\right)\le {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right) .

    It follows that {\mathrm{\lambda }}_{P-М}\left(ҳ\right) = {\mathrm{\lambda }}_{P-М}\left({ҳ}^{2}\right) and {\mathrm{\lambda }}_{N-М}\left(ҳ\right) = {\mathrm{\lambda }}_{N-М}\left({ҳ}^{2}\right) .

    2\Rightarrow 1 . As 1 holds, so by Theorem (4 part (4)), we have that bipolar complex characteristic function {М}^{\mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right]} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right]}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right]}}\right) of principal ideal \mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right] = {ҳ}^{2}\cup Ş{ҳ}^{2}\cup {ҳ}^{2}Ş\cup {ҳ}^{2}Ş{ҳ}^{2} of Ş is a BCFTSI over Ş . As {ҳ}^{2}\in \mathfrak{J}\left[{\mathfrak{ҳ}}^{2}\right] , so {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right]}}\left(ҳ\right) = {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[{\mathfrak{ҳ}}^{2}\right]}}\left({ҳ}^{2}\right) = -1-\iota 1\Rightarrow ҳ\in {ҳ}^{2}\cup Ş{ҳ}^{2}\cup {ҳ}^{2}Ş\cup {ҳ}^{2}Ş{ҳ}^{2} . Ş is intra-regular. This completes the proof.

    Theorem 14. For Ş , the following

    (1) Ş is intra-regular;

    (2) {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2} for each BCFLI {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and for each BCFRI {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş ,

    are equivalent.

    Proof. 1\Rightarrow 2 . Suppose that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) is a BCFLI and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) is a BCFRI over Ş and ҳ\in Ş , then as Ş is intra-regular so \exists {ɏ}_{1}, {ɏ}_{2}\in Ş such that ҳ = {ɏ}_{1}{ҳ}^{2}{ɏ}_{2} . Thus,

    \left({\mathrm{\lambda }}_{RP-{М}_{1}}\circ {\mathrm{\lambda }}_{RP-{М}_{2}}\right)\left(\mathit{ҳ}\right) = \underset{\mathrm{ҳ} = {\mathrm{ʑ}}_{1}{\mathrm{ȥ}}_{2}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left({ʑ}_{1}\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left({ʑ}_{2}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left({ɏ}_{1}ҳ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳ{ʑ}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RP-{М}_{2}}\left(ҳ\right)\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}\wedge {\mathrm{\lambda }}_{RP-{М}_{2}}\right)\left(ҳ\right)

    and

    \left({\mathrm{\lambda }}_{IP-{М}_{1}}\circ {\mathrm{\lambda }}_{IP-{М}_{2}}\right)\left(\mathit{ҳ}\right) = \underset{\mathrm{ҳ} = {\mathrm{ʑ}}_{1}{\mathrm{ȥ}}_{2}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left({ʑ}_{1}\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left({ʑ}_{2}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left({ɏ}_{1}ҳ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳ{ʑ}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IP-{М}_{2}}\left(ҳ\right)\right) = \left({\mathrm{\lambda }}_{IP-{М}_{1}}\wedge {\mathrm{\lambda }}_{IP-{М}_{2}}\right)\left(ҳ\right) .

    Next,

    \left({\mathrm{\lambda }}_{RN-{М}_{1}}\circ {\mathrm{\lambda }}_{RN-{М}_{2}}\right)\left(\mathit{ҳ}\right) = \underset{\mathrm{ҳ} = {\mathrm{ʑ}}_{1}{\mathrm{ȥ}}_{2}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left({ʑ}_{1}\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left({ʑ}_{2}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left({ɏ}_{1}ҳ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳ{ʑ}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{RN-{М}_{2}}\left(ҳ\right)\right) = \left({\mathrm{\lambda }}_{RN-{М}_{1}}\vee {\mathrm{\lambda }}_{RN-{М}_{2}}\right)\left(ҳ\right)

    and

    \left({\mathrm{\lambda }}_{IN-{М}_{1}}\circ {\mathrm{\lambda }}_{IN-{М}_{2}}\right)\left(\mathit{ҳ}\right) = \underset{\mathrm{ҳ} = {\mathrm{ʑ}}_{1}{\mathrm{ȥ}}_{2}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left({ʑ}_{1}\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left({ʑ}_{2}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left({ɏ}_{1}ҳ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳ{ʑ}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-{М}_{1}}\left(ҳ\right), {\mathrm{\lambda }}_{IN-{М}_{2}}\left(ҳ\right)\right) = \left({\mathrm{\lambda }}_{IN-{М}_{1}}\vee {\mathrm{\lambda }}_{IN-{М}_{2}}\right)\left(ҳ\right) .

    Thus, we have {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2} .

    2\Rightarrow 1 . Suppose that {\mathfrak{U}}_{1} is any left ideal of Ş and {\mathfrak{U}}_{2} is any right ideal of Ş , and ҳ\in Ş such that ҳ\in {\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2} , then ҳ\in {\mathfrak{U}}_{1} and ҳ\in {\mathfrak{U}}_{2} , by Theorem 4 {М}^{{\mathfrak{U}}_{1}} = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}}}, {\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}}}\right) is a BCFLI and {М}^{{\mathfrak{U}}_{1}} = \left({\mathrm{\lambda }}_{P-{М}^{{\mathfrak{U}}_{1}}}, {\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}}}\right) is a BCFRI over Ş . Now by Lemma 1, we obtain

    \left({\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}{\mathfrak{U}}_{2}}}\right)\left(ҳ\right) = \left({\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}}}\circ {\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{2}}}\right)\left(ҳ\right)
    \le \left({\mathrm{\lambda }}_{N-М}\wedge {\mathrm{\lambda }}_{N-М}\right)\left(ҳ\right) = \left({\mathrm{\lambda }}_{N-{М}^{{\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2}}}\right)\left(ҳ\right) = -1-\iota 1 .

    Thus, we have ҳ\in {\mathfrak{U}}_{1}{\mathfrak{U}}_{2} and we get that {\mathfrak{U}}_{1}\cap {\mathfrak{U}}_{2}\subseteq {\mathfrak{U}}_{1}{\mathfrak{U}}_{2} . Consequently, Ş is intra-regular.

    Theorem 15. For Ş k, the following

    (1) Ş is regular and intra-regular;

    (2) {М}_{1}\cap {М}_{2}\preccurlyeq \left({М}_{1}⊚{М}_{2}\right)\cap \left({М}_{2}⊚{М}_{1}\right) for each BCFRI {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and BCFRI {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş ,

    are equivalent.

    Proof. 1\Rightarrow 2. Suppose that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) is a BCFRI and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) is a BCFLI over Ş , then by employing Theorems 8 and 14 we have that

    {М}_{1}\cap {М}_{2} = {М}_{2}\cap {М}_{1}\preccurlyeq {М}_{2}⊚{М}_{1} \text{ and }{М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2} .

    Thus,

    {М}_{1}\cap {М}_{2}\preccurlyeq \left({М}_{1}⊚{М}_{2}\right)\cap \left({М}_{2}⊚{М}_{1}\right) .

    2\Rightarrow 1 . Suppose that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) is a BCFRI and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) is a BCFLI over Ş , then

    {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}\cap {М}_{2}\preccurlyeq \left({М}_{1}⊚{М}_{2}\right)\cap \left({М}_{2}⊚{М}_{1}\right)\preccurlyeq {М}_{2}⊚{М}_{1} .

    Therefore, by employing Theorem 14 we get that Ş is intra-regular. Next,

    \left({М}_{1}⊚{М}_{2}\right)\preccurlyeq Ş⊚{М}_{2}\preccurlyeq {М}_{2} \text{ and }\left({М}_{1}⊚{М}_{2}\right)\preccurlyeq {М}_{1}⊚Ş\preccurlyeq {М}_{1} ,

    which implies that {М}_{1}⊚{М}_{2}\preccurlyeq {М}_{1}\cap {М}_{2} and it always holds that {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2}\Rightarrow {М}_{1}\cap {М}_{2} = {М}_{1}⊚{М}_{2} . Consequently, Ş is a regular semigroup.

    Now we recall the conception of semi-simple before discussing the next theorem. If every two-sided ideal of Ş is idempotent then Ş is known as semi-simple.

    Theorem 16. For Ş k, the following

    (1) Ş is semi-simple,

    (2) Each BCFTSI on Ş is idempotent,

    (3) {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2} for each BCFTSIs {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş ,

    are equivalent.

    Proof. 1\Rightarrow 2 . Suppose that {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) are two BCFTSIs over Ş , by assumption

    \left({М}_{1}⊚{М}_{2}\right)\preccurlyeq Ş⊚{М}_{2}\preccurlyeq {М}_{2} \text{ and }\left({М}_{1}⊚{М}_{2}\right)\preccurlyeq {М}_{1}⊚Ş\preccurlyeq {М}_{1} ,

    which implies that {М}_{1}⊚{М}_{2}\preccurlyeq {М}_{1}\cap {М}_{2} . Next, let ҳ\in Ş and as Ş is semi-simple so \exists {ɏ}_{1}, {ɏ}_{2}, {ʑ}_{1}, {ʑ}_{2}\in Ş such that ҳ = \left({ɏ}_{1}ҳ{ɏ}_{2}\right)\left({ʑ}_{1}ҳ{ʑ}_{2}\right) , thus

    \left({\mathrm{\lambda }}_{RP-М}\circ {\mathrm{\lambda }}_{RP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left({ɏ}_{1}ҳ{ɏ}_{2}\right), {\mathrm{\lambda }}_{RP-М}\left({ʑ}_{1}ҳ{ʑ}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}{\mathrm{ɏ}}_{2}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}{\mathrm{ʑ}}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RP-М}\left(\mathrm{ҳ}\right)\right) = \left({\mathrm{\lambda }}_{RP-М}\wedge {\mathrm{\lambda }}_{RP-М}\right)\left(ҳ\right)

    and

    \left({\mathrm{\lambda }}_{IP-М}\circ {\mathrm{\lambda }}_{IP-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{s}\mathrm{u}\mathrm{p}}\left\{ \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathfrak{b}\right)\right)\right\}
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left({ɏ}_{1}ҳ{ɏ}_{2}\right), {\mathrm{\lambda }}_{IP-М}\left({ʑ}_{1}ҳ{ʑ}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}{\mathrm{ɏ}}_{2}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}{\mathrm{ʑ}}_{2}\right)\right)
    \ge \ \ \mathrm{min} \left({\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IP-М}\left(\mathrm{ҳ}\right)\right) = \left({\mathrm{\lambda }}_{IP-М}\wedge {\mathrm{\lambda }}_{IP-М}\right)\left(ҳ\right) .

    Thus, \left({\mathrm{\lambda }}_{P-М}\circ {\mathrm{\lambda }}_{P-М}\right)\left(ҳ\right)\ge \left({\mathrm{\lambda }}_{P-М}\wedge {\mathrm{\lambda }}_{P-М}\right)\left(ҳ\right) . Next,

    \left({\mathrm{\lambda }}_{RN-М}\circ {\mathrm{\lambda }}_{RN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left({ɏ}_{1}ҳ{ɏ}_{2}\right), {\mathrm{\lambda }}_{RN-М}\left({ʑ}_{1}ҳ{ʑ}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}{\mathrm{ɏ}}_{2}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}{\mathrm{ʑ}}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{RN-М}\left(\mathrm{ҳ}\right)\right) = \left({\mathrm{\lambda }}_{RN-М}\vee {\mathrm{\lambda }}_{RN-М}\right)\left(ҳ\right)

    and

    \left({\mathrm{\lambda }}_{IN-М}\circ {\mathrm{\lambda }}_{IN-М}\right)\left(ҳ\right) = \underset{\mathrm{ҳ} = \mathfrak{a}\mathfrak{b}}{\mathrm{i}\mathrm{n}\mathrm{f}}\left\{ \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathfrak{a}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathfrak{b}\right)\right)\right\}
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left({ɏ}_{1}ҳ{ɏ}_{2}\right), {\mathrm{\lambda }}_{IN-М}\left({ʑ}_{1}ҳ{ʑ}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}{\mathrm{ɏ}}_{2}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}{\mathrm{ʑ}}_{2}\right)\right)
    \le \ \ \mathrm{max} \left({\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right), {\mathrm{\lambda }}_{IN-М}\left(\mathrm{ҳ}\right)\right) = \left({\mathrm{\lambda }}_{IN-М}\vee {\mathrm{\lambda }}_{IN-М}\right)\left(ҳ\right) .

    Thus, {М}_{1}⊚{М}_{2}\preccurlyeq {М}_{1}\cap {М}_{2} and so {М}_{1}⊚{М}_{2} = {М}_{1}\cap {М}_{2} .

    3\Rightarrow 2 is obvious.

    2\Rightarrow 1 . Suppose that ҳ\in Ş , then by employing Theorem (4 part (4)), we have that bipolar complex characteristic function {М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]} = \left({\mathrm{\lambda }}_{P-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}, {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\right) of principal ideal \mathfrak{I}\left[\mathfrak{ҳ}\right] of \mathfrak{Ş} is a BCFTSI over \mathfrak{Ş} . By Lemma 1 we obtain

    \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\right)\left(\mathfrak{ҳ}\right) = \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\circ {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\right)\left(\mathfrak{ҳ}\right)
    \le \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\wedge {\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]}}\right)\left(\mathfrak{ҳ}\right) = \left({\mathrm{\lambda }}_{N-{М}^{\mathfrak{I}\left[\mathfrak{ҳ}\right]\cap \mathfrak{I}\left[\mathfrak{ҳ}\right]}}\right)\left(\mathfrak{ҳ}\right) = -1-\iota 1 .

    Since, ҳ\in \mathfrak{I}\left[\mathfrak{ҳ}\right]\mathfrak{I}\left[\mathfrak{ҳ}\right]\mathfrak{I}\left[\mathfrak{ҳ}\right] , we have

    \mathfrak{ҳ}\in \left(\mathfrak{ҳ}\cup \mathfrak{Ş}\mathfrak{ҳ}\cup \mathfrak{ҳ}\mathfrak{Ş}\cup \mathfrak{Ş}\mathfrak{ҳ}\mathfrak{Ş}\right)\left(\mathfrak{ҳ}\cup \mathfrak{Ş}\mathfrak{ҳ}\cup \mathfrak{ҳ}\mathfrak{Ş}\cup \mathfrak{Ş}\mathfrak{ҳ}\mathfrak{Ş}\right)\left(\mathfrak{ҳ}\cup \mathfrak{Ş}\mathfrak{ҳ}\cup \mathfrak{ҳ}\mathfrak{Ş}\cup \mathfrak{Ş}\mathfrak{ҳ}\mathfrak{Ş}\right)\subseteq \left(\mathfrak{Ş}\mathfrak{ҳ}\mathfrak{Ş}\right)\left(\mathfrak{Ş}\mathfrak{ҳ}\mathfrak{Ş}\right) .

    Therefore, \mathfrak{Ş} is semi-simple.

    The conception of a semigroup is an influential approach and has been utilized by numerous scholars and employed in various areas. Due to the great significance of semigroup, numerous authors modified this concept to introduce novel notions such as fuzzy semigroup, bipolar fuzzy semigroup, etc. The concept of fuzzy semigroup has various applications such as fuzzy languages, theory fuzzy coding, etc. In recent years, numerous authors generalized the conception of fuzzy algebraic structures and employed genuine-life dilemmas in various areas of science. To keep in mind all this, and the research gap, in this analysis we investigated the algebraic structure of semigroups by employing the BCF set. Firstly, we established BCF sub-semigroup, BCFLI, BCFRI, and BCFTSI over \mathfrak{Ş} and then initiated their related theorem with proof. Further, we diagnosed bipolar complex characteristic function, positive \left(\omega , \eta \right) -cut, negative \left(\varrho , \sigma \right) -cut, positive and \left(\left(\omega , \eta \right), \left(\varrho , \sigma \right)\right) -cut and their associated results with proof. Secondly, we established various classes of semigroups such as intra-regular, left regular, right regular, and semi-simple, by the features of the BCF ideals and proved their related results. Also, these classes are interpreted in terms of BCFLIs, BCFRIs, and BCFTSIs. In this regard, we showed that, for a semigroup Ş , Ş is a regular semigroup if and only if for each BCFLI {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and BCFRI {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş , {М}_{1}\cap {М}_{2} = {М}_{1}⊚{М}_{2} . Furthermore, we construed regular, intra-regular semigroup and showed that a semigroup Ş is regular and intra-regular iff {М}_{1}\cap {М}_{2}\preccurlyeq {М}_{1}⊚{М}_{2} for each BCFLI {М}_{1} = \left({\mathrm{\lambda }}_{P-{М}_{1}}, {\mathrm{\lambda }}_{N-{М}_{1}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{1}}+\iota {\mathrm{\lambda }}_{IP-{М}_{1}}, {\mathrm{\lambda }}_{RN-{М}_{1}}+\iota {\mathrm{\lambda }}_{IN-{М}_{1}}\right) and for each BCFRI {М}_{2} = \left({\mathrm{\lambda }}_{P-{М}_{2}}, {\mathrm{\lambda }}_{N-{М}_{2}}\right) = \left({\mathrm{\lambda }}_{RP-{М}_{2}}+\iota {\mathrm{\lambda }}_{IP-{М}_{2}}, {\mathrm{\lambda }}_{RN-{М}_{2}}+\iota {\mathrm{\lambda }}_{IN-{М}_{2}}\right) over Ş . The introduced combination of BCFS and semigroup is the generalization of the fuzzy set (FS), bipolar fuzzy set (BFS), and complex FS (CFS) in the environment of semigroups and from the introduced notions we can easily achieve these conceptions.

    In the future, we want to expand this research to BCF bi-ideals, BCF quasi-ideals, and BCF interior ideals. Further, we would like to review numerous notions like BCF soft sets [46], interval-valued neutrosophic SSs [48], and bipolar complex intuitionistic FS [49] and would try to fuse them with the notion of the semigroup.

    The authors would like to thank the Deanship of Scientific Research at Umm Al-Qura University for supporting this work under grand code: 22UQU4310396DSR36.

    About the publication of this manuscript the authors declare that they have no conflict of interest.



    [1] H. Matsumura, Commutative Algebra, second edition, New York: Benjamin Cummings, 1980.
    [2] H. Matsumura, Commutative Ring Theory, New York: Cambridge University Press, 2006.
    [3] J. E. Goodman, Affine Open Subsets of Algebraic Varieties and Ample Divisors, Ann. Math., 89 (1969), 160–183. doi: 10.2307/1970814
    [4] J. MacWilliams, Orthogonal Matrices Over Finite Fields, Amer. Math. Monthly, 76 (1969), 152–164. doi: 10.1080/00029890.1969.12000160
    [5] M. Atiyah, I. Macdonald, Introduction to Commutative Algebra, London: Addison-Wesley Publishing Company Inc, 1969.
    [6] M. Demazure, P. Gabriel, Groupes algébriques, Paris: Masson et Cie, 1970.
    [7] M. Kang, Injective Morphisms of Affine Varieties, Proc. Amer. Math. Soc., 119 (1993), 1–4. doi: 10.1090/S0002-9939-1993-1146862-0
    [8] M. Rosenlicht, Toroidal algebraic groups, Proc. Amer. Math. Soc., 12 (1961), 984–988. doi: 10.1090/S0002-9939-1961-0133328-9
    [9] O. T. O'Meara, Symplectic group, Rhode island: American mathematical society providence, 1978.
    [10] R. Hartshorne, Algebraic Geometry, Graduate Text in Mathematics 52, New York: SpringerVerlag, New York Inc, 1977.
    [11] S. Lang, A. Weil, Number of points of varieties in finite fields, Amer. J. Math., 76 (1954), 819–827. doi: 10.2307/2372655
    [12] S. Oda, On finitely generated birational flat extensions of integral domains, Amer. J. Math., 11 (2004), 35–40.
    [13] J. Dieudonné, A. Grothendieck, Éléments de géométrie algébrique(rédigés avec la collaboration de Jean Dieudonné): IV. Etude locale des schémas et des morphismes de schémas, Troisième partie, tome 28, Publications mathmatiques de lI.H..S, 1966, 5–255.
  • This article has been cited by:

    1. Yating Zhu, Zixun Zeng, Zhong Chen, Deqiang Zhou, Jian Zou, Performance analysis of the convex non-convex total variation denoising model, 2024, 9, 2473-6988, 29031, 10.3934/math.20241409
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2396) PDF downloads(205) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog