Prefer a chat interface with context about you and your work?
On the Boffa alternative
Let $G^*$ denote a nonprincipal ultrapower of a group $G$. In 1986 M.~Boffa posed a question equivalent to the following one: <i>if $G$ does not satisfy a positive law, does $G^*$ contain a free nonabelian subsemigroup?</i> We give the affirmative answer