An interesting combinatorial method in the theory of locally finite semigroups
Thomas K. Brown · Pacific Journal of Mathematics · 1971
Let X be a finite set, X* the free semigroup (without identity) on X, let M be a finite semigroup, and let φ be an epimorphism of X* upon M. We give a simple proof of a combinatorial property of the triple (X, φ, M), and exploit this property to get very simple proofs for these two theorems: 1.If ψ is an epimorphism of the semigroup S upon the locally finite semigroup T such that ψ~\e) is a locally finite subsemigroup of S for each idempotent element e of T, then S is locally finite.2. Throughout 1, replace "locally finite" by "locally nilpotent".The method is simple enough, and yet powerful enough, to suggest its applicability in other contexts.