Isaac Owusu-Mensah
Department of Integrated Science Education, Akenten Appiah-Menka University of Skills Training and Entrepreneurial Development, Mampong-Ashanti, Ghana.
DOI: 10.4236/apm.2026.161001   PDF    HTML   XML   136 Downloads   724 Views   Citations

Abstract

This paper explores the algebraic structures of the magma monoid $\left(ℳ\left(S\right),⊲\right)$ , where $ℳ\left(S\right)$ comprises all binary operations on $S$ . We investigate the order and generator set of elements characterizing idempotents, almost constant operations, and units, which facilitates our analysis. A procedure for finding inverses of units is presented, along with key results on almost constant operations. Focusing on $\left|S\right|=2$ and $\left|S\right|=3$ , we classify the elements into various categories, determine their orders, and identify generating sets for the magma monoid. The findings inform a concise methodology for identifying the generator sets of an arbitrary element $\ast \in ℳ\left(S\right)$ .

Keywords

Generator Sets, Magma Monoids, Binary Operations, Semigroup, Monogenic Semigroups, Periodic Semigroups, Idempotents

Share and Cite:

1. Introduction and Preliminaries

This paper deals with the monoid structure on the set of all binary operations over a fixed set $S$ , as studied in [1] and [2]. Throughout this paper, $S$ represents a nonempty set. A pair $\left(S,\odot \right)$ , where $\odot$ is a binary operation on $S$ , is said to be a magma. In the literature, magmas are sometimes referred to by various alternative names, such as binars or groupoids. Adopting the notation from [2] and [1], we denote the set of all binary operations on $S$ (all magmas on $S$ ) as $ℳ\left(S\right)$ and refer to that collection as the magma of $S$ . The use of the word “magma” with these two different but strongly related meanings does not pose a problem and helps the narrative flow smoothly.

Observe that for a finite set $S$ with $\left|S\right|=n$ , the cardinality of $ℳ\left(S\right)$ is

$n^{\left(n^2\right)}$ . Observing, for example, that

• when $n=2$ , $\left|ℳ\left(S\right)\right|=2^4=16$ ,

• when $n=3$ , $\left|ℳ\left(S\right)\right|=3^9=19683$ , and

• when $n=4$ , $\left|ℳ\left(S\right)\right|=4^{16}=4294967296$ ,

the reader can see that the size of magma sets grows very rapidly.

The large cardinality of $ℳ\left(S\right)$ represents serious challenges for computational explorations, even for small values of $\left|S\right|$ . Another symptom of the rapid growth of $\left|ℳ\left(S\right)\right|$ is that, when $S$ is infinite, $\left|ℳ\left(S\right)\right|$ is always uncountable. When $\left|S\right|=n$ is finite, we often write $ℳ\left(n\right)$ instead of $ℳ\left(S\right)$ , since clearly sets with the same number of elements induce isomorphic magma monoids.

1.1. Magma Monoids

We consider an operation, $⊲$ , which endows $ℳ\left(S\right)$ with a monoid structure. That operation was independently considered in [3] and in [1] and [2].

We follow the notation and terminology of [1] and [2].

Other papers that followed [3] are [4], [5], and [6]. Fayoumi’s work in [4] provides an elegant characterization of the center of $ℳ\left(S\right)$ and a generalization of commutative operations through commutative maps was explored in [5]. Nebeský introduced a method of describing graphs using binary operations in [7], [8], and [9], which was further developed in [6].

Following the construction in [10], [11] examines ways to lift the $⊲$ operation from $\left|ℳ\left(S\right)\right|$ to sets of graphs whose vertex set is $S$ . The graph-induced operations considered in [12], [13], and [14] include one-value and two-value graph magmas and have applications in the study of amenable bases over infinite-dimensional algebras (e.g., [15]). The graphs inducing such operations are some of the ones explored in [11].

Definition: $⊲$ on $ℳ\left(S\right)$ is defined as follows: for every $x,y$ in $S$ and $\ast ,\circ$ in $ℳ\left(S\right)$ ,

$\left(\ast ⊲\circ \right)\left(x,y\right)=\circ \left(\ast \left(x,y\right),\ast \left(y,x\right)\right).$

The notations $\ast ⊲\circ$ and $⊲\left(\ast ,\circ \right)$ are used interchangeably.

Remark: Let ${\pi }_1$ be the binary operation that projects onto the first component, that is, for all $i,j\in S$ , ${\pi }_1\left(i,j\right)=i$ . Then, $\left(ℳ\left(S\right),⊲\right)$ is a non-commutative monoid, having ${\pi }_1$ as its identity element. For the proof, refer to Theorem 2.1 of [2] or Theorem 2 of [3].

We denote the magma monoid resulting from endowing $ℳ\left(S\right)$ with the operation $⊲$ as $\left(ℳ\left(S\right),⊲\right)$ . This same monoid was denoted $\left(Bin\left(S\right),\square \right)$ in [3] and related works.

The motivation behind the two independent introductions in the literature of the $⊲$ operation, respectively, in [3] and in [1] and [2], is different from each other. To explain the motivation for [1] and [2], we need the following definition.

Definition: For every operation $\star$ in $ℳ\left(S\right)$ , the (left, right, two-sided) outset of $\star$ is defined as the set ($ou{t}_l(\star )$ , $ou{t}_r(\star )$ , $out(\star )$ ), where:

• $ou{t}_l(\star )=\left\{\ast \in ℳ\left(S\right)|\star \text{is left-distributive over}\ast \right\}$ ;

• $ou{t}_r(\star )=\left\{\ast \in ℳ\left(S\right)|\star \text{is right-distributive over}\ast \right\}$ ;

• $out(\star )=\left\{\ast \in ℳ\left(S\right)|\star \text{is two-sided distributive over}\ast \right\}$ .

The motivations behind the two independent introductions in the literature [1] and [2] were the following interesting fact:

Remark: For each operation $\ast$ in the magma monoid $ℳ\left(S\right)$ , the outsets $ou{t}_l(\ast ),ou{t}_r(\ast )$ , and $out(\ast )$ are submonoids of $\left(ℳ\left(S\right),⊲\right)$ , inheriting the identity element ${\pi }_1$ from the parent monoid.

In contrast with the above proposition, the motivation in [3] to study the magma monoid was the ability to see it as a natural extension of the monoid of functions $g:S\to S$ , under composition. Specifically, we formalize these foundational concepts in Definition 1.1 and Remark 1.1, which are lifted from [3], but with notation adjusted to match what we use in this paper.

Definition: Given a function $g:S\to S$ , consider a groupoid $\left(S,\circ ,g\right)$ where the multiplication is given by the formula

$\circ \left(a,b\right)=g\left(a\right).$

Groupoids of this type, $\left(S,\circ ,g\right)$ , are referred to as leftoids.

Given two leftoids $\left(S,{\circ }_1,g\right)$ and $\left(S,{\circ }_2,f\right)$ the operation “$⊲$ ” can be defined as follows.

