חבורה חופשית

חבורה חופשית היא מבנה מתמטי עם יוצרים ואין בה כללים שמגבילים אותם. יוצרים הם אותיות x ויש גם אותיות הפוכות x^{-1}. כל איבר הוא מילה שעשויה מאותיות אלה. מילה תקינה לא מכילה צמדים xx^{-1} או x^{-1}x. כדי לכפול שני איברים מדביקים את המילים ובוטלים הצמדים האסורים. לכל איבר יש מילה מוקטנת אחת בלבד. זה מ...