show/hide this revision's text 1 [made Community Wiki]

Free groups. If I am not mistaken, they were first introduced by Dyck via the reduced words description. The modern universal property definition only came about later.