חבורה חופשית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
קישור לשפות אחרות |
אדום בעיניים |
||
שורה 1:
'''חבורה חופשית''' היא [[חבורה (מבנה אלגברי)|חבורה]] שקבוצת ה[[יוצרים של חבורה|יוצרים]] שלה אינה מקיימת אף [[הצגה לפי יוצרים ויחסים|יחס]]. בחבורה כזו, כל איבר הוא מלה סופית ב'שפה' שהאותיות שלה הן הסימנים <math>\ x, x^{-1}</math> עבור <math>\ x\in X</math>, ואין בה שתי אותיות רצופות מן הצורה <math>\ xx^{-1}</math> או <math>\ x^{-1}x</math>. הכפל בחבורה מוגדר על-ידי הדבקת שתי המלים זו לזו, ומחיקת הצירופים האסורים אם יש כאלה. את החבורה המתקבלת מבניה זו מסמנים ב- <math>\ <X></math>. ראו גם [[מונויד חופשי]]. <!-- הקישור דווקא צריך להיות כאן ולא בסוף. -->
בחבורה חופשית קל לערוך חישובים, משום שכל איבר מוצג על-ידי מלה אחת ויחידה. בפרט, בחבורה כזו יש פתרון פשוט ל[[בעית המלה (תורת החבורות)|בעית המלה]] ו[[בעיה הצמידות (תורת החבורות)|בעית הצמידות]].
אם שתי קבוצות X ו- Y הן בעלות אותה [[עוצמה]], אז החבורות <math>\ <X></math> ו- <math>\ <Y></math> [[איזומורפיזם|איזומורפיות]] זו לזו. בפרט, את החבורה הנוצרת על-ידי קבוצה (כלשהי) בגודל n מקובל לסמן ב- <math>\ \mathbb{F}_n</math>. מספר היוצרים של חבורה חופשית מוגדר היטב (כלומר, בחבורה חופשית לא יכולות להיות שתי קבוצות יוצרים חופשיות בגודל שונה), והוא נקרא ה'''דרגה''' של החבורה. את הדרגה של חבורה חופשית <math>\ F</math> מסמנים ב- <math>\ rank(F)</math>. כך למשל <math>\ rank(\mathbb{F}_n)=n</math>.
המשפט הראשון בתחום שנקרא היום [[תורת החבורות הקומבינטורית]] הוא [[משפט שרייר]] (Schreier), הקובע שתת-חבורה של חבורה חופשית גם היא חבורה חופשית. אולי במפתיע, הדרגה של תת-חבורה תמיד '''גדולה''' מזו של החבורה. אם <math>\ H \leq F</math> הן חבורות חופשיות, אז היחס <math>\ \frac{rank(H)-1}{rank(F)-1}</math> שווה ל[[אינדקס (תורת החבורות)|אינדקס]] של H ב- F.
חבורה חופשית היא [[אובייקט חופשי]] ב[[קטגוריה (מתמטיקה)|קטגוריה]] של החבורות. בניסוח אחר, חבורה חופשית F עם קבוצת יוצרים X מקיימת את התכונה הבאה, הנקראת '''אוניברסליות''': לכל חבורה <math>\ G</math> ופונקציה <math>\ f:X\rightarrow G</math> קיים [[הומומורפיזם (אלגברה)|הומומורפיזם]] יחיד
<math>\ \psi :F \rightarrow G</math> המקיים <math>\psi\circ\phi=f</math>, כאשר <math>\ \phi: X \rightarrow F</math> הוא השיכון של X ב- F. בפרט נובע מזה שעבור כל חבורה G הנוצרת על-ידי הקבוצה X, קיים [[אפימורפיזם]] <math>\ <X>\rightarrow G</math>, ובמלים אחרות כל חבורה אפשר להציג כ[[חבורת מנה]] של חבורה חופשית. אם <math>\ G \cong F/N</math> כאשר <math>\ F=<X></math> חופשית, אז <math>\ N=<R></math> חופשית (לפי משפט שרייר), והיוצרים שלה, אברי R, נקראים '''יחסים''' של G. המנה <math>\ <X>/<R></math> מסומנת ב- <math>\ <X|R></math> ונקראת '''[[הצגה לפי יוצרים ויחסים|הצגה]]''' של G על ידי יוצרים ויחסים (זוהי presentation, להבדיל מ- representation).
[[en:Free group]]
[[de:Freie Gruppe]]
[[ja:自由群]]
| |||