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

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