$\left(S,{\circ }_1,g\right)⊲\left(S,{\circ }_2,f\right)=\left(S,⊲\right),$

where

$a⊲b=\left(a{\circ }_{1}b\right){\circ }_2\left(b{\circ }_{1}a\right).$

Thus, $a⊲b=g\left(a\right)\circ g\left(b\right)=fg\left(a\right)$ and so $\left(S,⊲\right)$ is the leftoid $\left(S,⊲,g\circ f\right)$ . This multiplication corresponds to the composition of functions from $S$ to $S$ .

If $g\left(a\right)=i{d}_S\left(a\right)=a$ , then $\left(S,\circ ,i{d}_S\right)$ has the multiplication $a\circ b=a$ . Since the composition of functions is an associative operation, we obtain the proposition below.

Remark: The collection of leftoids with respect to the operation $⊲$ is a semigroup with identity $\left(S,\circ ,i{d}_S\right)$ .

Proof. See Theorem 1 of [3].

It is customary, when introducing a new semigroup, to consider the extent to which Green’s relations hold for that semigroup and seek information about its idempotents and regular elements. These questions were partially considered for the magma monoid in [2]. The results on idempotent elements relevant to this paper will be reviewed in Section 2.

Definition:

• An element $\ast$ of $ℳ\left(S\right)$ is regular if there exists an element $\circ$ satisfying the two conditions that

$\ast ⊲\circ ⊲\ast =\ast \text{and}\circ ⊲\ast ⊲\circ =\circ .$

• In this case, $\circ$ is called a regular conjugate of $\ast$ . It should be clear that, when this happens, then $\ast$ is a regular conjugate of $\circ$ .

Binary operations on a finite set $S$ have a user-friendly representation, first introduced in [1], as numbers corresponding to the base $\left|S\right|$ representation of the entries in the operation table. While using these representations, the result of applying the operation to an input pair $\left(i,j\right)$ is simply choosing the $ij\text{-th}$ entry in the operation’s name, with $ij$ interpreted as a number in the base $\left|S\right|$ .

Example: Operations in $M\left(S\right)$ for $S=\left\{0,1\right\}$ . Each operation is named with the number between 0 and 15 whose binary representation is given by the entries of the table read from the top.

Example: For the set $S=\left\{0,1,2\right\}$ , the binary operation associated with the number 100 can be represented by its Modulo 3 representation, 000010201. This representation is shown below. The Modulo 3 representations of the other two binary operations, 8229 and 9760, can be similarly determined.

Example: When $S=\left\{0,1\right\}$ , almost all binary operations in $ℳ\left(S\right)$ are regular. The following are the regular conjugates:

1) Self-conjugate operations: $\left\{0,2,3,4,5,8,10,12,13,14,15\right\}$ ;

2) Conjugate pairs: $\left\{1,7\right\}$ .

The only exceptions are operations 6 and 9 (see Example 1.1), which fail to satisfy the regularity condition, namely ${\ast }^3\ne \ast$ .

1.2. Periodic and Monogenic Semigroups

We introduce here the semigroup terminology from [16] that is pertinent to this paper. For more details, readers may consult a standard reference such as [16], [17].

For any subset $\chi$ of $ℳ\left(S\right)$ , the intersection of all subsemigroups of $ℳ\left(S\right)$ that contain $\chi$ is a subsemigroup of $ℳ\left(S\right)$ denoted $\langle \chi \rangle$ .

The set $\chi$ is said to be a generating set of $ℳ\left(S\right)$ if $ℳ\left(S\right)=\langle \chi \rangle$ . If $\chi =\left\{{\ast }_1,{\ast }_2,\cdots ,{\ast }_n\right\}$ for some $n\in \mathbb{N}$ , then we write $\langle \chi \rangle =\langle {\ast }_1,{\ast }_2,\cdots ,{\ast }_n\rangle$ . We consider a special case where the set $\langle \chi \rangle$ is generated by a singleton set $\chi =\{\ast \}$ .

In that case, $\langle \ast \rangle =\left\{\ast ,{\ast }^2,{\ast }^3,\cdots \right\}$ .

Definition: The order of an element $\ast$ in a semigroup is the number of elements in the subsemigroup $\langle \ast \rangle$ .

Notice that, unlike the case of a group, when $\ast$ comes from a monoid and is not invertible, then the subsemigroup $\langle \ast \rangle$ does not contain the identity element of the monoid. An element of a semigroup has order one if and only if it is idempotent.

Definition: A semigroup $S$ is called monogenic if there exists an element $i\in S$ such that $S=\langle i\rangle$ .

Given $S=\left\{i^n|n\in \mathbb{N}\right\}$ , if all these powers are distinct, then $\langle i\rangle$ is isomorphic to the additive semigroup of natural numbers. Otherwise, $\langle i\rangle$ is finite, and the number of elements in it is called the order of the semigroup $\langle i\rangle$ , as well as the order of the element $i\in S$ . If $\langle i\rangle$ is infinite, then $i$ is said to have infinite order.

Definition: A semigroup $S$ is called periodic if to each element $a$ of $S$ there corresponds an idempotent $e$ (i.e., $e=e^2$ ) and a positive integer $m$ such that $a^m=e$ .

A semigroup is periodic if all its elements are of finite order, and every periodic semigroup has at least one idempotent.

In his study of periodic semigroups in [18] (as cited in [19]), Schwarz introduced the relation $\mathcal{K}$ on semigroups, which served as a useful tool in the study of periodic semigroups. We introduce that relation in Definition 1.2. In [19], Miller investigated the properties of periodic semigroups that satisfy the condition $\mathcal{J}\subseteq \mathcal{K}$ , where $\mathcal{J}$ is the Green’s $\mathcal{J}$ relation, viewed as a subset of $S\times S$ . The key results from Miller’s study are summarized here for comparison with the critical results of this paper.

Definition: Let $S$ be a periodic semigroup, and denote its set of idempotents $E_S$ . For $a,b$ in $S$ , $a\mathcal{K}b$ if and only if there exist positive integers $m,n$ and an element $e$ in $E_S$ such that $a^m=b^n=e$ .

This makes $\mathcal{K}$ an idempotent separating equivalence relation on any periodic semigroup. The $\mathcal{K}$ -class containing an element $x$ of $S$ will be denoted $K_x$ . Suppose $e\in E_S$ then $K_e$ is a subsemigroup of $S$ .

Lemma 1 [19]: Let $S$ be a periodic semigroup with $\mathcal{J}\subseteq \mathcal{K}$ and let $e\in E_S$ . Then

1) $ab\in K_e$ if and only if $ba\in K_e$ for $a,b\in S$ ;

2) $ab$ $\mathcal{K}$ $a^{i}b$ for $a,b\in S$ ;

3) $K_e$ is a periodic unipotent subsemigroup of $S$ .

