מונואיד (מבנה אלגברי)

מונואיד (או: יחידון) הוא מבנה אלגברי הכולל קבוצה, פעולה בינארית אסוציאטיבית, ואיבר יחידה. למונואיד חסרה תכונה אחת כדי להפוך לחבורה: התכונה שכל האיברים הפיכים.

דוגמאות למונואידים:

• אוסף המורפיזמים מאובייקט בקטגוריה לעצמו, עם פעולת ההרכבה, הוא מונואיד. למשל:
  • אוסף הפונקציות מקבוצה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
  • אוסף ההומומורפיזמים מחבורה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
  • אוסף ההומומורפיזמים מחוג לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
  • אוסף ההומיאומורפיזמים ממרחב טופולוגי לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
• אם R הוא חוג, אז הוא מונואיד ביחס לפעולת הכפל.
• האוסף של מלים סופיות באלפבית X, ביחס לפעולת השרשור (זהו המונואיד החופשי על X, ראו חבורה חופשית).

יש שני מונואידים (עד כדי איזומורפיזם) מסדר 2, 7 מסדר 3, 35 מסדר 4, 228 מסדר 5 ו-2237 מסדר 6 [1].

איברים במונואיד

במונואיד, איבר a הוא "הפיך מימין" אם קיים c כך שמתקיים ac=1 (אז c נקרא "הפכי מימין" של a), ו"הפיך משמאל" אם קיים b כך שמתקיים ba=1 (אז b "הפכי משמאל" של a). ייתכנו במונואיד איברים שהם הפיכים מימין אבל לא משמאל, או להפך. ההפכי מימין אינו בהכרח יחיד, וכן להפכי משמאל. לעומת זאת, איבר שהוא גם הפיך מימין וגם הפיך משמאל מוכרח להיות הפיך (כלומר, קיים d כך שמתקיים ad=da=1), ואז יש לו הפכי יחיד מימין השווה להפכי היחיד משמאל; איבר זה נקרא ה'הפכי' של a ומסומן ב- $\ a^{-1}$. מונואיד שבו כל האיברים הפיכים נקרא חבורה.

מבנים במונואיד

במונואיד אפשר להגדיר תת-מונואיד בדומה לתת-חבורה של חבורה: תת-קבוצה S, המכילה את איבר היחידה, מהווה תת-מונואיד אם היא סגורה לכפל (כלומר, לכל $\ a,b \in S$ גם $\ ab\in S$). אוסף האיברים ההפיכים במונואיד מהווה תת-מונואיד, שהוא גם חבורה (זו נקראת 'חבורת ההפיכים במונואיד'). בדומה להגדרה בחוגים, אפשר להגדיר במונואיד אידאל (ימני, שמאלי, או דו-צדדי), וגם 'מונואיד מנה' ביחס לאידאל. האידאל המינימלי של מונואיד קומוטטיבי (כלומר, חיתוך כל האידאלים של המונואיד), הוא חבורה.

מונואידים עם צמצום

הסרת האקסיומה על קיום הפכיים גורמת לכך שהמבנה של מונואידים הרבה יותר מסועף מזה של חבורות. לשם המחשה, ישנם 2237 מונואידים שונים בעלי ששה אברים (ורק שתי חבורות מסדר זה). באמצע הדרך בין המונואידים הכלליים לבין החבורות עומדים מונואידים עם צמצום: כאלה שבהם מ- ax=ay נובע x=y (זהו "צמצום משמאל"), ומ- xa=ya נובע x=y (צמצום מימין). לדוגמה, כל מונואיד המוכל בחבורה מקיים את תכונת הצמצום.

השיכון ההדוק ביותר הוא ב"חבורת שברים", היינו כזו שכל איבר שלה הוא מהצורה $\ a^{-1}b$, כאשר a,b שייכים למונואיד; שיכון כזה קיים אם ורק אם המונואיד מקיים את תנאי אור (Ore's condition): לכל a,b יש איברים x,y כך ש- xa=yb. מונואיד עם צמצום המקיים איזושהי זהות (כגון $\ x_1x_2x_2x_1x_2x_2=x_2x_2x_1x_2x_2x_1$, ובפרט: מונואיד קומוטטיבי עם צמצום), או שיש לו גידול תת-אקספוננציאלי, מקיים את תנאי אור.

באופן כללי, השאלה האם מונואיד עם צמצום הנתון לפי הצגה סופית שלו ניתן לשיכון בחבורה, אינה כריעה. עבור מונואידים סופיים התשובה תמיד חיובית (די להניח צמצום משמאל. הוכחה: יהי $\ M$ מונואיד כזה. לכל $\ a\in M$, הפונקציה $\ f:M\rightarrow M$ המוגדרת על ידי $\ f(x)=ax$ היא פונקציה הפיכה (לפי הצמצום), ולפי הסופיות היא מוכרחה להיות על. בפרט קיים איבר $\ b\in M$ כך ש- $\ ab=f(b)=1$, ובמלים אחרות כל איבר a הוא הפיך מימין. בפרט, האיבר b המקיים $\ ab=1$ הפיך מימין, אבל השוויון מראה שהוא גם הפיך משמאל. כאיבר הפיך מימין ומשמאל הוא הפיך, ו- a הוא ההפכי שלו. לכן גם a הפיך, ו- M הוא חבורה).

מאידך, יש מונואידים עם צמצום (מימין ומשמאל) שאינם ניתנים לשיכון בתוך חבורה (אפילו כזו שאינה חבורת שברים).

הערות שוליים

מושגי יסוד באלגברה מופשטת
מונואיד • חבורה • חוג • תחום שלמות • שדה • מודול • אלגברה (מבנה אלגברי) • תורת החבורות • תורת גלואה • אלגברת לי • הומומורפיזם • משפטי האיזומורפיזם • תת חבורה נורמלית • אידאל • הצגה לינארית