Subgroups of free idempotent generated semigroups need not be free. (Q2390500)

On the set \(E(S)\) of idempotents of a (regular) semigroup \(S\) partial orders \(\omega^r\), \(\omega^l\) are defined by \(e\omega^rf\) iff \(e=fe\) and \(e\omega^lf\) iff \(e=ef\), \(e,f\in E(S)\); abstract characterization of the partial algebra \(E(S)\) with these order relations and multiplication restricted only to pairs belonging to these relations is called (regular) biordered set [\textit{K. S. S. Nambooripad}, Mem. Am. Math. Soc. 224 (1979; Zbl 0457.20051)]. For an arbitrary biordered set \(E\) there is a free object \(IG(E)\) in the category of idempotent generated semigroups with biordered set \(E\). Here are investigated maximal subgroups of \(IG(E)\) and presented example of a non-free maximal subgroup in free idempotent generated semigroup over a finite regular biordered set.