2. Almost-Constant Operations and Units and Idempotents in $\left(ℳ\left(S\right),⊲\right)$

The first step in our exploration of the order of elements in the magma monoid is to study almost constant operations (subsection 2.1), and units and idempotents with respect to $\left(ℳ\left(S\right),⊲\right)$ (respectively, subsection 2.2 and 2.3).

A lower bound for the number of idempotent elements in the magma monoid is stated in Proposition 14, and some examples of idempotent operations are listed in the subsequent remark. In Proposition 2, we prove that if $\ast$ is an almost-constant operation, then ${\ast }^3=\ast$ . We then describe a procedure for finding unit inverses and determine the number of units in $\left(ℳ\left(S\right),⊲\right)$ via Theorem 6.

2.1. Almost Constant Operations

Definition: Given $j\in S$ the binary operation $c_j$ that maps every $\left(x,y\right)\in S\times S$ to $j$ , i.e., $c_j\left(x,y\right)=j$ for all $x,y\in S$ is called the constant operation determined by $j$ .

Let $\mathcal{K}\left(S\right)$ or simply $\mathcal{K}$ represent the set of all constant binary operations on $S$ .

The set of all constant operations, $\mathcal{K}$ , is a two-sided ideal of the magma monoid, since for every $\ast \in ℳ\left(S\right)$ and $\circ \in \mathcal{K}$ , we have $\ast ⊲\circ =\circ$ and $\circ ⊲\ast =c_{i\ast i}$ .

Definition: Given $i,a\in S$ with $i\ne a$ , the operation $c_i\left(a\right)$ is defined as:

$c_i\left(a\right)\left(x,y\right)=\{\begin{array}{ll}a,\hfill & \text{if}x=y=i,\hfill \\ i,\hfill & \text{otherwise}.\hfill \end{array}$

This operation is said to be an almost-constant operation.

Example: For a set $S$ with 5 elements, the subsequent operations are identified as almost-constant operations, and we denote them using the notation from Definition 2.1.

Proposition 2: For any $i,a\in S$ with $i\ne a$ , if $c_i\left(a\right)$ is an almost-constant operation in $ℳ\left(S\right)$ , then it satisfies the property: $c_i{(a)}^3=c_i\left(a\right)$ .

Proof. Given an almost constant operation $c_i\left(a\right)$ in $ℳ\left(S\right)$ let $b_i\left(a\right)=c_i\left(a\right)⊲c_i\left(a\right)$ . Then, straightforward calculations show that $b_i\left(a\right)$ exhibits a structure very similar to $c_i\left(a\right)$ , something that could also be called almost constant, but this time the output $a$ is the norm and $i$ is the exception, with the exception, once again, happening at $\left(i,i\right)$ .

$b_i\left(a\right)\left(x,y\right)=\{\begin{array}{ll}i,\hfill & \text{if}x=y=i,\hfill \\ a,\hfill & \text{otherwise}.\hfill \end{array}$

A second round of computation yields the desired result.

□

Definition: A binary operation $\ast$ is called a unique square (or constant diagonal) operation if it satisfies the property: $\ast \left(a,a\right)=\ast \left(b,b\right)$ for all elements $a,b\in S$ .

Proposition 3: A monoid is a unique square operation if and only if it is a group all of whose elements have order two.

2.2. Units in $\left(ℳ\left(S\right),⊲\right)$

In our search for units within the magma monoid, we encountered two types of operations that could be classified into two separate categories: distinct constant row operations (DCR) and distinct constant column(DCC) operations.

The name distinct constant row operations reflects the fact that, in a table representation, the rows are constant and distinct from each other. A similar reasoning applies to distinct constant column operations, where columns remain constant and distinct.

Lemma 4: If $\ast$ is a distinct constant row or a distinct constant column in $ℳ\left(S\right)$ , then $\ast$ is a unit.

Lemma 4 yields the following inner direct sum decomposition: $DCR\oplus \left\{{\pi }_1,{\pi }_2\right\}=DCC\cup DCR$ .

Theorem 5: $DCC\cup DCR$ is a subgroup of $\mathcal{U}$ , the group of units in $ℳ\left(S\right)$ , and is isomorphic to ${\mathcal{S}}_n\times {\mathbb{Z}}_2$ .

To further our understanding of the magma monoid, we aim to describe its units in a general setting. We define a key function that is vital for this characterization and present the main results. For further details, see [2].

Definition: For each set $S$ with binary operations $\ast$ and $\circ$ in the magma monoid, define a map $\left(\ast \times \circ \zeta \right)$ that takes a pair of elements $\left(x,y\right)$ in $S\times S$ to a new pair $\left(x\ast y,y\circ x\right)$ $S\times S$ .

In light of Definition 0 $\ast ⊲\circ$ can be interpreted as the composition of the operations $\circ$ and $\ast \times \ast \zeta$ .

Theorem 6: Given $\ast \in ℳ\left(S\right)$ , $\ast$ is a unit in the magma monoid if, and only if the map $\ast \times \ast \zeta$ is bijective.

Proof. See Theorem 3.5 in [2].

Example: For $n=4$ , the following operations are units in $\left(ℳ\left(S\right),⊲\right)$ :

$\begin{array}{ccccc}& 3& 2& 1& 0\\ 3& 2& 3& 1& 3\\ 2& 2& 1& 1& 0\\ 1& 0& 3& 0& 2\\ 0& 0& 2& 1& 3\end{array}$ $\begin{array}{lllll}\hfill & 3\hfill & 2\hfill & 1\hfill & 0\hfill \\ 3\hfill & 1\hfill & 3\hfill & 0\hfill & 3\hfill \\ 2\hfill & 2\hfill & 0\hfill & 3\hfill & 2\hfill \\ 1\hfill & 1\hfill & 1\hfill & 3\hfill & 1\hfill \\ 0\hfill & 0\hfill & 0\hfill & 2\hfill & 2\hfill \end{array}$

Using the insights from Definition 0 and Theorem 6, we can now determine the cardinality of the set of units in the magma monoid, denoted by $\mathcal{U}$ , as presented in Proposition 23.

Theorem 7: For a set $S$ of size $n$ , the cardinality of the set of unit elements in

$ℳ\left(S\right)$ , $\mathcal{U}$ , is given by $\left(\begin{array}{l}n\hfill \\ 2\hfill \end{array}\right)!\cdot n!\cdot 2^{\left(\begin{array}{l}n\hfill \\ 2\hfill \end{array}\right)}$ .

Example: For $n=2$ , $\left|\mathcal{U}\right|=\left(\begin{array}{l}2\hfill \\ 2\hfill \end{array}\right)!2!2^{{ }^{\left(\begin{array}{l}2\hfill \\ 2\hfill \end{array}\right)}}=4$ ; For $n=3$ , $\left|\mathcal{U}\right|=\left(\begin{array}{l}3\hfill \\ 2\hfill \end{array}\right)!3!2^{{}^{\left(\begin{array}{l}3\hfill \\ 2\hfill \end{array}\right)}}=144$ .

Procedure for Finding Inverse of Units in $\left(ℳ\left(S\right),⊲\right)$

The following procedure outlines the steps to determine the inverse of a binary operation $\ast$ belonging to the set $\mathcal{U}$ . Let $x_1,x_2,\cdots ,x_n\in S$ . Then:

1) To obtain the elements for the diagonals, iterate through each index $i$ in the set $\left\{1,2,\cdots ,n\right\}$ . For each $i$ , compute the product $x_i\ast x_i$ . If the result of this product is $x_j$ (i.e., $x_i\ast x_i=x_j$ ), then the inverse operation applied to $x_j\ast x_j$ yields $x_i$ (i.e., ${\ast }^{-1}\left(x_j,x_j\right)=x_i)$ .

2) Given that $i$ is not equal to $j$ and $m$ is not equal to $n$ , consider the expression $\left(\left(x_i\ast x_j\right),\left(x_j\ast x_i\right)\right)$ . Suppose this expression evaluates to $\left(x_n,x_m\right)$ . Then, applying the inverse operation to $\left(x_n,x_m\right)$ yields $x_i$ (i.e., ${\ast }^{-1}\left(x_n,x_m\right)=x_i$ ), and applying the inverse operation to $\left(x_m,x_n\right)$ yields $x_j$ (i.e., ${\ast }^{-1}\left(x_m,x_n\right)=x_j$ ).

