Homotopy Types of Small Semigroups
Dennis Sweeney

TL;DR
This paper computes the homology of small semigroups, explores their classifying spaces, refutes some conjectures, and introduces algorithms for homotopy and group completion computations, revealing new topological properties of finite semigroups.
Contribution
It provides the first systematic computation of semigroup homology for orders up to 8, offers new proofs of topological properties, and introduces efficient algorithms for group completion.
Findings
Computed homology for all semigroups of order ≤8.
Identified semigroups with notable classifying spaces.
Refuted conjectures of Nico regarding semigroup topology.
Abstract
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an alternative topological proof of the fact that if a finite semigroup has a left-simple or right-simple minimal ideal , then the classifying space is homotopy equivalent to the classifying space of the group completion. We also describe an algorithm for computing the group completion of a finite semigroup using asymptotically fewer than semigroup operations. Finally, we show that the set of homotopy types of classifying spaces of finite monoids is closed under suspension.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Fuzzy and Soft Set Theory · Advanced Topology and Set Theory
