Three-Element Flip-Flop Monoid

• Three-element flip-flop monoid is a finite monoid with elements 1 (identity), a (idempotent), and b (left-zero) that embodies minimal non-group behavior.
• It bridges semigroup decomposition, strict 2-PIM presentations, and Kuratowski operations to reveal its structural role across algebraic and topological frameworks.
• Exhibiting a canonical role in Krohn-Rhodes theory, it serves as both a primitive building block in classical decompositions and a decomposable case via the λρ-product.

Searching arXiv for the cited papers to ground the article in the relevant literature. The three-element flip-flop monoid is a finite monoid that occupies a distinctive position at the interface of semigroup decomposition theory, presentation theory for monoids generated by an involution and an idempotent, and the algebra of topological closure-complement operations. In Krohn-Rhodes terminology it appears as the left flip-flop monoid $L_2^1$, one of the standard non-group constituents in classical decompositions of finite semigroups; in the theory of strict $2$-PIMs it is the minimal nontrivial finite monoid generated by an involution and a projection; and in the study of Kuratowski operations it appears as a limiting small quotient or degeneration of a richer $14$-element monoid of closure-complement composites (Botur et al., 15 Sep 2025, Caron et al., 2024, Plewik et al., 2012).

1. Definition and notational conventions

Two complementary descriptions occur in the literature summarized here. In semigroup decomposition theory, the left flip-flop monoid is denoted

$L_2^1=\{1,a,b\},$

where $1$ is the identity, $a$ is idempotent with $a^2=a$, and $b$ is a left zero, so that

$b\cdot x=b \qquad \text{for all } x\in L_2^1.$

This description foregrounds the asymmetric “left-handed” behavior relevant to Krohn-Rhodes decompositions (Botur et al., 15 Sep 2025).

In presentation-theoretic work, the same object is described as a finite monoid generated by an involution $\Diamond$ and an idempotent $2$0, with presentation

$2$1

Within that framework it is treated as the minimal nontrivial finite example of a monoid generated by a projection and an involution (Caron et al., 2024).

These two viewpoints emphasize different structural features. The first makes transparent the role of the monoid as a basic non-group factor in decomposition theory. The second places it inside a general taxonomy of finite monoids generated by one involution and one idempotent. A plausible implication is that the persistence of the flip-flop monoid across these formalisms reflects its status as a canonical small obstruction to “purely group-like” behavior.

2. Position within the theory of strict $2$2-PIMs

The paper “Presentation of monoids generated by a projection and an involution” studies strict $2$3-PIMs, defined there as monoids generated by exactly one involutive element $2$4, with $2$5, and one idempotent element $2$6, with $2$7. Its main structural statement is that every finite strict $2$8-PIM admits a presentation of the form

$2$9

and that a single additional relation always suffices in the finite case (Caron et al., 2024).

The possible additional relations are organized in the general form

$14$0

with $14$1 and $14$2. After eliminating degenerate and equivalent cases, the classification reduces to four main families, $14$3, each split according to parity. The associated order formulas recorded in the summary are $14$4, $14$5, and $14$6, depending on the family. Within this parameterized taxonomy, the flip-flop monoid is identified as the smallest nontrivial finite case (Caron et al., 2024).

This embedding of the flip-flop monoid into a one-relation classification is significant because it removes the appearance of ad hoc exceptionalism. Rather than being merely a folklore example, it becomes the bottom nontrivial instance of a systematically classified universe of finite monoids generated by an involution and an idempotent. The same paper states that Kuratowski’s theorem is recovered as a special case of this broader study, which further situates the flip-flop monoid within a larger algebraic lineage (Caron et al., 2024).

3. Role in classical Krohn-Rhodes decomposition

The Krohn-Rhodes Theorem is described in the cited work as asserting that every finite semigroup divides a finite iterated wreath product of finite simple groups and copies of a three-element monoid called the flip-flop monoid, together with its right-handed and left-handed versions. In that setting, the flip-flop monoid supplies the essential non-group component needed to reconstruct arbitrary finite semigroups (Botur et al., 15 Sep 2025).

From this perspective, the monoid is not primarily interesting because of its small size, but because it encapsulates a minimal irreversible behavior that cannot be represented by groups alone. The identity element $14$7, the idempotent $14$8, and the left zero $14$9 already suffice to produce the kind of reset-like or absorbing dynamics that are absent from group actions. The paper characterizes these flip-flop monoids as the “non-group” building blocks in classical decompositions (Botur et al., 15 Sep 2025).

A common oversimplification is to regard the flip-flop monoid as merely a convenient pedagogical example. In the classical theorem it is more than that: it is one of the standard primitive constituents out of which arbitrary finite semigroup behavior is assembled. The later refinement discussed below does not negate this role; rather, it changes the product formalism under which primitiveness is evaluated.

4. Replacement by a two-element semilattice via the $L_2^1=\{1,a,b\},$0-product