3) Proceed to Step 2 and systematically vary the values of $x_i$ and $x_j$ until all the cells in the inverse table ${*}^{-1}$ are completely filled.

Following the procedure outlined above, we successfully determined the inverse of the operation described in Example 2.2.1.

Example: Given the binary operation $\ast$ defined by the table:

$\begin{array}{ccccc}\ast & 3& 2& 1& 0\\ 3& 2& 3& 1& 3\\ 2& 2& 1& 1& 0\\ 1& 0& 3& 0& 2\\ 0& 0& 2& 1& 3\end{array}$

We can determine the inverse of $\ast$ by following the three-step procedure outlined earlier.

Step 1: From the operation table for $\ast$ , we observe that $\ast \left(3,3\right)=2$ , which implies that ${\ast }^{-1}\left(2,2\right)=3$ . Continuing this process, we find additional inverse relations:

• ${\ast }^{-1}\left(3,3\right)=0$

• ${\ast }^{-1}\left(1,1\right)=2$

• ${\ast }^{-1}\left(0,0\right)=1$

Steps 2 and 3: Reading from the operation table for $\ast$ we find the following inverse relations:

• $\left(\ast \left(3,2\right),\ast \left(2,3\right)\right)=\left(3,2\right)\Rightarrow {\ast }^{-1}\left(3,2\right)=3,{\ast }^{-1}\left(2,3\right)=2$

• $\left(\ast \left(3,1\right),\ast \left(1,3\right)\right)=\left(1,0\right)\Rightarrow {\ast }^{-1}\left(1,0\right)=3,{\ast }^{-1}\left(0,1\right)=1$

• $\left(\ast \left(3,0\right),\ast \left(0,3\right)\right)=\left(3,0\right)\Rightarrow {\ast }^{-1}\left(3,0\right)=3,{\ast }^{-1}\left(0,3\right)=0$

• $\left(\ast \left(2,1\right),\ast \left(1,2\right)\right)=\left(1,3\right)\Rightarrow {\ast }^{-1}\left(1,3\right)=2,{\ast }^{-1}\left(3,1\right)=1$

• $\left(\ast \left(2,0\right),\ast \left(0,2\right)\right)=\left(0,2\right)\Rightarrow {\ast }^{-1}\left(0,2\right)=2,{\ast }^{-1}\left(2,0\right)=0$

• $\left(\ast \left(1,0\right),\ast \left(0,1\right)\right)=\left(2,1\right)\Rightarrow {\ast }^{-1}\left(2,1\right)=1,{\ast }^{-1}\left(1,2\right)=0$

Following the procedure, we obtain the inverse operation table ${\ast }^{-1}$ as:

${\ast }^{-1}=\begin{array}{lllll}\hfill & 3\hfill & 2\hfill & 1\hfill & 0\hfill \\ 3\hfill & 0\hfill & 3\hfill & 1\hfill & 3\hfill \\ 2\hfill & 2\hfill & 3\hfill & 1\hfill & 0\hfill \\ 1\hfill & 2\hfill & 0\hfill & 2\hfill & 3\hfill \\ 0\hfill & 0\hfill & 2\hfill & 1\hfill & 1\hfill \end{array}$

2.3. Idempotents in $\left(ℳ\left(S\right),⊲\right)$

Definition: An operation $\ast \in ℳ\left(\mathcal{S}\right)$ is said to be an idempotent operation with respect to $⊲$ if $\left(\ast ⊲\ast \right)\left(a,b\right)=\ast \left(a,b\right)$ , for all $a,b\in S$ .

In brief, $\ast$ is idempotent if ${\ast }^2=\ast$ . The set of all idempotent elements is not a subsemigroup of the $\left(ℳ\left(S\right),⊲\right)$ [2].

Our search for idempotent elements in $\left(ℳ\left(S\right),⊲\right)$ commences with commutative binary operations within $ℳ\left(S\right)$ . We enumerate and classify these operations (Definition 2.3), revealing three distinct categories. Notably, in Proposition 9, we show that idempotent elements are confined to two of these categories. Clearly, if $\left|S\right|=n$ , then the cardinality of the set of commutative binary operations in the magma monoid, $ℳ\left(S\right)$ is given by $n^{\frac{n\left(n+1\right)}{2}}$ .

Definition: We define the following sets on the magma monoid:

$\begin{array}{l}\mathcal{Y}=\{\ast \in ℳ\left(S\right)|\ast \text{is}\text{commutative}\text{and}\text{there}\text{is}\text{a}j\in S\\ \text{such}\text{that}\ast \left(i,i\right)=j\text{for}\text{all}i\in S\}\end{array}$

$\mathcal{W}=\left\{\ast \in ℳ\left(S\right)|\ast \text{is}\text{commutative}\text{and}\ast \left(i,i\right)=i\text{for}\text{all}i\in S\right\}$

$\begin{array}{l}\mathcal{V}=\{\ast \in ℳ\left(S\right)|\ast \text{is}\text{commutative}\text{and}\text{if}\ast \left(i,j\right)=a\\ \text{then}\ast \left(a,a\right)\ne a\text{for}\text{all}i,j,a\in S\}\end{array}$

The set $\mathcal{Y}$ consists of those binary operations, in Definition 0, to which we refer as unique square operations (or constant diagonal operations).

Proposition 8:

1) The set $\mathcal{Y}$ is a two-sided ideal of $ℳ\left(S\right)$ .

2) Given $\ast \in ℳ\left(S\right)$ , if $\ast \in \mathcal{Y}$ then ${\ast }^2\in \mathcal{K}$ , the set of all constant binary operations.

