Out of curiosity, has a statement about groups ever been proved using the theory of semigroups?

By a "proof unsing 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.