A retract of a finitely generated free monoid is free even though submonoids need not be free. I don't know about the infinitely generated case.
Benjamin Steinberg
- 38.6k
- 3
- 104
- 186