Proof.

1) Let $\ast \in \mathcal{Y}$ and choose $k\in S$ such that $\ast \left(x,x\right)=k$ for all $x\in S$ . For $\circ \in ℳ\left(S\right)$ with $\circ \left(k,k\right)=j$ , we have:$\left(\ast ⊲\circ \right)\left(x,x\right)=j$ for all $x\in S$ making $\ast ⊲\circ$ have a constant diagonal.

For $x\ne y$ , letting $\ast \left(x,y\right)=\ast \left(y,x\right)=z$ yields:

$\left(\ast ⊲\circ \right)\left(x,y\right)=\circ \left(\ast \left(x,y\right),\ast \left(y,x\right)\right)=\circ \left(z,z\right)$ and

$\left(\ast ⊲\circ \right)\left(y,x\right)=\circ \left(\ast \left(x,y\right),\ast \left(y,x\right)\right)=\circ \left(z,z\right).$

Thus, $\ast ⊲\circ$ is commutative. Consequently, $\ast ⊲\circ \in \mathcal{Y}$ . A similar argument yields $\circ ⊲\ast \in \mathcal{Y}$ .

2) Given $\circ \in \mathcal{Y}$ , if $j\in S$ is such that $\circ \left(x,x\right)=j$ for all $x\in S$ , we will show that ${\circ }^2\left(x,y\right)=j$ , for all $x,y\in S$ . We have:

${\circ }^2\left(x,y\right)=\circ \left(\circ \left(x,y\right),\circ \left(y,x\right)\right)=\circ \left(\circ \left(x,y\right),\circ \left(x,y\right)\right)$ , since $\circ$ is commutative. Therefore, ${\circ }^2=c_j$ , a constant operation, as claimed.

Proposition 9: Given $\ast \in ℳ\left(S\right)$ ,

1) if $\ast \in \mathcal{W}$ then $\ast$ is an idempotent operation.

2) if $\ast \in \mathcal{Y}$ then $\ast$ is an idempotent element if and only if it is a constant operation.

Proof.

1) Given $\ast \in \mathcal{W}$ and $x,y\in S$ . We can easily verify that for all $x\in S$ , ${\ast }^2\left(x,x\right)=x=\ast \left(x,x\right)$ and ${\ast }^2\left(x,y\right)=\ast \left(x,y\right)$ . Therefore, $*$ is idempotent.

2) Given $\circ \in \mathcal{Y}$ and $x,y\in S$ , we have two cases

(a) if $\circ \in \mathcal{K}$ , then ${\circ }^2=\circ$ , so $\circ$ is idempotent;

(b) if $\circ \notin \mathcal{K}$ , then by Proposition 8 ${\circ }^2\in \mathcal{K}$ , so $\circ$ itself is not idempotent.

Hence, $\circ$ is idempotent if and only if it is a constant operation.

Proposition 10: Given $\ast \in ℳ\left(S\right)$ , if $\ast \in \mathcal{V}$ then $\ast$ is not an idempotent element.

Proof. Given $\circ \in \mathcal{V}$ , choose $x,y,j,i\in S$ such that $\circ \left(x,y\right)=j$ , $\circ \left(j,j\right)=i$ , and $i\ne j$ . Then we have:

${\circ }^2\left(x,y\right)=\circ \left(\circ \left(x,y\right),\circ \left(y,x\right)\right)=\circ \left(\circ \left(x,y\right),\circ \left(x,y\right)\right)=\circ \left(j,j\right)=i$

Thus, ${\circ }^2\left(x,y\right)\ne \circ \left(x,y\right)$ , since ${\circ }^2\left(x,y\right)=i$ and $\circ \left(x,y\right)=j$ , and $i\ne j$ .

Whereas the idempotency of the commutative binary operations in $\left(ℳ\left(S\right),⊲\right)$ depends on the nature of the diagonal arrangement of the operation, the idempotency of the non-commutative binary operations, in most cases, is independent of the diagonal arrangement.

Proposition 11: Given an idempotent, non-commutative binary operation $\ast \in ℳ\left(S\right)$ with the properties:

1) $\ast \left(x,y\right)\ne \ast \left(y,x\right)$ for all $x,y\in S$ (non-commutativity);

2) $\ast \left(i,i\right)=i$ for all $i\in S$ (idempotence on the diagonal).

Define a new binary operation $\circ$ on $S$ as follows:

$\circ \left(a,b\right)=\{\begin{array}{ll}j\hfill & \text{if}a=b\hfill \\ \ast \left(a,b\right)\hfill & \text{otherwise}\hfill \end{array}$

Then, the operation $\circ$ is also idempotent in $ℳ\left(S\right)$ .

Proof. Let $\ast$ be an idempotent, non-commutative binary operation that satisfies the idempotence on the diagonal condition. Choose $\circ \in ℳ\left(S\right)$ such that $\circ \left(x,y\right)=\ast \left(x,y\right)$ for all $x,y\in S$ with $x\ne y$ , and $\circ \left(x,y\right)=j$ if $x=y$ . We show $\circ$ is idempotent, i.e., ${\circ }^2\left(x,y\right)=\circ \left(x,y\right)$ for all $x,y\in S$ .

We consider two cases:

1) $x\ne y$ for all $x,y\in S$ :

$\begin{array}{c}{\circ }^2\left(x,y\right)=\circ \left(\circ \left(x,y\right),\circ \left(y,x\right)\right)=\circ \left(\ast \left(x,y\right),\ast \left(y,x\right)\right)\\ =\ast \left(\ast \left(x,y\right),\ast \left(y,x\right)\right)={\ast }^2\left(x,y\right)=\ast \left(x,y\right)=\circ \left(x,y\right)\end{array}$ .

Hence, ${\circ }^2\left(x,y\right)=\circ \left(x,y\right)$ .

2) $x=y$ for all $x,y\in S$ :

Let $\circ \left(x,x\right)=j$ for all $x\in S$ . Then ${\circ }^2\left(x,x\right)=\circ \left(\circ \left(x,x\right),\circ \left(x,x\right)\right)=\circ \left(j,j\right)=j$ . Hence, ${\circ }^2\left(x,x\right)=\circ \left(x,x\right)$ .

Therefore, $\circ$ is idempotent.

Example: For a set $S$ with three elements, the following operations are idempotent in $\left(ℳ\left(S\right),⊲\right)$ :

Proposition 12:

Binary operations in $ℳ\left(S\right)$ that differ from the identity operation ${\pi }_1$ in exactly one entry are idempotent with respect to $⊲$ .

Proof. Suppose there exists a pair $\left(a,b\right)$ such that $\ast \left(a,b\right)=t\ne a$ and

$\ast \left(c,d\right)=c={\pi }_1\left(c,d\right)$ for all $\left(c,d\right)\ne \left(a,b\right)$ then, $\ast \left(c,d\right)={\pi }_1\left(c,d\right)=c$ and

