חבורה חופשית – הבדלי גרסאות

'''חבורה חופשית''' היא [[חבורה (מבנה אלגברי)|חבורה]] שקבוצת ה[[יוצרים של חבורה|יוצרים]] שלה <math>\ <X></math> אינה מקיימת אף [[הצגה לפי יוצרים ויחסים|יחס]]. בחבורה כזו, כל איבר הוא מלה סופית ב'שפה' שהאותיות שלה הן הסימנים <math>\ x, x^{-1}</math> עבור <math>\ x\in X</math>, ואין בה שתי אותיות רצופות מן הצורה <math>\ xx^{-1}</math> או <math>\ x^{-1}x</math>. הכפל בחבורה מוגדר על-ידי הדבקת שתי המלים זו לזו, ומחיקת הצירופים האסורים אם יש כאלה. את החבורה המתקבלת מבניה זו מסמנים ב- <math>\ <X></math>. ראו גם [[מונואיד חופשי]]. <!-- הקישור דווקא צריך להיות כאן ולא בסוף. -->