In de groepentheorie, een deelgebied van de wiskunde, is een vrije groep een groep G {\displaystyle G} die een deelverzameling S {\displaystyle S} bevat zodat elk element van G {\displaystyle G} op precies een manier als gereduceerd woord van elementen van S {\displaystyle S} en hun inversen kan worden geschreven. Wikipedia