$\ast ⊲\ast \left(c,d\right)=\ast \left(\ast \left(c,d\right),\ast \left(d,c\right)\right)=\ast \left(c,d\right)=c$ . And

$\ast ⊲\ast \left(a,b\right)=\ast \left(\ast \left(a,b\right),\ast \left(b,a\right)\right)=\ast \left(t,b\right)=t$ . □

Theorem 13:

Let $T$ be a subset of $S$ with cardinalities $\left|S\right|=n$ and $\left|T\right|=m$ . Suppose $\ast$ is an idempotent binary operation in $ℳ\left(T\right)$ with an element $l\in T$ such that $\ast \left(l,l\right)=l$ . Then, the binary operation $\odot$ defined on $ℳ\left(S\right)$ as follows is also idempotent:

$\odot \left(x,y\right)=\{\begin{array}{ll}\ast \left(x,y\right)\hfill & \text{if}\left(x,y\right)\in T\times T\hfill \\ l\hfill & \text{if}\left(x,y\right)\notin T\times T\hfill \end{array}$

Proof. See [2] □

We characterize the idempotent and non-idempotent elements in $\left(ℳ\left(S\right),⊲\right)$ in Remark 2.3.

Remark: By applying Theorem 13 and Proposition 12, we can identify the following as some of the idempotent operations in the magma monoid ($\left|S\right|\ge 3$ ):

• All constant operations;

• All the elements in the set $\mathcal{W}$ ;

• The identity;

• Operations that differ from the identity by only one entry;

• Idempotents derived from the set with $n-1$ elements.

The following operations in $ℳ\left(S\right)$ are non-idempotents:

• Non-identity unitary operations;

• Almost constant operations;

• All elements of the set $\mathcal{V}$ ;

• All the elements in the set $\mathcal{Y}\backslash \mathcal{K}$ ;

• Operations that differ from constant operations by exactly one non-diagonal entry.

Despite the empty intersection of all idempotent sets referenced in Remark 0, nonempty intersections exist between some sets, revealing they are not fully pairwise disjoint. As a result, determining a precise lower bound for the number of idempotent elements in the magma monoid poses a significant challenge.

We aim to refine the lower bound established in Proposition 2.9 of [2], as the set of constant operations and the identity have disjoint intersections with all elements in the set $\mathcal{W}$ . Consequently, we present an enhanced lower bound for the number of idempotent elements in Proposition 14.

The sets of non-identity unitary operations, almost constant operations, and elements in $\mathcal{Y}$ are pairwise disjoint. By leveraging the cardinalities of these sets, we can establish a tighter upper bound on the number of idempotent operations within the magma monoid.

Proposition 14 gives a bound for the number of idempotents in the magma monoid $ℳ\left(S\right)$ , where the underlying set $S$ has $n$ elements.

Proposition 14: For $\left|S\right|=n\ge 3$ , let $ℐ\subset \left(ℳ\left(S\right),⊲\right)$ denote the set of all idempotent elements in the magma monoid. Then, the following inequality holds:

$n+{\displaystyle \sum }_{m=1}^n\left(\begin{array}{l}n\hfill \\ m\hfill \end{array}\right)m^{\left(\begin{array}{l}m\hfill \\ 2\hfill \end{array}\right)}m\le \left|ℐ\right|\le n^{n^2}-\left(\begin{array}{l}n\hfill \\ 2\hfill \end{array}\right)!n!2^{\left(\begin{array}{l}n\hfill \\ 2\hfill \end{array}\right)}+1$

Example: For $n=2$ , $8\le \left|I\right|\le 13$ ; For $n=3$ , $101\le \left|I\right|\le 19540$ .

3. Main Results

To gain insight into the structure of $ℳ\left(S\right)$ for arbitrary sets $S$ , we first examine the specific cases of $ℳ\left(2\right)$ and $ℳ\left(3\right)$ , where $2=\left\{0,1\right\}$ and $3=\left\{0,1,2\right\}$ , as these small, finite cases provide a concrete foundation for understanding the general pattern and properties of $ℳ\left(S\right)$ .

3.1. Order of Elements for $ℳ\left(2\right)$ and $ℳ\left(3\right)$

Extending our previous analysis in Section 2, this section presents our results on the order of elements in the magma monoid for $\left|S\right|=2$ and $\left|S\right|=3$ . We group the elements into six distinct categories in Proposition 15 and investigate their order within each category, drawing on insights from Lemmas 16 and 17.

Proposition 15: The elements of $ℳ\left(S\right)$ can be categorized into the following six classes for both $\left|S\right|=2$ and $\left|S\right|=3$ :

1) Non-identity units

2) Idempotents

3) Almost constant operations

4) Commutative and unique square operations

5) Non-commutative and unique square operations

6) Other operations

Lemma 16: For $\left|S\right|=2$ , the magma monoid contains seven idempotent elements, which form the set

$ℐ=\left\{0,4,8,12,13,14,15\right\}$

These idempotents can be further classified into:

1) Identity: 12

2) Constant operations: $\left\{0,15\right\}$

3) Elements from the set $\mathcal{W}$ : $\left\{8,14\right\}$

4) Operations that are one entry different from the identity: $\left\{4,13\right\}$

Lemma 17: For $\left|S\right|=2$ , the element in the magma monoid of order 2 are categorized as follows:

1) Non-identity elements: $\left\{3,5,10\right\}$

2) Almost-constant operations: $\left\{1,7\right\}$

3) Commutative and unique square operations: $\left\{6,9\right\}$

4) Non-commutative and unique square operations: $\left\{2,11\right\}$

Theorem 18 For $\left|S\right|=2$ , if $\ast \in ℳ\left(S\right)$ , then the order of $\ast$ satisfies $1\le \langle \ast \rangle \le 2$

Proof. By Lemmas 16 and 17, we have exhaustively classified all the possible elements in $ℳ\left(S\right)$ . Hence, any element $\ast \in ℳ\left(S\right)$ must satisfy one of the conditions listed in these lemmas, implying that the order $\ast$ is either 1 or 2. □

Remark: Note that the above results imply that $ℳ\left(S\right)$ is not a monogenic semigroup when $\left|S\right|=2$ , since every element has order 1 or 2.

Following from Definition 1.2 and Theorem 18, we can classify the elements of $ℳ\left(2\right)$ into the following idempotent classes, along with their respective elements (see Example 1.1 for the corresponding operations, denoted by numbers):

1) ${\mathcal{K}}_0=\left\{0,6\right\}$

2) ${\mathcal{K}}_4=\left\{2,4\right\}$

3) ${\mathcal{K}}_8=\left\{7,8\right\}$

4) ${\mathcal{K}}_{12}=\left\{3,5,10,12\right\}$

5) ${\mathcal{K}}_{13}=\left\{11,13\right\}$

6) ${\mathcal{K}}_{14}=\left\{1,14\right\}$

