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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

  • אוסף המורפיזמים מאובייקט בקטגוריה לעצמו, עם פעולת ההרכבה, הוא מונואיד. למשל:
    • אוסף הפונקציות מקבוצה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
    • אוסף ההומומורפיזמים מחבורה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
    • אוסף ההומומורפיזמים מחוג לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
    • אוסף ההומיאומורפיזמים ממרחב טופולוגי לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
  • אם 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 הוא חבורה).

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

מונואידים בתורת ההצגות[עריכת קוד מקור | עריכה]

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

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

  • המונואיד הוא קנוני (או מצומצם) אם מ-x+y=0 נובע x=y=0.
  • למונואיד יש יחידת סדר אם יש בו איבר u, כך שלכל x קיים y כך ש- x+y=nu עבור שלם מתאים n.
  • המונואיד ניתן לעידון אם לכל שוויון a_1+a_2=b_1+b_2 קיימים x_{ij} כך ש-a_i = x_{i1}+x_{i2}, \, b_j = x_{1j}+x_{2j}.
  • המונואיד מפריד אם מ- x+y=x+x=y+y נובע x=y. (כל מונואיד נוצר סופית הניתן לעידון הוא מפריד).

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ לדוגמה המפורסמת של Mal'cev, ראו למשל T.Y. Lam, Lectures on Modules and Rings, משפט 9.8.


מושגי יסוד באלגברה מופשטת

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