"You're quite right to flag this up; I was being..."

https://arbital.com/p/5jk

by Patrick Stevens Jul 22 2016


You're quite right to flag this up; I was being sloppy. There are three main ways to construct the free group, and I've kind of mixed together the two of them which are most intuitive. I'm trying not to simply define the free group here, but you're right that I've done it confusingly. I'll fix it.