7) ${\mathcal{K}}_{15}=\left\{9,15\right\}$

Proposition 19: For any set $S$ with exactly 2 elements and any operation $\ast \in ℳ\left(2\right)$ , the set ${\mathcal{K}}_{*}$ forms a commutative subsemigroup of $ℳ\left(2\right)$ .

Proposition 20: Given a commutative binary operation $\ast \in ℳ\left(S\right)$ for $\left|S\right|=3$ , there exists an idempotent operation $e\in ℳ\left(S\right)$ such that ${\ast }^n=e$ for some $n$ with $1\le n\le 4$ .

Proof. Consider a commutative binary operation $\ast$ in the semigroup $\left(ℳ\left(S\right),⊲\right)$ , and let $e\in ℳ\left(S\right)$ be an idempotent element. The idempotency of $\ast$ is influenced by the configuration of its diagonal elements. To explore this, we examine various scenarios related to the diagonal arrangement of the commutative binary operation $\ast$ within $ℳ\left(S\right)$ .

Case 1: If $\ast \left(i,i\right)=i$ for all $i\in S$ , then $\ast \in {\mathcal{T}}_I\subseteq ℳ\left(S\right)$ and, by Proposition 9 $\ast$ is idempotent. Hence, $\ast =e$ .

Case 2: If $\ast \left(i,i\right)=j$ for all $i\in S$ with $i\ne j$ , then $\ast \in {\mathcal{T}}_K$ and, by Proposition 10 ${\ast }^2\in \mathcal{K}$ . Hence, ${\ast }^2=e$ .

Case 3: For $i,j,k\in S$ , let $\ast \left(i,i\right)=i,\ast \left(j,j\right)=j$ and $\ast \left(k,k\right)\ne k$ . Then, we can easily verify that $\ast$ is idempotent, i.e., ${\ast }^2=\ast$ . Hence, $\ast =e$ .

Case 4: For $i,j,k\in S$ , let $\ast \left(i,i\right)=i,\ast \left(j,j\right)\ne j$ and $\ast \left(k,k\right)\ne k$ . If we choose $\ast \left(j,j\right)=k$ , $\ast \left(k,k\right)=j$ , then we have ${\ast }^2\left(j,j\right)=j$ and ${\ast }^2\left(k,k\right)=k$ , so ${\ast }^2\left(i,i\right)=i$ for all $i\in S$ . Thus ${\ast }^2$ is idempotent by Proposition 9. Similarly, if we choose either $\ast \left(j,j\right)=i$ or $\ast \left(k,k\right)=i$ , then we have

${\ast }^2\left(i,i\right)={\ast }^2\left(j,j\right)={\ast }^2\left(k,k\right)=i$ and so ${\ast }^2\in {\mathcal{T}}_K$ and by Proposition 10,

${\left({\ast }^2\right)}^2\in K$ . Therefore, ${\ast }^4=e$ .

Case 5: For $i,j,k\in S$ such that $\ast \left(i,i\right)\ne i$ for all $i\in S$ , and $\ast \left(i,i\right),\ast \left(j,j\right)$ and $\ast \left(k,k\right)$ are pairwise distinct. If we choose $\ast \left(i,i\right)=j$ , $\ast \left(j,j\right)=k$ and $\ast \left(k,k\right)=i$ then we can verify that ${\ast }^3\left(i,i\right)=i$ for all $i\in S$ . Therefore, ${\ast }^3=e$ .

Case 6: For $i,j,k\in S$ , such that $\ast \left(i,i\right)\ne i$ for all $i\in S$ , and two of the diagonal elements $\ast \left(i,i\right),\ast \left(j,j\right)$ and $\ast \left(k,k\right)$ assume the same value. If we choose $*\left(i,i\right)=*\left(k,k\right)=j$ and $*\left(j,j\right)=k$ then ${\ast }^2\left(i,i\right)=k$ , ${\ast }^2\left(j,j\right)=j$ and ${\ast }^2\left(k,k\right)=k$ . Thus, from Case 2, ${\ast }^2$ is idempotent, and therefore ${\ast }^2=e$ .

The configurations of the diagonal elements examined above cover all possible cases of commutative binary operations.

Theorem 21: For $\left|S\right|=3$ , if $\ast \in ℳ\left(S\right)$ is a commutative binary operation, then the order of $\ast$ satisfies $1\le \left|\langle \ast \rangle \right|\le 7$ .

Proof. By Proposition 20, if $e$ is an idempotent element in $ℳ\left(S\right)$ then there exists an integer $n$ such that ${\ast }^n=e$ where $1\le n\le 4$ . We now examine the following cases to determine the order of $\ast$ :

Case 1: If $\ast =e$ then ${\ast }^n=e$ for all $n\ge 1$ , so $\langle \ast \rangle =\{\ast \}$ and $\left|\langle \ast \rangle \right|=1$ .

Case 2: If ${\ast }^2=e$ , then ${\ast }^{2n}={\ast }^2=e$ for all $n\ge 1$ so we have

$\langle \ast \rangle =\{\begin{array}{ll}\left\{\ast ,{\ast }^2\right\}\hfill & \text{if}{\ast }^3=\ast \hfill \\ \left\{\ast ,{\ast }^2,{\ast }^3\right\}\hfill & \text{otherwise}\hfill \end{array}$

so $2\le \left|\langle \ast \rangle \right|\le 3$ .

Case 3: If ${\ast }^3=e$ , then $\left|\langle \ast \rangle \right|$ is either 3 or 5 since

$\langle \ast \rangle =\{\begin{array}{ll}\left\{\ast ,{\ast }^2,{\ast }^3\right\}\hfill & \text{if}{\ast }^4=\ast \hfill \\ \left\{\ast ,{\ast }^2,{\ast }^3,{\ast }^4,{\ast }^5\right\}\hfill & \text{otherwise}\hfill \end{array}$

Case 4: If ${\ast }^4=e$ , then $4\le \left|\langle \ast \rangle \right|\le 7$ since

$\langle \ast \rangle =\{\begin{array}{ll}\left\{\ast ,{\ast }^2,{\ast }^3,{\ast }^4\right\}\hfill & \text{if}{\ast }^5=\ast \hfill \\ \left\{\ast ,{\ast }^2,{\ast }^3,{\ast }^4,{\ast }^5\right\}\text{or}\left\{\ast ,{\ast }^2,{\ast }^3,{\ast }^4,{\ast }^5,{\ast }^6\right\}\text{or}\left\{\ast ,{\ast }^2,{\ast }^3,{\ast }^4,{\ast }^5,{\ast }^6,{\ast }^7\right\}\hfill & \text{otherwise}\hfill \end{array}$

Therefore, we have shown that the order of any commutative binary operation $\ast$ on a set S with $\left|S\right|=3$ is bounded between 1 and 7, inclusive.

Proposition 22: Given a non-commutative binary operation $\ast \in ℳ\left(S\right)$ for $\left|S\right|=3$ the following hold:

1) If $\ast \left(i,i\right)=i$ for all $i\in S$ and $\ast$ is not a unit, then there exists an idempotent operation $e\in ℳ\left(S\right)$ such that ${\ast }^n=e$ for some $n$ with $2\le n\le 4$ .

2) If $\ast \left(i,i\right)=j$ for all $i\in S$ , then there exists an idempotent operation $e\in ℳ\left(S\right)$ such that ${\ast }^n=e$ for some $n$ with $2\le n\le 4$ .

3) If there exists $j\in S$ such $\ast \left(i,j\right)=j=\ast \left(j,i\right)$ for all $i\in S$ then there exists an idempotent operation $e\in ℳ\left(S\right)$ , such that ${\ast }^2=e$ .

