Finite Semigroup Classifying Space

• Classifying space of a finite semigroup is the geometric realization of its nerve that encodes algebraic operations into a topological framework.
• The construction generalizes group classifying spaces by incorporating unique minimal ideals and efficient algorithms for computing the associated group completion.
• Key insights include diverse homotopy types, exotic torsion phenomena, and closure under suspension and joins, highlighting distinctions from classical group theory.

The classifying space of a finite semigroup $S$, denoted $BS$, is the geometric realization of the nerve $\mathcal N_\bullet S$ defined by the combinatorial structure of $S$. This construction encodes the algebraic properties of $S$ in topological terms and generalizes the widely studied case of group classifying spaces $BG$. Recent research has established new algorithmic and structural results for $BS$, revealed a diverse range of possible homotopy types, and demonstrated phenomena exclusive to semigroups, with notable distinctions from classic group theory (Sweeney, 7 Feb 2025).

1. Fundamental Construction

Let $S$ be a finite semigroup. Consider the nerve $\mathcal N_\bullet S$ as a $\Delta$-set: $BS$0 with face maps

$BS$1

If $BS$2 is a monoid, degeneracy maps are given by inserting the identity at position $BS$3. The classifying space is defined as the geometric realization: $BS$4 Alternatively, $BS$5 may be modeled as a CW-complex with $BS$6-cells labelled by $BS$7-tuples in $BS$8, with attaching maps corresponding to multiplication.

2. Group Completion and the $BS$9-Thin Case

A central structural property of semigroups is the existence of a unique minimal two-sided ideal: $\mathcal N_\bullet S$0 By the Rees–Suschkewitsch theorem, $\mathcal N_\bullet S$1 for some group $\mathcal N_\bullet S$2 and index sets $\mathcal N_\bullet S$3. A semigroup is “$\mathcal N_\bullet S$4-thin” if $\mathcal N_\bullet S$5 or $\mathcal N_\bullet S$6, i.e., $\mathcal N_\bullet S$7 is left- or right-simple.

The group completion $\mathcal N_\bullet S$8 is the group constructed from $\mathcal N_\bullet S$9 by universal property: any semigroup map $S$0 into a group factors uniquely through $S$1. For all $S$2,

$S$3

A principal homotopy result (“Thin–is–grouplike”) establishes that for $S$4-thin finite $S$5, the inclusion of the maximal subgroup $S$6 induces a homotopy equivalence: $S$7 This is proven by a reduction to the inclusion of submonoids with suitable idempotents and the subsequent application of homotopy-collapsing arguments (Sweeney, 7 Feb 2025).

3. Algorithms for Computing $S$8

For finite $S$9 presented as a multiplication table, $S$0 can be computed in $S$1 operations (with $S$2 the inverse Ackermann function):

• Find an element $S$3; then $S$4.
• Define $S$5 and $S$6.
• Define $S$7.
• Normalize the sandwich matrix for $S$8 and compute group inverses in $S$9.
• Form generators for a normal subgroup $BG$0 using $BG$1 for $BG$2, $BG$3, $BG$4.
• Compute $BG$5 using union-find algorithms.
• The group completion is $BG$6, with coset representatives used for computation.

This achieves efficient computation in practice, outperforming the naive $BG$7 approach, making large-scale homological studies feasible.

4. Homology and Novel Phenomena

The (integral) homology $BG$8 is given by the Eilenberg–MacLane formula: $BG$9 For finite $BS$0 of order up to $BS$1, almost all ($BS$2 for $BS$3) are $BS$4-thin and have homology identical to some finite group. However, non-$BS$5-thin cases reveal new phenomena: infinitely generated free homology, non-periodic rank growth, large exotic torsion, and Moore-space patterns—features without direct analogs in group homology. Computations leverage:

• “$BS$6-thin short circuit” reductions to group homology,
• Recursion and caching for ultimately periodic resolutions,
• Smith normal form for direct boundary matrix computations.

Specific examples refuting earlier conjectures of Nico (1969) include contractible $BS$7 for non-zero semigroups, semigroups with trivial $BS$8 but infinite higher homology, and cases where $BS$9 realizes Moore or suspension spaces.

Sample Table: Non-$S$0-thin Homology Behavior

$S$1 (order)	$S$2	$S$3	$S$4
5-elt infinite $S$5	$S$6	$S$7	$S$8
6-elt doubling	$S$9	$\mathcal N_\bullet S$0	$\mathcal N_\bullet S$1
9-elt Moore $\mathcal N_\bullet S$2	$\mathcal N_\bullet S$3	$\mathcal N_\bullet S$4	$\mathcal N_\bullet S$5
10-elt exotic torsion	$\mathcal N_\bullet S$6	$\mathcal N_\bullet S$7	$\mathcal N_\bullet S$8

The sample illustrates infinite generation and giant torsion in classes of small, non-$\mathcal N_\bullet S$9-thin semigroups.

5. Suspension, Joins, and Closure Properties

The classifying space construction for finite monoids displays closure under (reduced) suspension, and more generally, under topological join. For any finite monoid $\Delta$0 and finite discrete set $\Delta$1,

$\Delta$2

where $\Delta$3 denotes a monoid formed by joining copies indexed by $\Delta$4 with join-like rules. For $\Delta$5,

$\Delta$6

Consequently, the set $\Delta$7 is closed under suspension, mirroring the ability to realize new and diverse homotopy types outside the group context.

6. Illustrative Cases and Realizations

Explicit constructions realize a wide range of topological spaces as $\Delta$8 for suitable $\Delta$9:

• Rectangular bands: For $BS$00, $BS$01. $BS$02 realizes $BS$03.
• Moore-space semigroup: A $BS$04-element $BS$05 yields $BS$06 with no corresponding subgroup of order $BS$07.
• Suspension of $BS$08: A $BS$09-element example produces $BS$10.
• Exponential growth: A $BS$11-element semigroup provides $BS$12 for $BS$13, with unbounded rank.
• Large torsion: A $BS$14-element case yields $BS$15, exhibiting homological torsion unrelated to any subgroup order.

These cases exemplify the flexibility and complexity of semigroup classifying spaces, which support phenomena inaccessible to group theory.

7. Context, Significance, and Open Directions

The classifying space of a finite semigroup bridges algebraic and topological approaches, extending beyond group-theoretic analogs both structurally and computationally. Efficient algorithms for $BS$16 and homological invariants allow broad exploration, while closure under suspension and joins opens rich territory for the realization of new homotopy types. The confirmation of counterexamples to longstanding conjectures demonstrates that semigroup topology is strictly richer, with patterns—such as exotic torsion growth and Moore-space realizations—not possible in group theory. A plausible implication is a greater diversity of homotopy types is accessible via semigroup classifying spaces than via group classifying spaces, motivating continued investigation into the interplay between semigroup algebra and topological invariants (Sweeney, 7 Feb 2025).