En fri grupp i gruppteori är en grupp för vilken det finns en delmängd så att varje element skrivs unikt som produkten av ett ändligt antal element och deras inverser . (Unikhet förstås upp till triviala kombinationer som .) Det sägs vara (fritt) genererat och skriva: eller om det finns en uppsättning element.
Ett relaterat men annorlunda koncept: en fri Abelisk grupp (som i allmänhet inte är en fri grupp).
Det är möjligt att presentera en explicit konstruktion av fria grupper och därigenom bevisa deras existens [1] [2] . Vi kommer att betrakta elementen i uppsättningen som "symboler" och för varje symbol från introducerar vi symbolen ; uppsättningen av de senare kommer att betecknas med . Låta
.Låt oss definiera ordet över som en ändlig kedja av (eventuellt upprepade) tecken från , skrivna efter varandra. Tillsammans med sammanlänkning (limning, attribution) blir uppsättningen ord över en halvgrupp . Vi kommer att anta att det i uppsättningen av ord finns ett tomt ord , som inte innehåller symboler. Därmed får vi en monoid av ord över
Till exempel för . , två ord:
,och deras sammanlänkning:
.Till exempel .
Därefter introduceras ordet reduktionsregel. Om i något ord symbolen (symbolen) från följer (föregår) motsvarande symbol från då kallas borttagningen av detta symbolpar reduktion . Ett ord kallas reducerat om det inte längre kan reduceras. En fullständig reduktion är en sekventiell tillämpning av reduktion på ett givet ord tills det reduceras. Till exempel, från ett ord (se exemplet ovan), efter fullständig reduktion, erhålls ett reducerat ord: Denna definition är korrekt: det är lätt att visa att en annan ordning för att utföra flera reduktioner, så länge de är möjliga, leder till ett enda resultat.
En fri grupp genererad av en uppsättning (eller en fri grupp över ) är en grupp av reducerade ord över med sammanlänkningsoperationen (följt av en fullständig minskning av resultatet om nödvändigt).
En fri grupp är i någon mening den mest allmänna gruppen som genereras av en mängd . För varje grupp och varje mappning av mängder finns det en unik grupphomomorfism för vilken följande diagram är kommutativt:
Således finns det en en-till-en-överensstämmelse mellan uppsättningarna av mappningar och homomorfismer . För en icke-fri grupp skulle relationerna i gruppen införa begränsningar för möjliga bilder av gruppens genererande element.
Denna egenskap kan tas som definitionen av en fri grupp [3] , medan den definieras endast upp till isomorfism , som vilket universellt objekt som helst . Denna egenskap kallas universaliteten av fria grupper . Generatorn kallas gruppens bas . Samma fria grupp kan ha olika baser.
Ur kategoriteoretisk synvinkel är en fri grupp en funktor från kategorin uppsättningar till kategorin grupper , som är den vänstra anslutningen till den glömska funkorn .