אני אנסה להציל את כבודי האבוד כמרצה-ברוחו שאוהב לתת תשובות עם תוכן.
"חבורה" - אוסף של דברים (לא חשוב מה; לרוב נקראים "איברים") שאפשר לכפול אותם ("כפל" זו מכונה שלוקחת שני איברים ומחזירה איבר); אחד האיברים מתנהג כמו "1" (כלומר, כשכופלים בו X כלשהו, יוצא X); ולכל אחד מהאיברים יש הופכי (כלומר לכל X יש איזשהו Y כך ש-XY הוא ה-"1" הזה).
חבורה חופשית היא חבורה שבנויה באופן הבא (בהגבלה קלה של הכלליות): לוקחים כמה אותיות, נניח שתיים (A ו-B); מוסיפים שתי אותיות שתהווינה הופכיות לשתי אלה (נניח a ו-b); ומגדירים חבורה שהאיברים שלה הן "מילים" באותיות האלה, כשאסור לאות להופיע ליד ההופכית שלה. ABabAA זה בסדר, BaA זה לא. הכפל מוגדר ע"י זה שרושמים את שתי המילים בזו אחר זו, ואז מצמצמים אם אפשר לצמצם: בכל פעם שרואים Aa או aA או Bb או bB, מעיפים את צמד האותיות הללו והמילה מתקצרת. למשל:
ABa * AbA = ABaAbA = ABbA = AA
(שתי המילים באמצע החישוב הזה הן רק תוצאות ביניים; הן לא מקיימות את האיסור על הופכיות צמודות כי עוד לא גמרנו לצמצם). אפשר לראות שמתקבלת חבורה: "1" זו המילה הריקה שאין בה בכלל אותיות, וההופכית של מילה מתקבלת ע"י זה שהופכים את סדר האותיות ומחליפים כל אות בהופכית שלה.
החבורה הזו נקראת "חופשית" כי האיברים שלה לא מקיימים שום "יחס" חוץ ממה שמתחייב מחוקי החבורה. 0=2+3-2-3, למשל, זה יחס לא טריוויאלי בחבורה של המספרים השלמים עם חיבור.
|
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש