חבורה חופשית
חבורה חופשית היא מבנה מתמטי עם יוצרים ואין בה כללים שמגבילים אותם. יוצרים הם אותיות x ויש גם אותיות הפוכות x^{-1}. כל איבר הוא מילה שעשויה מאותיות אלה. מילה תקינה לא מכילה צמדים xx^{-1} או x^{-1}x. כדי לכפול שני איברים מדביקים את המילים ובוטלים הצמדים האסורים. לכל איבר יש מילה מוקטנת אחת בלבד. זה מ...
בעיית וייטהד
בעיית וייטהד היא שאלה במתמטיקה על חבורות. חבורה אבלית היא קבוצה עם חוק חיבור שבו הסדר לא משנה. חבורה חופשית היא חבורה פשוטה מאוד. השאלה שואלת: אם לחבורה אבלית יש תכונה בשם Ext^1(A,\Z)=0, האם היא תמיד חופשית? כאן Ext^1 הוא שם לכלי טכני לבדיקת הרחבות. ג'ון וייטהד הציע את השאלה בשנות ה‑50. תחילה מצאו...
חבורה יסודית
החבורה היסודית מתארת לולאות במרחב. לולאה היא מסלול שמתחיל ומסתיים באותה נקודה. נקודה זו נקראת נקודת בסיס. מראים את כל הלולאות בנקודה אחת. אם אפשר לעקם לולאה אחת להיות אחרת בעדינות, הן חשובות באותו אופן. העקימה הזאת נקראת הומוטופיה. הומוטופיה היא שינוי חלק שהשומר על נקודת הבסיס. כדי "לכפול" לולאות...
חבורה אבלית חופשית
חבורה אבלית חופשית היא קבוצה של "סכומים" שאפשר לחבר ביניהם. אבלית אומר שהסדר של החיבור לא משנה. חושבים על סמלים. כל איבר הוא סכום של מספרים שלמים כפול סמלים. רק כמה סמלים מופיעים בכל פעם. דוגמה פשוטה: Z היא חבורה כזו עם סמל אחד. בונים אותה כקבוצה של רשימות של מספרים שלמים שיש בהן רק כמה מספרים לא ...
חבורה אבלית
חבורה אבלית חבורה אבלית היא קבוצה עם פעולה שבה הסדר לא משנה. כלומר, a*b = b*a. זה דומה לחיבור של מספרים. הדוגמה הכי פשוטה היא המספרים השלמים עם חיבור. גם מרחב של וקטורים הוא חבורה אבלית תחת חיבור. אם יש חבורה אבלית, תת־חבורות או מנה שלהן גם אבליות. לעתים מרחיבים חבורה באחרת וזה משנה תכונות. במקום...