1: \begin{abstract}

2: 

3: The CRS (chemical reaction system) formalism by Hordijk and Steel is a versatile method to model self-sustaining biochemical reaction networks.

4: Its distinguishing feature is the explicit assignment of catalytic function to chemicals that are part of the network.

5: In this work, we show the introduction of subsequent and simultaneous catalytic functions gives rise to an algebraic structure of a semigroup with additional compatible data of idempotent addition and a partial order.

6: The aim of this paper is to demonstrate that such semigroup models are a natural setup to treat the emergence of autocatalytic biochemical reaction networks.

7: We establish the basic algebraic properties of the algebraic models and show that it is natural to define the function of any subnetwork on the whole reaction network in a mathematically correct way.

8: This leads to a natural discrete dynamics on the network, which results from iteratively considering the self-action on a subnetwork by its own function.

9: Finally, we demonstrate that the identification of the maximal self-sustaining subnetwork of any reaction network is very straightforward in our setup.

10: This leads to an algebraic characterization of the lattice of self-sustaining subsets for any CRS.

11: Moreover, we show that algebraic models for reaction networks with a self-sustaining subnetwork cannot be nilpotent, thus establishing a link to the combinatorial theory of finite semigroups.

12: 

13: \keywords{Biochemical reaction networks \and Autocatalytic sets \and Algebraic models \and Finite semigroups}

14: % \PACS{PACS code1 \and PACS code2 \and more}

15: % \subclass{MSC code1 \and MSC code2 \and more}

16: \end{abstract}

17: