{"id":"arxiv/2605.19569","url":"https://arxiv.org/abs/2605.19569","tags":["math.GR"],"score":0,"title":"Aperiodic Flows on Finite Semigroups II: Smallish Monoids Suffice for Complexity 1","domain":"math.GR","source":"arxiv","authors":["Stuart Margolis","John Rhodes"],"reviews":0,"subject":"math.GR","summary":"A smallish monoid M is a monoid that has a unique 0-minimal ideal I(M) that is a 0-simple subsemigroup and such that its regular J -classes are the group of units and the two in I(M). We show constructively how to embed an arbitrary finite semigroup S into the evaluation semigroup of a smallish monoid S^{Ev} . We use the theory of flows to show that a group mapping semigroup S admits an aperiodic flow if and only if S^{Ev} admits one. This reduces the computation of Krohn-Rhodes complexity 1 to the class of smallish monoids.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-19","reactions":{}}