Every group is a maximal subgroup of the free idempotent generated semigroup over a band

Given an arbitrary group $G$ we construct a semigroup of idempotents (band) $B_G$ with the property that the free idempotent generated semigroup over $B_G$ has a maximal subgroup isomorphic to $G$. If $G$ is finitely presented then $B_G$ is finite. This answers several questions from recent papers in the area.

No reviews yet.

No comments yet.