Proof. By employing a similar line of reasoning as in the proof of Proposition 20, it can be shown that all three propositions hold true. □

The order of every unit element in $\left(ℳ\left(S\right),⊲\right)$ is less than or equal to 144 (See Example 2.2).

Remark: For any operation $\ast$ on the set $S$ with $\left|S\right|=3$ , the order of the subsemigroup generated by $\ast$ is at most 144, i.e., $\left|\langle \ast \rangle \right|\le 144$ .

3.2. Order of an Element $\ast \in ℳ\left(S\right)$

Proposition 23: For any element $\ast \in ℳ\left(S\right)$ , the order of the subsemigroup generated by $\ast$ is strictly less than the cardinality of $ℳ\left(S\right)$ , i.e., $\left|\langle \ast \rangle \right|<\left|ℳ\left(S\right)\right|$ . In other words, $ℳ\left(S\right)$ is not generated by any single element.

Proposition 24: The magma monoid, $\left(ℳ\left(S\right),⊲\right)$ is not a monogenic semigroup.

Proposition 25:

1) The order of the subsemigroup generated by an operation $\ast \in ℳ\left(S\right)$ is 1 if and only if $\ast$ is idempotent.

2) The order of every almost-constant operation, $c_i\left(a\right)$ , is 2.

Proposition 26: Let $e$ be an idempotent element in $ℳ\left(S\right)$ if $\ast ⊲\ast =e$ then, either

1) ${\ast }^3=\ast$ in which case $\ast$ generate a subsemigroup of two elements, $\left\{\ast ,{\ast }^2\right\}$ .

2) ${\ast }^3=\circ$ in which case $\ast$ generates a subsemigroup of three elements, $\left\{\ast ,{\ast }^2,{\ast }^3\right\}$ .

Proof. If $\ast ⊲\ast =e$ then the element $\ast$ has a cyclic pattern of order 4 where ${\ast }^4={\ast }^2$ and, ${\ast }^n={\ast }^{n\left(\mathrm{mod}4\right)}$ for all $n\ge 5$ . This implies that the powers of $\ast$ are periodic, with ${\ast }^n\in \left\{\ast ,{\ast }^2,{\ast }^3\right\}$ . Consequently, the subsemigroup generated by $\ast$ has only two possible forms:

1) If ${\ast }^3=\ast$ then the subsemigroup is, $\langle \ast \rangle =\left\{\ast ,{\ast }^2\right\}$ .

2) Otherwise, the subsemigroup is $\langle \ast \rangle =\left\{\ast ,{\ast }^2,{\ast }^3\right\}$ .

3.3. Minimal Spanning Set of $ℳ\left(S\right)$

Let $S$ be a set with $\left|S\right|=n$ . The monoid $ℳ\left(S\right)$ exhibits the following decomposition properties:

1) $ℳ\left(S\right)$ decomposes into commutative and non-commutative elements.

2) The commutative subset is closed under $⊲$ and forms a two-sided ideal, implying it cannot generate $ℳ\left(S\right)$ .

3) Non-commutative elements split into units and non-units.

4) The set of units is closed and contains an isolated subgroup generated by distinct constant row and column permutations.

5) By Theorem 5, $DCC\cup DCR$ is a finitely generated subgroup of $\mathcal{U}$ generated by precisely two elements.

From these decompositions, we deduce:

• At least two elements generate the units.

• One additional non-unit element generates the non-commutative subset.

• One commutative element is required.

Therefore, the minimal generating set for $ℳ\left(S\right)$ consists of at least four elements.

Proposition 27: For $n=2$ , the set $\mathcal{T}=\left\{1,2,3,5\right\}$ spans $ℳ\left(S\right)$ , and it is a minimal generating set.

Proof. We can decompose the elements of $ℳ\left(2\right)$ into the following:

1) Units: $\left\{3,5,10,12\right\}$ (distinct constant row/column permutations).

2) Non-units, Non-commutative: $\left\{2,4,11\right\}$ .

3) Commutative: $\left\{0,1,6,7,8,9,14,15\right\}$ .

The set $\mathcal{T}=\left\{1,2,3,5\right\}$ generates $ℳ\left(2\right)$ where

1) Units: $\left\{3,5\right\}$ generate $\left\{3,5,10,12\right\}$ .

2) Non-unit, Non-commutative: $\left\{2\right\}$ combined with $\left\{3,5\right\}$ generates $\left\{2,4,11\right\}$ .

3. Commutative: $\left\{1\right\}$ , combined with $\left\{1,3,5\right\}$ generates the commutative elements.

Following the notation in Example 0 and the definition 0, we can do the following calculations to generate all the elements in $ℳ\left(2\right)\backslash \mathcal{T}=\left\{0,4,6,7,8,9,10,11,12,13,14,15\right\}$ :

$1⊲2=0,2⊲2=4,2⊲\left(1⊲1\right)=6,3⊲1=8$

$3⊲\left(1⊲1\right)=7,2⊲1=9,3⊲5=10,2⊲5=11$

$3⊲3=12,2⊲3=13,1⊲1=14,1⊲2⊲3=15.$

$\mathcal{T}=\left\{1,2,3,5\right\}$ forms a minimal generating set for $ℳ\left(2\right)$ .

Remark: For $\left|S\right|=2$ , the minimal generating set $\mathcal{T}$ is not unique. Specifically, $\mathcal{T}=\left\{1,3,5,11\right\}$ also generates $ℳ\left(2\right)$ , demonstrating non-uniqueness.

4. Conclusion

This study provides a comprehensive analysis of the magma monoid $\left(ℳ\left(S\right),⊲\right)$ , shedding light on the algebraic structures of idempotents, almost constant operations, and units. The classification of elements for $\left|S\right|=2$ and $\left|S\right|=3$ , along with the identification of generator sets, contributes to a deeper understanding of the magma monoid’s properties. The presented methodology for finding inverses of units and identifying generator sets offers a valuable tool for further research. This work lays the groundwork for exploring the applications of magma monoids in algebra and computer science(e.g., automata [20]), and highlights potential avenues for future investigation

Acknowledgements

The author would like to express their sincere thanks to the editor and the anonymous reviewers for their helpful comments and suggestions.