Loading [Contrib]/a11y/accessibility-menu.js
Research article Special Issues

Effect of electrode modification on the production of electrical energy and degradation of Cr (Ⅵ) waste using tubular microbial fuel cell

  • Received: 18 April 2022 Revised: 24 June 2022 Accepted: 28 June 2022 Published: 09 August 2022
  • Carcinogenic hexavalent chromium is increasing worldwide due to the increased electroplating, welding and textile industry. On the other hand, molasses, the sugar factory's byproduct with high organic compounds (sugars), may pollute the environment if it is not processed. However, microbial fuel cell (MFC) seems to be a promising technology due to its ability to produce electrical energy from pollutant degradation using microbes while reducing hexavalent chromium to trivalent chromium with less toxicity. Carbon felt was used at both electrodes. This research aimed to determine the effect of modifying the anode with rice bran and cathode with Cu catalyst towards electricity generation and pollutant removal in molasses and reducing Cr (Ⅵ) into Cr (Ⅲ) using tubular microbial fuel cells. Moreover, the effect of mixing Sidoarjo mud and Shewanella oneidensis MR-1 as electricigen bacteria toward electrical energy production and pollutant removal was determined. Experiments revealed that the S/CM/AM variable, which only used Shewanella oneidensis MR-1 as an electricigen bacteria with both modified electrodes, produced the highest total power density of 530.42 mW/m2 and the highest percentage of Cr (Ⅵ) reduction of 98.87%. In contrast, the highest microbial population of 66.5 × 1010 cells/mL, 61.28% of Biological Oxygen Demand (BOD5) removal and 59.49% of Chemical Oxygen Demand (COD) were achieved by SSi/CM/AM variable, mixing Shewanella oneidensis MR-1 and Sidoarjo mud as an electricigen bacteria with both modified electrodes. Therefore, this study indicates that double chamber tubular microbial fuel cells may be a sustainable solution for managing molasses and carcinogen hexavalent chromium.

    Citation: Raden Darmawan, Sri Rachmania Juliastuti, Nuniek Hendrianie, Orchidea Rachmaniah, Nadila Shafira Kusnadi, Ghassani Salsabila Ramadhani, Yawo Serge Marcel, Simpliste Dusabe, Masato Tominaga. Effect of electrode modification on the production of electrical energy and degradation of Cr (Ⅵ) waste using tubular microbial fuel cell[J]. AIMS Environmental Science, 2022, 9(4): 505-525. doi: 10.3934/environsci.2022030

    Related Papers:

    [1] Yanlin Li, A. A. Abdel-Salam, M. Khalifa Saad . Primitivoids of curves in Minkowski plane. AIMS Mathematics, 2023, 8(1): 2386-2406. doi: 10.3934/math.2023123
    [2] Jiafan Zhang, Xingxing Lv . On the primitive roots and the generalized Golomb's conjecture. AIMS Mathematics, 2020, 5(6): 5654-5663. doi: 10.3934/math.2020361
    [3] Lilan Dai, Yunnan Li . Primitive decompositions of idempotents of the group algebras of dihedral groups and generalized quaternion groups. AIMS Mathematics, 2024, 9(10): 28150-28169. doi: 10.3934/math.20241365
    [4] Anthony Overmars, Lorenzo Ntogramatzidis, Sitalakshmi Venkatraman . A new approach to generate all Pythagorean triples. AIMS Mathematics, 2019, 4(2): 242-253. doi: 10.3934/math.2019.2.242
    [5] Jiafan Zhang, Xingxing Lv . Correction: On the primitive roots and the generalized Golomb's conjecture. AIMS Mathematics, 2022, 7(5): 8607-8608. doi: 10.3934/math.2022480
    [6] Wenpeng Zhang, Tingting Wang . The primitive roots and a problem related to the Golomb conjecture. AIMS Mathematics, 2020, 5(4): 3899-3905. doi: 10.3934/math.2020252
    [7] Yaguo Guo, Shilin Yang . Projective class rings of a kind of category of Yetter-Drinfeld modules. AIMS Mathematics, 2023, 8(5): 10997-11014. doi: 10.3934/math.2023557
    [8] Guoqing Wang . A generalization of Kruyswijk-Olson theorem on Davenport constant in commutative semigroups. AIMS Mathematics, 2020, 5(4): 2992-3001. doi: 10.3934/math.2020193
    [9] Shahida Bashir, Ahmad N. Al-Kenani, Maria Arif, Rabia Mazhar . A new method to evaluate regular ternary semigroups in multi-polar fuzzy environment. AIMS Mathematics, 2022, 7(7): 12241-12263. doi: 10.3934/math.2022680
    [10] Ze Gu, Xiang-Yun Xie, Jian Tang . On C-ideals and the basis of an ordered semigroup. AIMS Mathematics, 2020, 5(4): 3783-3790. doi: 10.3934/math.2020245
  • Carcinogenic hexavalent chromium is increasing worldwide due to the increased electroplating, welding and textile industry. On the other hand, molasses, the sugar factory's byproduct with high organic compounds (sugars), may pollute the environment if it is not processed. However, microbial fuel cell (MFC) seems to be a promising technology due to its ability to produce electrical energy from pollutant degradation using microbes while reducing hexavalent chromium to trivalent chromium with less toxicity. Carbon felt was used at both electrodes. This research aimed to determine the effect of modifying the anode with rice bran and cathode with Cu catalyst towards electricity generation and pollutant removal in molasses and reducing Cr (Ⅵ) into Cr (Ⅲ) using tubular microbial fuel cells. Moreover, the effect of mixing Sidoarjo mud and Shewanella oneidensis MR-1 as electricigen bacteria toward electrical energy production and pollutant removal was determined. Experiments revealed that the S/CM/AM variable, which only used Shewanella oneidensis MR-1 as an electricigen bacteria with both modified electrodes, produced the highest total power density of 530.42 mW/m2 and the highest percentage of Cr (Ⅵ) reduction of 98.87%. In contrast, the highest microbial population of 66.5 × 1010 cells/mL, 61.28% of Biological Oxygen Demand (BOD5) removal and 59.49% of Chemical Oxygen Demand (COD) were achieved by SSi/CM/AM variable, mixing Shewanella oneidensis MR-1 and Sidoarjo mud as an electricigen bacteria with both modified electrodes. Therefore, this study indicates that double chamber tubular microbial fuel cells may be a sustainable solution for managing molasses and carcinogen hexavalent chromium.



    Primitive semigroups have been an important topic of semigroup researches since the 1950s. In fact, as early as 1954, Preston who is one of the founders of the algebraic theory of semigroups studied primitive inverse semigroups in [16], and then he gave the characterization of primitive regular semigroups and applied it to the study of matrix representations of inverse semigroups in [17]. In particular, he pointed out that a regular semigroup (resp. an inverse semigroup) with zero is primitive if and only if it is the $ 0 $-direct union of a family of completely $ 0 $-simple semigroups (resp. Brandt semigroups) (See also the monographs [5,12,18]). In addition, from the view of category Lawson [12] showed that an inverse semigroup with zero is primitive if and only if it is isomorphic to a groupoid with zero adjoined. On the other hand, Theorem Ⅲ.3.5 and Corollary Ⅲ.3.6 in [5] together give that a regular semigroup (resp. an inverse semigroup) without zero is primitive if and only if it is a completely simple semigroup (resp. a group). Furthermore, primitive orthodox semigroups were also concerned in Venkatesan [21].

    As generalizations of regular semigroups, abundant semigroups were introduced and investigated in 1982 by Fountain in [2] where the class of primitive abundant semigroups and its several subclasses, such as primitive abundant semigroups with regularity condition, primitive quasi-adequate semigroups and primitive adequate semigroups etc., were also characterized. We observe that the roles of quasi-adequate semigroups and adequate semigroups in the range of abundant semigroups are similar to those of orthodox semigroups and inverse semigroups in the range of regular semigroups, respectively.

    In 1991, Lawson [13] went a further step to generalize abundant semigroups to $ U $-semiabundant semigroups where $ U $ is a nonempty subset of the set of idempotents and correspondingly generalize quasi-adequate semigroups and adequate semigroups to weakly $ U $-orthodox semigroups and Ehresmann semigroups, respectively. The class of Ehresmann semigroups and its special subclasses (for example, the class of restriction semigroups) now form a hot research topic, and a lot of achievements in this line have been obtained by many semigroup experts, for example, see [3,4,6,8,10,11,13,20] and the references therein. In particular, Gould [3,4] gave the equivalent definition of Ehresmann semigroups from the view of variety, and Jones explicitly introduced the notion of primitive Ehresmann semigroups in [8] and by using small categories obtained a construction of primitive Ehresmann semigroups with zero in [10] which is analogous to that of primitive inverse semigroups with zero given in Lawson [12] by using groupoids. We also observe that Lawson [14] investigated a class of primitive $ U $-semiabundant semigroups named Rees semigroups and Wang [22] characterized primitive weakly $ U $-orthodox semigroups, which generalize the corresponding results of primitive abundant semigroups provided in [2].

    On the other hand, Jones [7] generalized Ehresmann semigroups to $ P $-Ehresmann semigroups from a varietal perspective and provided a common framework for Ehresmann semigroups and regular *-semigroups. Regular *-semigroups first appeared in Nordahl and Scheiblich [15] and a generalization of this class of semigroups was investigated in the author [23]. For more details for regular $ ^\ast $-semigroups, the reader may consult the texts[1,7,15,19,23] and their references. At present, some valuable results have been obtained on $ P $-Ehresmann semigroups. For instance, the constructions of $ P $-Ehresmann semigroups have been considered by "fundamental approach" in [7] and [25,26] by "categorical approach", respectively. Variety properties, semigroup algebras and completions of $ P $-Ehresmann semigroups have been explored in Jones [8], Wang [24] and Yan and Wang [27], respectively.

    From the above discussions, the following problem is natural: How to introduce and characterize primitive $ P $-Ehresmann semigroups? The aim of this paper is to solve the above problem. We have introduced the notion of projection-primitive $ P $-Ehresmann semigroups and established the structures of projection-primitive $ P $-Ehresmann semigroups. In particular, we show that projection-primitive $ P $-Ehresmann semigroups are always $ P $-restriction. Our work may be regarded as extending primitive Ehresmann semigroups introduced and investigated by Jones in [8] and [10], respectively.

    In this section, after recalling some necessary notions and results on $ P $-Ehresmann semigroups, we shall introduce projection-primitive $ P $-Ehresmann semigroups and explore their basic properties.

    For a semigroup $ S $, we always denote the set of idempotents in $ S $ by $ E(S) $. From Lemma 2.2 and its dual in Gould [3], a bi-unary semigroup $ (S, \cdot, ^+, ^\ast) $ is called an Ehresmann semigroup if the following identities hold:

    $ x^+ x = x, (xy)^+ = (xy^+)^+, (x^+y^+)^+ = x^+ y^+, x^+y^+ = y^+x^+, (x^+)^\ast = x^+ $
    $ xx^\ast = x, (xy)^\ast = (x^\ast y)^\ast, (x^\ast y^\ast)^\ast = x^\ast y^\ast, x^\ast y^\ast = y^\ast x^\ast, (x^\ast)^+ = x^\ast. $

    To extend Ehresmann semigroups, $ P $-Ehresmann semigroups were introduced in Jones [7] from the view of variety. A bi-unary semigroup $ (S, \cdot, ^+, ^\ast) $ is called a P-Ehresmann semigroup if the following identities hold:

    A $ P $-Ehresmann semigroup $ (S, \cdot, ^+, ^\ast) $ is called $ P $-restriction if

    $(xy)^+x = xy^+{x}^\ast \mbox{ and } x(yx)^\ast = x^+y^\ast x \mbox{ for all } x,y\in S$.

    In a $ P $-Ehresmann semigroup $ (S, \cdot, ^+, ^\ast) $, the set of projections is $ P_{S} = \{a^+\mid a\in S\} $ which is equal to $ \{a^\ast\mid a\in S\} $ by (ⅴ) and (ⅴ)$ ' $. The following lemmas collect some basic properties of $ P $-Ehresmann semigroups first given in Jones [7].

    Lemma 2.1 ([7]). A bi-unary semigroup $ (S, \cdot, ^+, ^\ast) $ is Ehresmann (resp. restriction) if and only if $ (S, \cdot, ^+, ^\ast) $ is $ P $-Ehresmann (resp. $ P $-restriction) and $ P_{S} $ is a subsemilattice of $ {S} $.

    Lemma 2.2 ([7]). Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup and $ x, y \in S, \; e, f\in P_{S} $.

    (1) $ (x^+y)^+ = x^+y^+x^+, \; x^{++} = x^+, \; x^+(xy)^+x^+ = (xy)^+ $.

    (2) $ (xy^\ast)^\ast = y^\ast x^\ast y^\ast, \; x^{\ast\ast} = x^\ast, \; y^\ast(xy)^\ast y^\ast = (xy)^\ast $.

    (3) $ (ef)^2 = ef, \; e^+ = e = e^\ast, \; (ef)^+ = efe = (fe)^\ast \in P_{S} $.

    (4) $ ef\in P_{S} $ if and only if $ ef = fe $.

    Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup. Define a relation on $ P_S $ by the rule

    $ e\leq f \;{\rm{ if \;and \;only \;if }}\; e = ef = fe\; {\rm{ for \;all }}\;e,f\in P_S. $

    Then it is easy to see that $ \leq $ is a partial order on $ P_S $. By Lemma 2.2, the following corollary is obvious.

    Corollary 2.3. Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup and $ x, y \in S, e, f\in P_{S} $. Then $ (xy)^+\leq x^+, \; (xy)^\ast\leq y^\ast $ and $ efe\leq e $.

    Similar to the case of restriction semigroups appeared in Jones [8], we call a $ P $-Ehresmann semigroup $ (S, \cdot, ^+, ^\ast) $ without zero or with zero $ 0 $ satisfying $ 0\not\in P_S $ projection-primitive if

    $ (\forall e,f\in P_S)\; \; e\leq f\Longrightarrow e = f, $

    while call a $ P $-Ehresmann semigroup $ (S, \cdot, ^+, ^\ast) $ with zero $ 0 $ satisfying $ 0\in P_S $ projection-primitive if

    $ (\forall e,f\in P_S)\; \; e\leq f\Longrightarrow e = 0 \;{\rm{ or }}\; e = f. $

    Observe that a primitive Ehresmann semigroup without zero is just a momoid in which the identity is the only projection by Lemma 2.1. We first characterize projection-primitive $ P $-Ehresmann semigroups without zero.

    Proposition 2.4. Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup without zero. Then the following statements are equivalent:

    (1) $ S $ is projection-primitive.

    (2) $ (xy)^+ = x^+ $ for all $ x, y\in S $.

    (3) $ (xy)^\ast = y^\ast $ for all $ x, y\in S $.

    Proof. We only show that (1) is equivalent to (2), and one can prove that (1) is equivalent to (3) by similar arguments. If $ S $ is projection-primitive and $ x, y\in S $, then $ (xy)^+\leq x^+ $ by Corollary 2.3. This implies that $ (xy)^+ = x^+ $. Conversely, let $ e, f\in P_S $ and $ e\leq f $. Then $ ef = fe = e $. By the given condition and Lemma 2.2, we have $ f = f^+ = (fe)^+ = e^+ = e $. This gives the projection-primitivity of $ S $.

    From Jones [9], a $ P $-Ehresmann semigroup $ (S, \cdot, ^+, ^\ast) $ is called reduced if $ P_S $ contains exactly one element. By the identities (ⅰ) and (ⅰ)$ ' $, in this case $ S $ is a monoid with the only projection as its identity. Obviously, reduced $ P $-Ehresmann semigroups are always projection-primitive. In fact, we have the following result.

    Proposition 2.5. Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup with zero $ 0 $ and $ 0\not\in P_S $. Then the following statements are equivalent:

    (1) $ S $ is projection-primitive.

    (2) $ x^+ = 0^+ $ for all $ x\in S $.

    (3) $ x^\ast = 0^\ast $ for all $ x\in S $.

    In this case, $ S $ is a reduced $ P $-Ehresmann semigroup with the identity $ 0^+ $ and so is an Ehresmann semigroup.

    Proof. We only show that (1) is equivalent to (2), and one can prove that (1) is equivalent to (3) by similar arguments. Let $ S $ be projection-primitive and $ x\in S $. Then $ 0^+ = (x0)^+\leq x^+ $ by Corollary 2.3, and so $ 0^+ = x^+ $. Conversely, the given condition (2) implies that $ P_S = \{x^+\mid x\in S\} = \{0^+\} $. This gives that $ S $ is reduced and has identity $ 0^+ $, and so is projection-primitive certainly.

    Remark 2.6. By Proposition 2.5, a projection-primitive $ P $-Ehresmann (or Ehresmann) semigroup $ (S, \cdot, ^+, ^\ast) $ with zero $ 0 $ and $ 0\not\in P_S $ is reduced and is exactly a monoid with zero containing at least two elements.

    Now we consider projection-primitive $ P $-Ehresmann semigroups with zero $ 0 $ as a projection.

    Proposition 2.7. Let $ (S, \cdot, ^+, ^\ast) $ be a projection-primitive $ P $-Ehresmann semigroup with zero $ 0 $ and $ 0\in P_S $.

    (1) For all $ x\in S $, $ x^+ = 0 \Longleftrightarrow x = 0 \Longleftrightarrow x^\ast = 0. $

    (2) For all $ x, y\in S\setminus \{0\} $, $ xy\not = 0 \Longleftrightarrow x^\ast y^+x^\ast = x^\ast\Longleftrightarrow y^+x^\ast y^+ = y^+ $.

    Proof. (1) Let $ x\in S $. We only prove that $ x^+ = 0 $ if and only if $ x = 0 $. The other equivalence can be showed by symmetry. In fact, if $ x^+ = 0 $, then $ x = x^+ x = 0x = 0 $ by (ⅰ). To show the converse, we first observe that $ 0^+ = (a0)^+\leq a^+ $ for all $ a\in S $ by Corollary 2.3. This implies that $ 0^+ $ is the minimum element in $ P_S $. Since $ 0\in P_S $, it follows that $ 0^+ = 0^+ 0 = 0 $.

    (2) Let $ x, y\in S\setminus \{0\} $. We only prove that $ xy\not = 0 $ if and only if $ x^\ast y^+x^\ast = x^\ast $. The other equivalence can be showed by symmetry. If $ xy\not = 0 $, then $ xx^\ast y^+ y = xy\not = 0 $ by the identities (ⅰ) and (ⅰ)$ ' $. This implies that $ x^\ast\not = 0 $ and $ x^\ast y^+\not = 0 $. By item (1) we have $ x^{\ast+}\not = 0 $ and $ (x^\ast y^+)^+\not = 0 $. But Corollary 2.3 gives that $ (x^\ast y^+)^+\leq x^{\ast+} $, and so $ (x^\ast y^+)^+ = x^{\ast+} $ by the projection-primitivity of $ S $. Moreover, Lemma 2.2 provides that $ x^\ast y^+ x^\ast = (x^\ast y^+)^+ = x^{\ast+} = x^\ast $. Conversely, if $ x^\ast y^+x^\ast = x^\ast $, then by using (ⅱ), (ⅰ)$ ' $, (ⅱ), Lemma 2.2 (3), (ⅰ)$ ' $ and item (1) of the present lemma in order, we have

    $ \begin{equation} (xy)^+ = (xy^+)^+ = (xx^\ast y^+)^+ = (x(x^\ast y^+)^+)^+ = (xx^\ast y^+ x^\ast)^+ = (xx^\ast)^+ = x^+\not = 0, \end{equation} $ (2.1)

    which implies that $ xy\not = 0 $ by item (1) of the present lemma again. To end this section, we observe the following interesting result.

    Theorem 2.8. A projection-primitive $ P $-Ehresmann semigroup is always $ P $-restriction.

    Proof. Let $ (S, \cdot, ^+, ^\ast) $ be a projection-primitive $ P $-Ehresmann semigroup and $ x, y\in S $. Firstly, if $ S $ contains no zero, then $ (xy)^+x = x^+x = x $ by Proposition 2.4. By Corollary 2.3, we have $ x^\ast y^+ x^\ast\leq x^\ast $, and so $ x^\ast y^+ x^\ast = x^\ast $ by the projection-primitivity of $ S $. This implies that $ xy^+x^\ast = xx^\ast y^+ x^\ast = xx^\ast = x $ by (ⅰ)$ ' $. Thus $ (xy)^+x = xy^+x^\ast $. Dually, we have $ x(yx)^\ast = x^+y^\ast x $. Secondly, if $ S $ contains a zero $ 0 $ and $ 0\not\in P_S $, then it is obvious that $ (xy)^+x = xy^+ x^\ast $ and $ x(yx)^\ast = x^+y^\ast x $ by Proposition 2.5. Finally, assume that $ S $ contains a zero $ 0 $ and $ 0 \in P_S $. If $ xy = 0 $, then by Proposition 2.7 (1) and (ⅱ) we have $ 0 = (xy)^+ = (xy^+)^+ $ and $ xy^+ = 0 $. This implies that $ (xy)^+x = 0 = xy^+ x^\ast $. If $ xy\not = 0 $, then $ (xy)^+\not = 0 $ and $ x^\ast = x^\ast y^+ x^\ast $ by Proposition 2.7. Since $ (xy)^+\leq x^+ $ by Corollary 2.3, the projection-primitivity of $ S $ gives that $ (xy)^+ = x^+ $. This implies that

    $ xy^+x^\ast = xx^\ast y^+x^\ast = xx^\ast = x = x^+x = (xy)^+x $

    by (ⅰ) and (ⅰ)$ ' $. Therefore, $ (xy)^+x = xy^+ x^\ast $. Dually, we have $ x(yx)^\ast = x^+y^\ast x $. Thus, $ S $ is $ P $-restriction in all cases.

    In the remainder of this paper, we shall establish the structures of projection-primitive $ P $-Ehresmann semigroups. The present section is devoted to projection-primitive $ P $-Ehresmann semigroups without zero or with zero which is not a projection. The following theorem characterize these semigroups completely.

    Theorem 3.1. Let $ I $ and $ \Lambda $ be two sets and $ \phi:I\rightarrow \Lambda, i\mapsto i\phi $ be a bijection. Assume that $ M $ is a monoid, $ |I\times M\times \Lambda|\not = 1 $ and $ P = (p_{\lambda i})_{\Lambda\times I} $ is a $ \Lambda\times I $-matrix over $ M $ satisfying $ p_{i\phi, i} = e = p_{i\phi, j}p_{j\phi, i} $ for all $ i, j\in I $, where $ e $ is the identity of $ M $. Define a binary and two unary operations on the set

    $ S = {\cal M}(I, \Lambda, M,P) = \{(i,x,\lambda)\mid i\in I,x\in M, \lambda\in \Lambda\} $

    as follows:

    $ (i,x,\lambda)(j,y,\mu) = (i,xp_{\lambda j}y,\mu), (i,x,\lambda)^+ = (i,e,i\phi), (i,x,\lambda)^\ast = (\lambda\phi^{-1},e,\lambda). $

    Then $ (S, \cdot, ^+, ^\ast) $ is a projection-primitive $ P $-Ehresmann semigroup without zero or with zero which is not a projection. Conversely, every such semigroup can be obtained in this way.

    Proof. Direct part. By hypothesis, $ S^0 $ can be regarded as a Rees matrix semigroup over the monoid $ M^0 $. Denote $ P(S^0) = \{(i, p^{-1}_{\lambda i}, \lambda)\mid i\in I, \lambda\in \Lambda\}\cup \{0\} $ and $ U = \{(i, e, i\phi)\mid i\in I\} $. Then by Proposition 1.5 in Lawson [14], we can easily show that for all $ (i, x, \lambda), (j, y, \mu)\in S $,

    $ (i,x,\lambda)\, \widetilde{\cal R}^{P(S^0)}\, (j, y,\mu) \Longleftrightarrow (i,x,\lambda)\, \widetilde{\cal R}^{U}\, (j, y,\mu)\Longleftrightarrow i = j, $
    $ (i,x,\lambda)\, \widetilde{\cal L}^{P(S^0)}\, (j, y,\mu) \Longleftrightarrow (i,x,\lambda)\, \widetilde{\cal L}^{U}\, (j, y,\mu)\Longleftrightarrow \lambda = \mu. $

    Moreover, $ \widetilde{\cal R}^{U} $ (resp. $ \widetilde{\cal L}^{U} $) is a left congruence (resp. a right congruence) on $ S $ by Lemma 1.9 in Lawson [14]. By the given condition on the matrix $ P $, it is easy to see that $ U $ is both a right projection-set and a left projection-set of $ S $ in the sense of Jones [7] (see page 629). According to Theorem 6.1 of Jones [7] and its dual, $ (S, \cdot, ^+, ^\ast) $ is a $ P $-Ehresmann semigroup and $ P_S = U $. Moreover, in view of Proposition 1.7 of Lawson [14], no two different elements in $ P_S $ can be compatible. Thus $ S $ is projection-primitive. If $ (i, z, \lambda) $ is the zero element of $ S $, then for all $ (j, y, \mu)\in S $, we have $ (i, z, \lambda)(j, y, \mu) = (i, z, \lambda) = (j, y, \mu)(i, z, \lambda) $. This implies that $ i = j $ and $ \lambda = \mu $. In this case, $ |I| = |\Lambda| = 1 $ and so $ P_S $ contains only one element. By hypothesis, $ S $ has at least two elements and so the zero is not a projection.

    Converse part. Let $ (M, \cdot, ^+, ^\ast) $ be a projection-primitive $ P $-Ehresmann semigroup with zero which is not a projection. Then by Proposition 2.5 and Remark 2.6, $ M $ has at least two elements and is a monoid with the only projection $ e $ as its identity. In this case, $ M $ has the form in the theorem certainly.

    Now let $ (T, \cdot, ^+, ^\ast) $ be a projection-primitive $ P $-Ehresmann semigroup without zero. Then it is easy to see that $ T^0 $ is a Rees semigroup with respect to $ U = P_T^0 $ in the sense of Lawson [14], and $ \widetilde{\cal L}^U = \{(a, b)\in T^0\times T^0\mid a^\ast = b^\ast\}\cup \{(0, 0)\} $ and $ \widetilde{\cal R}^U = \{(a, b)\in T^0\times T^0\mid a^+ = b^+\}\cup \{(0, 0)\} $ (see page 28 in [14]). Fix an element $ e\in P_T $ and denote $ I = \{xe\mid x\in P_T\}, \; \Lambda = \{ex\mid x\in P_T\} $. Define $ \phi: I\rightarrow \Lambda, \; xe\mapsto ex $ for all $ x\in P_T $. Then $ \phi $ is a bijection. In fact, if $ x, y\in P_T $ and $ xe = ye $, then $ x = x^+ = (xe)^+ = (ye)^+ = y^+ = y $ by Lemma 2.2 and Proposition 2.4, and so $ ex = ey $. This fact and its dual give that $ \phi $ is bijection. We assert that $ p_{i\phi, i} = e = p_{i\phi, j}p_{j\phi, i} $ for all $ i, j\in I $. In fact, take $ i = xe, j = ye\in I $ where $ x, y\in P_T $. Then $ i\phi = ex $ and $ j\phi = ey $. This implies by Lemma 2.2 and Proposition 2.4 that $ p_{i\phi, i} = (i\phi) i = (ex)(xe) = exe = (ex)^+ = e^+ = e $ and

    $ p_{i\phi,j}p_{j\phi,i} = ((i\phi)j)((j\phi)i) = exyeey xe = exyeyxe = (e(xyeyx))^+ = e^+ = e. $

    On the other hand, for every $ t\in T $, we have $ (t^+e)^+ = t^+ $ and $ (et^\ast)^\ast = t^\ast $ by Proposition 2.4. In view of Lemma 2.2 (4), $ I $ and $ \Lambda $ can index the non-zero $ \widetilde{\cal R}^U $-classes and $ \widetilde{\cal L}^U $-classes of $ T^0 $, respectively. Denote $ M = \{a\in T\mid a^+ = a^\ast = e\}\cup \{0\} $. For $ i\in I $ and $ \lambda\in \Lambda $, let $ r_i = i $ and $ q_\lambda = \lambda $ and denote $ p_{\lambda i} = q_\lambda r_i = \lambda i $. Since $ (t^+e)^+ = t^+ $, $ (et^\ast)^\ast = t^\ast $, $ (ete)^+ = (ete)^\ast = e $ and $ t = (t^+ e)ete(et^\ast) $ by Lemma 2.2 and Proposition 2.4, in view of the proof of Theorem 3.6 in Lawson [14],

    $ \theta: T^0\rightarrow S = {\cal M}^0(I, \Lambda, M, P), \,\, t\mapsto (t^+e, ete, et^\ast),\,\, 0\mapsto 0 $

    is a semigroup isomorphism. Moreover, if we define

    $ (i,a,\lambda)^+ = (i,e,i\phi),\, (i,a,\lambda)^\ast = (\lambda\phi^{-1},e,\lambda),\, 0^+ = 0^\ast = 0 $

    on $ S $, then we can see that $ \theta $ also preserves $ ^+ $ and $ ^\ast $ by Lemma 2.2 and Proposition 2.4. By the construction of $ P = (p_{\lambda i}) $, $ \theta|_{T} $ is a $ (2, 1, 1) $-isomorphism from $ T $ onto $ {\cal M}(I, \Lambda, M, P) $.

    In Theorem 3.1, if we identify $ i $ with $ i\phi $ for all $ i\in I $, we can assume that $ I = \Lambda $. So we have the following corollary.

    Corollary 3.2. Let $ I $ be a set and $ M $ a monoid with $ |I\times M|\not = 1 $. Assume that $ P = (p_{\lambda i})_{I\times I} $ is an $ I\times I $-matrix over $ M $ satisfying $ p_{ii} = e = p_{ij}p_{j, i} $ for all $ i, j\in I $, where $ e $ is the identity of $ M $. Define a binary and two unary operations on the set

    $ S = {\cal M}(I, M,P) = \{(i,x,j)\mid i,j\in I,x\in M\} $

    as follows:

    $ (i,x,j)(k,y,l) = (i,xp_{jk}y,l), (i,x,j)^+ = (i,e,i), (i,x,j)^\ast = (j,e,j). $

    Then $ (S, \cdot, ^+, ^\ast) $ is a projection-primitive $ P $-Ehresmann semigroup without zero or with zero which is not a projection. Conversely, every such semigroup can be obtained in this way.

    In this section, we consider the structures of projection-primitive $ P $-Ehresmann semigroups with zero as a projection. To this aim, we need to recall some necessary notions and results. From Jones [7], a left projection algebra consists of a nonempty set $ P $ and a binary operation $ "\times" $ satisfying the following axioms:

    (P1) $ e\times e = e $.

    (P2) $ e\times(e\times f) = (e\times f)\times e = e\times f $.

    (P3) $ (e\times f)\times g = e\times (f\times(e\times g)) $.

    (P4) $ e\times(f\times g) = (e\times f)\times (e\times (f\times g)) $.

    For simplicity, we use the words "projection algebra" to replace "left projection algebra" in the sequel. Let $ (P, \times) $ be a projection algebra. Define a relation $ "\leq_P" $ on $ P $ by the rule that for all $ e, f\in P $, $ e\leq_P f \;{\rm{ if \;and\; only\; if }}\;e = f\times e. $ Then $ \leq_P $ is a partial order on $ P $ by (P1)–(P4). Moreover, by (P2) it is easy to see that

    $ \begin{equation} e\times f\leq_P e \end{equation} $ (4.1)

    for all $ e, f\in P $. A projection algebra $ (P, \times) $ with the least element $ 0 $ with respect to $ \leq_P $ is called primitive if no two different elements in $ P\setminus\{0\} $ can be compatible. On primitive projection algebras, we have the following simple results.

    Proposition 4.1. A primitive projection algebra $ (P, \times) $ is just a (2, 0)-type algebra $ (P, \times, 0) $ satisfying the following conditions: For all $ e, f\in P $,

    (Pr1) $ e\times e = e $.

    (Pr2) $ 0\times e = 0 = e\times 0 $.

    (Pr3) $ e\times f = 0 \;\mathit{{or}}\; e\times f = e $.

    (Pr4) $ e\times f = 0 \;\mathit{{if \;and \;only\; if}} \;f\times e = 0 $.

    In particular, if $ e\times f = f\times e $ for all $ e, f\in P $, then $ e\times f\not = 0 $ if and only if $ e = f\not = 0 $.

    Proof. Let $ (P, \times) $ be a primitive projection algebra with the least element $ 0 $. We only need to show that (Pr2)–(Pr4) hold. Let $ e, f\in P $. Since $ 0\leq_P e $, we have $ e\times 0 = 0 $, and so $ 0\times e = (e\times 0)\times e = e\times 0 = 0 $ by (P2). This proves (Pr2). In view of (4.1), (Pr3) is true. Finally, if $ e\times f = 0 $ and $ f\times e\not = 0 $, then $ f\times e = f\not = 0 $ by (Pr3). However,

    $ f\times e = (f\times e)\times e = f\times (e\times (f\times e)) = f\times (e\times f) = f\times 0 = 0 $

    by (P3) and (Pr2). This is a contradiction. So (Pr4) holds.

    Conversely, let $ (P, \times, 0) $ be a (2, 0)-type algebra satisfying the given conditions. We only need to show that (P2)–(P4) hold. Let $ e, f, g\in P $. By (Pr3), $ e\times f = 0 $ or $ e\times f = e $. In the former case, all items in (P2) are equal to $ 0 $ by (Pr2). In the latter case, all items in (P2) are equal to $ e $ by (Pr1). This shows (P2). Moreover, we also have $ e\times g = 0 $ or $ e\times g = e $. Then the following four cases may occur:

    $ (1)\, e\times f = e, e\times g = e;\,\, (2)\, e\times f = e, e\times g = 0;\,\, (3)\, e\times f = 0, e\times g = e;\,\,(4)\, e\times f = 0, e\times g = 0. $

    In case (1), $ (e\times f)\times g = e\times g = e $ and $ e\times(f\times (e\times g)) = e\times(f\times e) $. By (Pr3) and (Pr4), $ f\times e = f $ in the case. So $ e\times(f\times e) = e\times f = e $. This proves (P3) for case (1). The other cases can be showed similarly. Finally, we consider (P4). By (Pr3), $ f\times g = f $ or $ f\times g = 0 $. In the former case, the left side of (P4) is $ e\times f $, the right side of (P4) is $ (e\times f)\times (e\times f) = e\times f $ by (Pr1), and so they are equal. In the latter case, the two sides of (P4) are both $ 0 $ by (Pr2). The final result of the proposition follows from (Pr1), (Pr3) and (Pr4).

    By the dual of Proposition 2.4 in [7], and Propositions 2.7 and 4.1, we have the following result easily.

    Lemma 4.2. Let $ (S, \cdot, ^+, ^\ast) $ be a primitive $ P $-Ehresmann semigroup with zero $ 0 $ and $ 0\in P_S $. Define a binary operation $ "\times_{S}" $ on $ P_{S} $ as follows: For all $ e, f\in P_{S} $, $ e\times_{S} f = (ef)^+ = efe $. Then $ (P_{S}, \times_{S}, 0) $ forms a primitive projection algebra. In particular, if $ S $ is Ehresmann, then $ e\times_S f = f\times_S e $ for all $ e, f\in P_S $ by Lemma 2.1.

    Let $ C $ be a nonempty set with a partial binary operation $ \cdot $ and $ (P, \times, 0) $ a primitive projection algebra with $ (P\setminus\{0\})\subseteq C $. Assume that $ {\bf d}: C\rightarrow P, x\mapsto {\bf d}(x), \ \ {\bf r}: C\rightarrow P, x\mapsto {\bf r}(x) $ are maps such that $ {\bf d}(C)\cup {\bf r}(C)\subseteq (P\setminus\{0\}) $ and

    $ \begin{equation} {\bf d}(e) = e = {\bf r}(e) \end{equation} $ (4.2)

    for all $ e\in (P\setminus\{0\}) $. According to Wang [26], $ {\bf C} = (C, \cdot, {\bf d}, {\bf r}, P) $ is called a generalized category over $ (P, \times, 0) $ if the following conditions hold:

    (G1) For all $ x, y\in C $, $ x\cdot y $ is defined if and only if $ {\bf r}(x)\times {\bf d}(y)\not = 0 $ and then $ {\bf d}(x\cdot y) = {\bf d}(x) $ and $ {\bf r}(x\cdot y) = {\bf r}(y) $.

    (G2) If $ x, y, z\in C $ such that both $ x\cdot y $ and $ y\cdot z $ are defined, then $ (x\cdot y)\cdot z = x\cdot(y\cdot z) $.

    (G3) For all $ x\in C $, $ {\bf d}(x)\cdot x $ and $ x\cdot {\bf r}(x) $ are defined and $ {\bf d}(x)\cdot x = x = x\cdot {\bf r}(x) $.

    (G4) If $ e, f\in P $ and $ e\times f\not = 0 $, then $ (e\cdot f)\cdot e = e $.

    If $ e\times f = f\times e $ for all $ e, f\in P $, then $ e\times f\not = 0 $ if and only if $ e = f $, and so (G4) is always satisfied by (4.2), (G3) and Proposition 4.1. In this case, $ {\bf C} = (C, \cdot, {\bf d}, {\bf r}, P) $ is a category in usual sense.

    Proposition 4.3. Let $ {\bf C} = (C, \cdot, {\bf d}, {\bf r}, P) $ be a generalized category over the primitive projection algebra $ (P, \times, 0) $. Put $ C^0 = C\cup \{0\} $. Define a binary operation on $ C^0 $ as follows: If $ x, y\in C $ and $ x\cdot y $ is defined in $ C $, then $ xy = x\cdot y $; all other products in $ C^0 $ are $ 0 $. Moreover, define two unary operations on $ C^0 $ as follows: $ 0^\clubsuit = 0^\spadesuit = 0 $ and $ x^\clubsuit = {\bf d}(x), x^\spadesuit = {\bf r}(x) $ for all $ x\in C $. With these operations $ C^0 $ is a projection-primitive $ P $-Ehresmann semigroup with $ 0 $ as a projection. In the sequel, we call $ (C^0, \cdot, \clubsuit, \spadesuit) $ a generalized category with zero adjoined.

    Proof. Let $ x, y, z\in C^0 $. It is routine to check that $ (xy)z = 0 $ precisely when $ x(yz) = 0 $. Thus $ C^0 $ is a semigroup by (G2). We shall show that the identities (ⅰ)–(ⅴ) and (ⅰ)$ ' $–(ⅴ)$ ' $ are satisfied. Let $ x, y\in C^0 $. If $ 0\in \{x, y\} $, the identities (ⅰ)–(ⅴ) and (ⅰ)$ ' $–(ⅴ)$ ' $ are satisfied obviously. So we assume that $ x, y\in C $. Firstly, since $ {\bf d}(x)\cdot x = x $ by (G3), we have $ x^\clubsuit x = x $. This gives (ⅰ). Dully, we have (ⅰ)$ ' $. Secondly, since $ {\bf d}(y^\clubsuit) = {\bf d}({\bf d}(y)) = {\bf d}(y) $ by (4.2), it follows that $ xy^\clubsuit\not = 0 $ if and only if $ xy\not = 0 $ by (G1). If this is the case, we have

    $ (xy^\clubsuit)^\clubsuit = {\bf d}(xy^\clubsuit) = {\bf d}(x) = {\bf d}(xy) = (xy)^\clubsuit $

    by (G1) again. This is exactly the identity (ⅱ). Dually, (ⅱ)$ ' $ is also true. Thirdly, by (4.2), (G1) and (Pr4), we can see that

    $ x^\clubsuit y^\clubsuit \not = 0\Longleftrightarrow {\bf d}(x)\times {\bf d}(y)\not = 0\Longleftrightarrow x^\clubsuit y^\clubsuit x^\clubsuit \not = 0. $

    In this case, we have

    $ (x^\clubsuit y^\clubsuit)^\clubsuit = {\bf d}( {\bf d}(x) {\bf d}(y)) = {\bf d}( {\bf d}(x)) = {\bf d}(x) $

    by (G1) and $ x^\clubsuit y^\clubsuit x^\clubsuit = {\bf d}(x) {\bf d}(y) {\bf d}(x) = {\bf d}(x) $ by (G4). This implies that the identity (ⅲ) is true. Dually, (ⅲ)$ ' $ is valid. Moreover, by (4.2), (G1) and (G3) we have

    $ x^\clubsuit x^\clubsuit = {\bf d}(x) {\bf d}(x) = {\bf d}( {\bf d}(x)) {\bf d}(x) = {\bf d}(x). $

    This gives (ⅳ). Similarly, we have (ⅳ)$ ' $. The identities (ⅴ) and (ⅴ)$ ' $ follow from the fact $ (x^\clubsuit)^\spadesuit = {\bf r}({\bf d}(x)) = {\bf d}(x) = x^\clubsuit $ by (4.2) and its dual. We have shown that $ (C^0, \cdot, \clubsuit, \spadesuit) $ is a $ P $-Ehresmann semigroup with the set of projections

    $ P_{C^0} = \{x^\clubsuit\mid x\in C^0\} = P = \{ {\bf d}(x)\mid x\in C\}\cup\{0\} = \{ {\bf r}(x)\mid x\in C\}\cup\{0\}. $

    Finally, let $ e, f\in P_{C^0} $ and $ e\leq f $. Then $ e = ef = fe $. If $ e\not = 0 $, then $ f\cdot e $ is defined and so $ e = {\bf d}(e) = {\bf d}(fe) = {\bf d}(f) = f $ by (4.2) and (G1). Thus, $ (C^0, \cdot, ^\clubsuit, ^\spadesuit) $ is projection-primitive.

    Remark 4.4. Let $ {\bf C} = (C, \cdot, {\bf d}, {\bf r}, P) $ be a generalized category over the primitive projection algebra $ (P, \times, 0) $. If $ P $ contains at least three elements and $ e\times f\not = 0 $ for all $ e, f\in P\setminus\{0\} $, then $ x\cdot y $ is defined for all $ x, y\in C $. By Propositions 4.3 and 2.5, $ (C, \cdot, ^\clubsuit, ^\spadesuit) $ is a projection-primitive $ P $-Ehresmann semigroup without zero. On the other hand, if $ P $ contains two elements, say, $ P = \{0, 1\} $, then $ (C, \cdot, ^\clubsuit, ^\spadesuit) $ is a reduced $ P $-Ehresmann semigroup. In fact, $ (C, \cdot) $ is a monoid with $ 1 $ as identity, and $ (C^0, \cdot) $ is a monoid with zero adjoined. Thus we can think that generalized categories with zero adjoined covers the semigroups considered in the last section.

    Now we can give the main result of this section, which is a generalization of a result on restriction semigroups obtained by Jones in Section 4 of [10].

    Theorem 4.5. Let $ (S, \cdot, ^+, ^\ast) $ be a $ P $-Ehresmann semigroup with zero as a projection and $ |S| > 1 $. Then $ S $ is projection-primitive if and only if $ S $ is (2, 1, 1)-isomorphic to a generalized category with zero adjoined.

    Proof. We have proved in Proposition 4.3 that every generalized category with zero adjoined is a projection-primitive $ P $-Ehresmann semigroup with zero as a projection. To prove the converse, let $ (S, \cdot, ^+, ^\ast) $ be a projection-primitive $ P $-Ehresmann semigroup with zero $ 0 $ and $ 0\in P_S $. By Lemma 4.2, $ (P_{S}, \times_{S}, 0) $ forms a primitive projection algebra. Denote $ C = S\setminus\{0\} $. Define a partial binary operation $ "\cdot" $ as follows:

    $ \begin{equation} x\cdot y = \left\{\begin{array}{cc} xy & {\rm if }\ xy\not = 0,\\ {\rm undefined} & {\rm if }\ xy = 0, \end{array} \right. \end{equation} $ (4.3)

    where $ xy $ denotes the multiplication of $ x $ and $ y $ in the semigroup $ S $. Define maps

    $ \begin{equation} {\bf d}: C\rightarrow P_S, x\mapsto x^+,\ \ {\bf r}: C\rightarrow P_S, x\mapsto x^\ast. \end{equation} $ (4.4)

    Then we have $ {\bf d}(C)\cup {\bf r}(C)\subseteq (P_S\setminus \{0\}) $ by Proposition 2.7 (1), and $ {\bf d}(e) = e = {\bf r}(e) $ for all $ e\in P_S\setminus \{0\} $ by Lemma 2.2, respectively.

    We assert that $ (C, \cdot, {\bf d}, {\bf r}, P_S) $ is a generalized category over the primitive projection algebra $ (P_S, \times_S, 0) $. First, let $ x, y\in C $. By Proposition 2.7 (2) and (Pr3), (Pr4),

    $ x\cdot y \;{\rm{ is \;defined }}\;\Longleftrightarrow x^\ast y^+ x^\ast = x^\ast $
    $ \Longleftrightarrow y^+x^\ast y^+ = y^+\Longleftrightarrow {\bf r}(x)\times_S {\bf d}(y)\not = 0\Longleftrightarrow {\bf d}(y)\times_S {\bf r}(x)\not = 0. $

    In this case, by the identities defining $ P $-Ehresmann semigroups and Lemma 2.2 we have

    $ {\bf d}(x\cdot y) = {\bf d}(xy) = (xy)^+ = (xy^+)^+ = (xx^\ast y^+)^+ $
    $ = (x(x^\ast y^+)^+)^+ = (xx^\ast y^+ x^\ast)^+ = (xx^\ast)^+ = x^+ = {\bf d}(x). $

    Dually, we have $ {\bf r}(x\cdot y) = {\bf r}(y) $. Thus (G1) holds. Next, let $ x, y, z\in C $, and $ x\cdot y $ and $ y\cdot z $ be defined. Since $ {\bf r}(x\cdot y) = {\bf r}(y) $ and $ {\bf d}(y\cdot z) = {\bf d}(y) $, $ (x\cdot y) \cdot z $ and $ x\cdot (y \cdot z) $ are defined, and so $ (x\cdot y)\cdot z = (xy)z = x(yz) = x\cdot(y\cdot z) $. This gives (G2). Moreover, for $ x\in C $, since $ x^+x = x\not = 0 $, it follows that $ x^+\cdot x $ is defined and $ {\bf d}(x)\cdot x = x $. Dually, $ x\cdot x^\ast $ is defined and $ x\cdot {\bf r}(x) = x $. Thus (G3) is true. Finally, let $ e, f\in P_S $ and $ e\times_S f\not = 0 $. Then $ f\times_S e\not = 0 $ by (Pr4) and $ e = e\times_S f = efe $ by (Pr3). In view of (G2), $ (e\cdot f)\cdot e $ is defined and $ (e\cdot f)\cdot e = (ef)e = efe = e $. Thus (G4) is valid.

    By Proposition 4.3, we have a generalized category with zero adjoined $ (C^0, \cdot, ^\clubsuit, ^\spadesuit) $. We shall show that $ S $ is (2, 1, 1)-isomorphic to $ C^0 $. Define a map $ \psi: S\rightarrow C^0 $ by assigning $ 0\psi = 0 $ and $ x\psi = x $ for all $ x\in C = S\setminus\{0\} $. Obviously, $ \psi $ is a bijection. Let $ x, y\in S $. If $ x = 0 $ or $ y = 0 $, then $ x\psi = 0 $ or $ y\psi = 0 $, whence $ (xy)\psi = 0\psi = 0 = (x\psi)(y\psi) $. Assume that $ x, y\in C = S\setminus\{0\} $. Then $ xy = 0 $ in $ (S, \cdot, ^+, ^\ast) $ if and only if $ x\cdot y $ is not defined in the generalized category $ (C, \cdot, {\bf d}, {\bf r}, P_S) $, if and only if $ xy = 0 $ in $ (C^0, \cdot, ^\clubsuit, ^\spadesuit) $ by (4.3) and Proposition 4.3. This implies that $ (xy)\psi = (x\psi)(y\psi) $ for all $ x, y\in C $. Thus $ \psi $ is a semigroup homomorphism. Furthermore, observe that $ 0^+ = 0 $ by Proposition 2.7 (1) and $ 0^\clubsuit = 0 $ by Proposition 4.3, it follows that $ (0\psi)^\clubsuit = 0^\clubsuit = 0 = 0\psi = 0^+\psi $. Dually, we have $ (0\psi)^\spadesuit = 0^\ast\psi $. If $ x\in C = S\setminus\{0\} $, then $ x^+\in C $ by Proposition 2.7 (1), this implies that $ (x\psi)^\clubsuit = x^\clubsuit = {\bf d}(x) = x^+ = x^+\psi $ by Propositions 4.3 and (4.4). Dually, we have $ (x\psi)^\spadesuit = x^\ast\psi $ for all $ x\in C $. We have shown that $ \psi $ is a (2, 1, 1)-isomorphism. By Lemma 4.2 and the statements before Proposition 4.3, we have the following result appeared in Jones [10].

    Corollary 4.6 ([10]). Let $ (S, \cdot, ^+, ^\ast) $ be an Ehresmann semigroup with zero as a projection and $ |S| > 1 $. Then $ S $ is projection-primitive if and only if $ S $ is (2, 1, 1)-isomorphic to a category with zero adjoined.

    Remark 4.7. Let $ (S, \cdot, ^+, ^\ast) $ be a primitive $ P $-Ehresmann semigroup without zero or with zero 0 but $ 0\not\in P_S $. Let $ \diamond\not\in S $ and define additionally $ x\diamond = \diamond x = \diamond = \diamond\diamond $ and $ \diamond^+ = \diamond^\ast = \diamond $. Then $ (S^\diamond, \cdot, ^+, ^\ast) $ forms a primitive $ P $-Ehresmann semigroup with zero $ \diamond $ and $ \diamond\in P_{S^\diamond} $. In this case, the generalized category associated with $ S^\diamond $ constructed in the proof of Theorem 4.5 is just $ (S, \cdot, ^+, ^\ast) $ and the corresponding generalized category with zero adjoined is just $ (S^\diamond, \cdot, ^+, ^\ast) $. By Remark 4.4, we can think that Theorem 4.5 also works for the semigroups considered in the last section. However, it is trivial certainly in the case.

    In this paper, we have obtained the structures of projection-primitive $ P $-Ehresmann semigroups. As a future work, one can investigate the associative algebras of these semigroups by using the results obtained in the present paper.

    The author expresses his profound gratitude to the referees for the valuable comments and suggestions, which improve greatly the content and presentation of this article. In particular, according to the advices of one of the referees, we rewrite Section 3 (with the help of the results of Lawson [14] provided by the referee) and Section 4. This research is supported by the National Natural Science Foundation of China (11661082). Thanks also go to the editor for the timely communications.

    The author declares there is no conflict of interest.



    [1] Ucal M, Xydis G (2020) Multidirectional relationship between energy resources, climate changes and sustainable development: Technoeconomic analysis. Sustain Cities Soc 60: 102210. https://doi.org/10.1016/j.scs.2020.102210 doi: 10.1016/j.scs.2020.102210
    [2] Yan JC (2021) The impact of climate policy on fossil fuel consumption: Evidence from the Regional Greenhouse Gas Initiative (RGGI). Energ Econ 100: 105333. https://doi.org/10.1016/j.eneco.2021.105333 doi: 10.1016/j.eneco.2021.105333
    [3] Lawati MJA, Jafary T, Baawain TMS, et al. (2019) A mini review on biofouling on air cathode of single chamber microbial fuel cell; prevention and mitigation strategies. Biocatal Agric Biotechnol 22: 101370. https://doi.org/10.1016/j.bcab.2019.101370 doi: 10.1016/j.bcab.2019.101370
    [4] Bist N, Sircar A, Yadav K (2020) Holistic review of hybrid renewable energy in circular economy for valorisation and management. Environ Technol Inno 20: 101054. https://doi.org/10.1016/j.eti.2020.101054 doi: 10.1016/j.eti.2020.101054
    [5] Gul H, Raza W, Lee J, et al. (2021) Progress in microbial fuel cell technology for wastewater treatment and energy harvesting. Chemosphere 281: 130828. https://doi.org/10.1016/j.chemosphere.2021.130828 doi: 10.1016/j.chemosphere.2021.130828
    [6] Yaqoob AA, Ibrahim MNM, Rodríguez-Couto S (2020) Development and modification of materials to build cost-effective anodes for microbial fuel cells (MFCs): An overview. Biochem Eng J 164: 107779. https://doi.org/10.1016/j.bej.2020.107779 doi: 10.1016/j.bej.2020.107779
    [7] Wang HM, Park JD, Ren ZJ (2015) Practical energy harvesting for microbial fuel cells: A review. Environ Sci Technol 49: 3267–3277. https://doi.org/10.1021/es5047765 doi: 10.1021/es5047765
    [8] Jatoi AS, Akhter F, Mazari SA, et al. (2021) Advanced microbial fuel cell for waste water treatment—a review. Environ Sci Pollut Res 28: 5005–5019. https://doi.org/10.1007/s11356-020-11691-2 doi: 10.1007/s11356-020-11691-2
    [9] James C, Meenal SH, Elakkiya S, et al. (2020) Sustainable environment through treatment of domestic sewage using MFC. Mater Today: Proc 37: 1495–1502. https://doi.org/10.1016/j.matpr.2020.07.110 doi: 10.1016/j.matpr.2020.07.110
    [10] Kumar SS, Kumar V, Maylan SK, et al. (2019) Microbial fuel cells (MFCs) for bioelectrochemical treatment of different wastewater streams. Fuel 254: 115526. https://doi.org/10.1016/j.fuel.2019.05.109 doi: 10.1016/j.fuel.2019.05.109
    [11] Zhou J, Li M, Zhou W, et al. (2020) Efficacy of electrode position in microbial fuel cell for simultaneous Cr(Ⅵ) reduction and bioelectricity production. Sci Total Environ 748: 141425. https://doi.org/10.1016/j.scitotenv.2020.141425 doi: 10.1016/j.scitotenv.2020.141425
    [12] Sciarria TP, Arioli S, Gargari G, et al. (2019) Monitoring microbial communities' dynamics during the start-up of microbial fuel cells by high-throughput screening techniques. Biotechnol Rep 21: e00310. https://doi.org/10.1016/j.btre.2019.e00310 doi: 10.1016/j.btre.2019.e00310
    [13] Jung SP, Pandit S (2018) Important factors influencing microbial fuel cell performance, In: Mohan SV, Varjani S, Pandey A (Eds.), Biomass, biofuels, biochemicals: Microbial electrochemical technology, chemicals and remediation, Amsterdam: Elsevier, 377–406. https://doi.org/10.1016/B978-0-444-64052-9.00015-7
    [14] Thygesen A, Poulsen FW, Min B et al. (2009) The effect of different substrates and humic acid on power generation in microbial fuel cell operation. Bioresource Technol 100: 1186–1191. https://doi.org/10.1016/j.biortech.2008.07.067 doi: 10.1016/j.biortech.2008.07.067
    [15] Hwang JH, Kim KY, Lee WH, et al. (2019) Surfactant addition to enhance bioavailability of bilge water in single chamber microbial fuel cells (MFCs). J Hazard Mater 368: 732–738. https://doi.org/10.1016/j.jhazmat.2019.02.007 doi: 10.1016/j.jhazmat.2019.02.007
    [16] Bai X, Lin T, Liang N, et al. (2021) Engineering synthetic microbial consortium for efficient conversion of lactate from glucose and xylose to generate electricity. Biochem Eng J 172: 108052. https://doi.org/10.1016/j.bej.2021.108052 doi: 10.1016/j.bej.2021.108052
    [17] Darmawan R, Widjadja A, Juliastuti SR, et al. (2017) The use of mud as an alternative source for bioelectricity using microbial fuel cells. AIP Conf Proc 1840: 040006. https://doi.org/10.1063/1.4982273 doi: 10.1063/1.4982273
    [18] Purnomo T, Rachmadiarti F (2018) The changes of environment and aquatic organism biodiversity in east coast of Sidoarjo due to Lapindo hot mud. Int J GEOMATE 15: 181–186. https://doi.org/10.21660/2018.48.IJCST60 doi: 10.21660/2018.48.IJCST60
    [19] Wang HM, Song XY, Zhang HH, et al. (2020) Removal of hexavalent chromium in dual-chamber microbial fuel cells separated by different ion exchange membranes. J Hazard Mater 384: 121459. https://doi.org/10.1016/j.jhazmat.2019.121459 doi: 10.1016/j.jhazmat.2019.121459
    [20] GracePavithra K, Jaikumar V, Kumar PS, et al. (2019) A review on cleaner strategies for chromium industrial wastewater: Present research and future perspective. J Clean Prod 228: 580–593. https://doi.org/10.1016/j.jclepro.2019.04.117 doi: 10.1016/j.jclepro.2019.04.117
    [21] Costello RB, Dwyer JT, Merkel JM (2019) Chromium supplements in health and disease, In: Vincent JB (Eds.), The nutritional biochemistry of chromium (Ⅲ), 2 Eds., Amsterdam: Elsevier, 219–249. https://doi.org/10.1016/B978-0-444-64121-2.00007-6
    [22] Rajaeifar MA, Hemayati SS, Tabatabaei M, et al. (2019) A review on beet sugar industry with a focus on implementation of waste-to-energy strategy for power supply. Renew Sust Energ Rev 103: 423–442. https://doi.org/10.1016/j.rser.2018.12.056 doi: 10.1016/j.rser.2018.12.056
    [23] Aghbashlo M, Tabatabaei M, Karimi K, et al. (2017) Effect of phosphate concentration on exergetic-based sustainability parameters of glucose fermentation by Ethanolic Mucor indicus. Sustain Prod Consum 9: 28–36. https://doi.org/10.1016/j.spc.2016.06.004 doi: 10.1016/j.spc.2016.06.004
    [24] Aghbashlo M, Tabatabaei M, Karimi K (2016) Exergy-based sustainability assessment of ethanol production via Mucor indicus from fructose, glucose, sucrose, and molasses. Energy 98: 240–252. https://doi.org/10.1016/j.energy.2016.01.029 doi: 10.1016/j.energy.2016.01.029
    [25] Xiao N, Wu R, Huang JJ, et al. (2020) Anode surface modification regulates biofilm community population and the performance of micro-MFC based biochemical oxygen demand sensor. Chem Eng Sci 221: 115691. https://doi.org/10.1016/j.ces.2020.115691 doi: 10.1016/j.ces.2020.115691
    [26] Srivastava P, Yadav AK, Mishra BK (2015) The effects of microbial fuel cell integration into constructed wetland on the performance of constructed wetland. Bioresource Technol 195: 223–230. https://doi.org/10.1016/j.biortech.2015.05.072 doi: 10.1016/j.biortech.2015.05.072
    [27] Yaqoob AA, Ibrahim MNM, Rafatullah M, et al. (2020) Recent advances in anodes for microbial fuel cells: An overview. Materials 13: 2078. https://doi.org/10.3390/ma13092078 doi: 10.3390/ma13092078
    [28] Yaqoob AA, Ibrahim MNM, Rodríguez-Couto S (2020) Development and modification of materials to build cost-effective anodes for microbial fuel cells (MFCs): An overview. Biochem Eng J 164: 107779. https://doi.org/10.1016/j.bej.2020.107779 doi: 10.1016/j.bej.2020.107779
    [29] Liu JH, Ma ZL, Zhu HJ, et al. (2017) Improving xylose utilisation of defatted rice bran for nisin production by overexpression of a xylose transcriptional regulator in Lactococcus lactis. Bioresource Technol 238: 690–697. https://doi.org/10.1016/j.biortech.2017.04.076 doi: 10.1016/j.biortech.2017.04.076
    [30] Hou TT, Chen N, Tong S, et al. (2019) Enhancement of rice bran as carbon and microbial sources on the nitrate removal from groundwater. Biochem Eng J 148: 185–194. https://doi.org/10.1016/j.bej.2018.07.010 doi: 10.1016/j.bej.2018.07.010
    [31] Fernandes IJ, Calheiro D, Sánchez FAL, et al. (2017) Characterization of silica produced from rice husk ash: Comparison of purification and processing methods. Mat Res 20: 519–525. http://doi.org/10.1590/1980-5373-MR-2016-1043 doi: 10.1590/1980-5373-MR-2016-1043
    [32] Si FZ, Zang YW, Yan L, et al. (2014) Electrochemical Oxygen Reduction Reaction, In: Xing W, Yin GP, Zhang JJ (Eds.), Rotating electrode methods and oxygen reduction electrocatalysts, Amsterdam: Elsevier, 133–170. https://doi.org/10.1016/B978-0-444-63278-4.00004-5
    [33] Fan LP, Xu DD, Li C, et al. (2016) Molasses wastewater treatment by microbial fuel cell with MnO2-modified cathode. Pol J Environ Stud 25: 2349–2356. https://doi.org/10.15244/pjoes/64197 doi: 10.15244/pjoes/64197
    [34] Scott K, Murano C, Rimbu G (2007) A tubular microbial fuel cell. J Appl Electrochem 37: 1063–1068. https://doi.org/10.1007/s10800-007-9355-8 doi: 10.1007/s10800-007-9355-8
    [35] Flimban SE, Sami GA, Ismail, et al. (2019) Review overview of recent advancements in the microbial fuel cell from fundamentals to applications. Energies 12: 3390. https://doi.org/10.3390/en12173390 doi: 10.3390/en12173390
    [36] Ye YY, Ngo HH, Guo WS, et al. (2019) Effect of organic loading rate on the recovery of nutrients and energy in a dual-chamber microbial fuel cell. Bioresource Technol 281: 367–373. https://doi.org/10.1016/j.biortech.2019.02.108 doi: 10.1016/j.biortech.2019.02.108
    [37] Li WW, Sheng GP, Liu XW, et al. (2011) Recent advances in the separators for microbial fuel cells. Bioresource Technol 102: 244–252. https://doi.org/10.1016/j.biortech.2010.03.090 doi: 10.1016/j.biortech.2010.03.090
    [38] Luo Y, Zhang F, Wei B, et al. (2013) The use of cloth fabric diffusion layers for scalable microbial fuel cells. Biochem Eng J 73: 49–52. https://doi.org/10.1016/j.bej.2013.01.011 doi: 10.1016/j.bej.2013.01.011
    [39] Zhuang L, Feng CH, Zhou SG (2010) Comparison of membrane- and cloth-cathode assembly for scalable microbial fuel cells: Construction, performance and cost. Process Biochem 45: 929–934. https://doi.org/10.1016/j.procbio.2010.02.014 doi: 10.1016/j.procbio.2010.02.014
    [40] Absher M (1973) Hemocytometer Counting, In: Kruse PK, Pattersom MK (Eds.), Tissue Culture, London: Academic Press, 395–397.
    [41] Muhaimin, Hawa RII, Hidayati ER, et al. (2021) Test method verification of chrome heksavalen (Cr-Ⅵ) test in waste water using UV-visible spectrophotometer. AIP Conf Proc 2370: 030001. https://doi.org/10.1063/5.0062198 doi: 10.1063/5.0062198
    [42] Wang YJ, Zhao NN, Fang BZ, et al. (2015) Effect of different solvent ratio (ethylene glycol/water) on the preparation of Pt/C catalyst and its activity toward oxygen reduction reaction. RSC Adv 5: 56570–56577. https://doi.org/10.1039/C5RA08068A doi: 10.1039/C5RA08068A
    [43] Raad NK, Farrokhi F, Mousavi SA, et al. (2020) Simultaneous power generation and sewage sludge stabilisation using an air cathode-MFCs. Biomass Bioenerg 140: 105642. https://doi.org/10.1016/j.biombioe.2020.105642 doi: 10.1016/j.biombioe.2020.105642
    [44] Tashiro T, Yoshimura F (2019) A neo-logistic model for the growth of bacteria. Physica A 525: 199–215. https://doi.org/10.1016/j.physa.2019.03.049 doi: 10.1016/j.physa.2019.03.049
    [45] Microbial Growth. Bruslind L, 2021. Available from: https://bio.libretexts.org/Bookshelves/Microbiology/Book%3A_Microbiology_(Bruslind)/09%3A_Microbial_Growth.
    [46] Nicola L, Bååth E (2019) The effect of temperature and moisture on lag phase length of bacterial growth in soil after substrate addition. Soil Biol Biochem 137: 107563. https://doi.org/10.1016/j.soilbio.2019.107563 doi: 10.1016/j.soilbio.2019.107563
    [47] Maier RM, Pepper IL (2015) Bacterial growth, In: Pepper IL, Gerba CP, Gentry TJ (Eds.), Environ microbiol, 3 Eds., London: Academic Press: 37–56. https://doi.org/10.1016/B978-0-12-394626-3.00003-X
    [48] Silveira G, Aquino NS, Schneedorf JM (2020) Development, characterisation and application of a low-cost single chamber microbial fuel cell based on hydraulic couplers. Energy 208: 118395. https://doi.org/10.1016/j.energy.2020.118395 doi: 10.1016/j.energy.2020.118395
    [49] Yarmush M, Pedersen H (1995) Biochemical engineering. Curr Opin Biotech, 6: 189–191. https://doi.org/10.1016/0958-1669(95)80030-1 doi: 10.1016/0958-1669(95)80030-1
    [50] Nuryana IF, Puspitasari R, Juliastuti SR (2020) Study of electrode modification and microbial concentration for microbial fuel cell effectivity from molasses waste and reduction of heavy metal Cr (Ⅵ) by continue dual chamber reactor. IOP Conf Ser: Mater Sci Eng 823: 012016. https://doi.org/10.1088/1757-899X/823/1/012016 doi: 10.1088/1757-899X/823/1/012016
    [51] Kaur R, Marwaha A, Chhabra VA, et al. (2020) Recent developments on functional nanomaterial-based electrodes for microbial fuel cells. Renew Sust Energ Rev 119: 109551. https://doi.org/10.1016/j.rser.2019.109551 doi: 10.1016/j.rser.2019.109551
    [52] Slate AJ, Whitehead KA, Brownson DAC, et al. (2019) Microbial fuel cells: An overview of current technology. Renew Sust Energ Rev 101: 60–81. https://doi.org/10.1016/j.rser.2018.09.044 doi: 10.1016/j.rser.2018.09.044
    [53] Dutta K, Kundu PP (2018) Introduction to microbial fuel cells, In: Progress and recent trends in microbial fuel cells, Amsterdam: Elsevier, 1–6. https://doi.org/10.1016/B978-0-444-64017-8.00001-4
    [54] Wang G, Huang LP, Zhang YF (2008) Cathodic reduction of hexavalent chromium [Cr(Ⅵ)] coupled with electricity generation in microbial fuel cells. Biotechnol Lett 30: 1959. https://doi.org/10.1007/s10529-008-9792-4 doi: 10.1007/s10529-008-9792-4
    [55] Lokman NA, Ithnin AM, Yahya WJ, et al. (2021) A brief review on biochemical oxygen demand (BOD) treatment methods for palm oil mill effluents (POME). Environ Technol Inno 21: 101258. https://doi.org/10.1016/j.eti.2020.101258 doi: 10.1016/j.eti.2020.101258
    [56] Yan FF, Wu C, Cheng YY, et al. (2013) Carbon nanotubes promote Cr(Ⅵ) reduction by alginate-immobilised Shewanella oneidensis MR-1. Biochem Eng J 77: 183–189. https://doi.org/10.1016/j.bej.2013.06.009 doi: 10.1016/j.bej.2013.06.009
    [57] Aoki Y, Sidiq TP (2014) Ground deformation associated with the eruption of Lumpur Sidoarjo mud volcano, east Java, Indonesia. J Volcanol. Geoth Res 278–279: 96–102. https://doi.org/10.1016/j.jvolgeores.2014.04.012 doi: 10.1016/j.jvolgeores.2014.04.012
  • Reader Comments
  • © 2022 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(2320) PDF downloads(147) Cited by(4)

Figures and Tables

Figures(13)  /  Tables(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog