>**Question.** Has a statement about groups ever been proved using the theory of semigroups?

By "a proof using the theory of semigroups" I do not mean that some steps in the proof are in fact statements about semigroups rather than groups. What I'm looking for are proofs which involve semigroups in a substantial way, say by constructing some semigroup related to the group of interest.