 To form the free group on \(n\) generators, first form the free monoid on \(2n\) generators, with generators organized into complementary pairs each the inverse of the other, and then delete all adjacent complementary pairs from all words.