Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup. (Q467520)

Let \(G\) be a group, \(F_n(G)=\bigcup_{i=1}^nGx_i\) a finite rank \(n\) free (left) group act with \(n\geq 3\), \(\text{End\,}F_n(G)\) the endomorphism monoid of \(F_n(G)\) and let \(E=E(\text{End\,}F_n(G)\)) be the biordered set of idempotents of \(\text{End\,}F_n(G)\). Let IG\((E)\) be a free object in the category of semigroups that is generated by \(E\) and let \(e\in E\) be an arbitrary rank 1 idempotent. It is proved that the maximal subgroup of IG\((E)\) containing \(e\) is isomorphic to \(G\).