The paper “Beyond wreath and block” introduces the $L_2^1=\{1,a,b\},$1-product, a semigroup construction generalizing the two-sided wreath product. It develops this construction so that, for groups, it is isomorphic to the usual wreath product, and then shows that it yields a slightly finer version of the Krohn-Rhodes decomposition in which the three-element flip-flop monoid is replaced by the two-element semilattice $L_2^1=\{1,a,b\},$2 (Botur et al., 15 Sep 2025).

Formally, if $L_2^1=\{1,a,b\},$3 is a semigroup, $L_2^1=\{1,a,b\},$4 is a family of index sets, and

$L_2^1=\{1,a,b\},$5

satisfy the associativity axioms of a $L_2^1=\{1,a,b\},$6-system, then for a semigroup $L_2^1=\{1,a,b\},$7 one defines

$L_2^1=\{1,a,b\},$8

with multiplication

$L_2^1=\{1,a,b\},$9

This formula makes explicit how the product decouples the “base” semigroup multiplication from the coordinate transport encoded by $1$0 and $1$1 (Botur et al., 15 Sep 2025).

The central flip-flop case study is Example 7. There the base semigroup is the two-element join-semilattice $1$2, with

$1$3

and maps chosen so that

$1$4

Using $1$5 as the fiber semigroup, the resulting $1$6-product $1$7 has the multiplication table

$1$8

and, after partitioning the universe into

$1$9

one obtains a congruence $a$0 such that

$a$1

is isomorphic to the left flip-flop monoid $a$2 (Botur et al., 15 Sep 2025).

The paper summarizes this by stating that the three-element left flip-flop monoid $a$3 strongly divides a $a$4-product of $a$5 over a two-element semilattice, and “in this sense” $a$6 is decomposable. The broader consequence is that every finite semigroup divides an iterated $a$7-product whose factors are finite simple groups and a two-element semilattice. Thus the flip-flop monoid ceases to be primitive once wreath/block products are replaced by the more flexible $a$8-formalism (Botur et al., 15 Sep 2025).

5. Relation to Kuratowski operations

The monoid of Kuratowski operations provides a topological arena in which the flip-flop monoid appears as a small limiting case. Kuratowski’s classical theorem states that, for a topological space $a$9, the operations generated on subsets of $a^2=a$0 by closure and complement yield at most $a^2=a$1 distinct operations. In the notation used in the cited paper, these include

$a^2=a$2

together with the iterated composites up to $a^2=a$3; under composition they form a $a^2=a$4-element monoid $a^2=a$5 (Plewik et al., 2012).

That paper gives the Cayley table of $a^2=a$6 and classifies its semigroups: $a^2=a$7 contains $a^2=a$8 semigroups, partitioned into $a^2=a$9 non-isomorphic types. The idempotents are

$b$0

and the only automorphisms of $b$1 are the identity and a specific involutory permutation $b$2 exchanging closure-type and interior-type operations in a dual fashion (Plewik et al., 2012).

Within this broader structure, the connection to the three-element flip-flop monoid is described as follows: the $b$3-element Kuratowski monoid is a topologically “thickened” flip-flop monoid, and when special identifications among operations are forced by properties of the topology, the structure can collapse to smaller monoids, including a three-element one. The summary further distinguishes between set-theoretic relations, such as involution of complement and idempotency of closure/interior, and genuinely topological identifications that depend on properties such as discreteness or extremal disconnectedness (Plewik et al., 2012).

This connection is conceptually important. It shows that the flip-flop monoid is not confined to abstract semigroup decomposition, but also arises as a boundary object in a concrete topological operation monoid. At the same time, the Kuratowski analysis warns against conflating purely algebraic relations with genuinely topological ones: some reductions of the $b$4-element monoid cannot be recovered from the formal properties of complement and a closure-like operator alone.

6. Structural significance and interpretive issues

Across the three cited contexts, the flip-flop monoid functions as a minimal carrier of non-group behavior. In Krohn-Rhodes theory, it is one of the standard finite components needed in classical decomposition. In the classification of strict $b$5-PIMs, it is the minimal nontrivial finite monoid generated by an involution and an idempotent. In the Kuratowski setting, it appears as a reduced or degenerate case of a much larger operation monoid (Botur et al., 15 Sep 2025, Caron et al., 2024, Plewik et al., 2012).

Several interpretive points follow. First, the monoid should not be treated as merely a pedagogical toy; each of the three literatures assigns it a structurally central role. Second, its status as a “building block” is formalism-dependent. Under classical wreath-product decomposition it is primitive, whereas under the $b$6-product it becomes decomposable as a strong divisor of a construction over the two-element semilattice. Third, its appearance in topology is not exhausted by the abstract algebra of involutions and idempotents: the Kuratowski monoid contains specifically topological identifications and reductions that depend on actual closure-interior behavior rather than on formal cancellation alone (Botur et al., 15 Sep 2025, Plewik et al., 2012).

For these reasons, the three-element flip-flop monoid is best understood not as an isolated finite monoid of order three, but as a recurrent canonical form. It marks the threshold at which idempotent and involutive generators already produce nontrivial semigroup dynamics, and it serves as a reference point for comparing classical decomposition theory, generalized product constructions, and monoids arising from topological operations.