מונואיד (מבנה אלגברי)
מונואיד הוא מבנה אלגברי הכולל קבוצה, פעולה בינארית אסוציאטיבית, ואיבר יחידה. למונואיד חסרה תכונה אחת כדי להפוך לחבורה: התכונה שכל האיברים הפיכים.
יש שני מונואידים (עד כדי איזומורפיזם) מסדר 2, 7 מסדר 3, 35 מסדר 4, 228 מסדר 5 ו-2237 מסדר 6 [1].
דוגמאות
עריכהדוגמאות למונואידים:
- קבוצת המספרים הטבעיים, היא מונואיד ביחס לחיבור (כולל 0), ומונואיד ביחס לכפל.
- אוסף המורפיזמים מאובייקט בקטגוריה לעצמו, עם פעולת ההרכבה, הוא מונואיד. למשל:
- אוסף הפונקציות מקבוצה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
- אוסף ההומומורפיזמים מחבורה לעצמה, הוא מונואיד ביחס לפעולת ההרכבה.
- אוסף ההומומורפיזמים מחוג לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
- אוסף ההומיאומורפיזמים ממרחב טופולוגי לעצמו, הוא מונואיד ביחס לפעולת ההרכבה.
- אם הוא חוג, אז הוא מונואיד ביחס לפעולת הכפל.
- האוסף של מילים סופיות באלפבית , ביחס לפעולת השרשור (זהו המונואיד החופשי על , ראו חבורה חופשית).
איברים במונואיד
עריכהבמונואיד, איבר הוא "הפיך מימין" אם קיים כך שמתקיים (אז נקרא "הפכי מימין" של ), ו"הפיך משמאל" אם קיים כך שמתקיים (אז "הפכי משמאל" של ). ייתכנו במונואיד איברים שהם הפיכים מימין אבל לא משמאל, או להפך. ההפכי מימין אינו בהכרח יחיד, וכן להפכי משמאל. לעומת זאת, איבר שהוא גם הפיך מימין וגם הפיך משמאל מוכרח להיות הפיך (כלומר, קיים כך שמתקיים ), ואז יש לו הפכי יחיד מימין השווה להפכי היחיד משמאל; איבר זה נקרא ה'הפכי' של ומסומן ב- . מונואיד שבו כל האיברים הפיכים נקרא חבורה.
מבנים במונואיד
עריכהבמונואיד אפשר להגדיר תת-מונואיד בדומה לתת-חבורה של חבורה: תת-קבוצה , המכילה את איבר היחידה, מהווה תת-מונואיד אם היא סגורה לכפל (כלומר, לכל גם ). אוסף האיברים ההפיכים במונואיד מהווה תת-מונואיד, שהוא גם חבורה (זו נקראת 'חבורת ההפיכים במונואיד'). בדומה להגדרה בחוגים, אפשר להגדיר במונואיד אידיאל (ימני, שמאלי, או דו-צדדי), וגם 'מונואיד מנה' ביחס לאידיאל. האידיאל המינימלי של מונואיד קומוטטיבי (כלומר, חיתוך כל האידיאלים של המונואיד), הוא חבורה.
מונואידים עם צמצום
עריכההסרת האקסיומה על קיום הפכיים גורמת לכך שהמבנה של מונואידים הרבה יותר מסועף מזה של חבורות. לשם המחשה, ישנם 2237 מונואידים שונים בעלי שישה איברים (ורק שתי חבורות מסדר זה). באמצע הדרך בין המונואידים הכלליים לבין החבורות עומדים מונואידים עם צמצום: כאלה שבהם מ- נובע (זהו "צמצום משמאל"), ומ- נובע (צמצום מימין). לדוגמה, כל מונואיד המוכל בחבורה מקיים את תכונת הצמצום.
השיכון ההדוק ביותר הוא ב"חבורת שברים", היינו כזו שכל איבר שלה הוא מהצורה , כאשר שייכים למונואיד; שיכון כזה קיים אם ורק אם המונואיד מקיים את תנאי אור (Ore's condition): לכל יש איברים כך ש- . מונואיד עם צמצום המקיים איזושהי זהות (כגון , ובפרט: כל מונואיד קומוטטיבי עם צמצום), או שיש לו גידול תת-אקספוננציאלי, מקיים את תנאי אור.
באופן כללי, השאלה האם מונואיד עם צמצום הנתון לפי הצגה סופית שלו ניתן לשיכון בחבורה, אינה כריעה. עבור מונואידים סופיים התשובה תמיד חיובית (די להניח צמצום משמאל. הוכחה: יהי מונואיד כזה. לכל , הפונקציה המוגדרת על ידי היא פונקציה הפיכה (לפי הצמצום), ולפי הסופיות היא מוכרחה להיות על. בפרט קיים איבר כך ש- , ובמלים אחרות כל איבר הוא הפיך מימין. בפרט, האיבר המקיים הפיך מימין, אבל השוויון מראה שהוא גם הפיך משמאל. כאיבר הפיך מימין ומשמאל הוא הפיך, ו- הוא ההפכי שלו. לכן גם הפיך, ו- הוא חבורה). ב-1960 נתן Adian קריטריון קומבינטורי על ההצגה, המבטיח שיכון כזה (אבל אינו הכרחי).
מאידך, יש מונואידים עם צמצום (מימין ומשמאל) שאינם ניתנים לשיכון בתוך חבורה (אפילו כזו שאינה חבורת שברים)[1]. מלצב נתן סדרה אינסופית של תנאים שמונויד המקיים אותם משוכן בחבורה, והראה שתת-קבוצה סופית של התנאים האלה אינה מספיקה.
מונואידים בתורת ההצגות
עריכהמונואידים מופיעים באופן טבעי בתורת ההצגות של חוגים, באופן הבא. יהי חוג. נתבונן במודולים מעל (עד כדי איזומורפיזם), עם פעולת החיבור שמגדיר הסכום הישר. זוהי פעולה אסוציאטיבית וקומוטטיבית, עם מודול האפס כאיבר יחידה. תורת ההצגות חוקרת בין השאר מנות של המונואיד הזה, כשהדוגמה החשובה ביותר היא חבורת גרותנדיק שלו, המגדירה את הפונקטור K0.
בהקשר זה הוגדרו כמה תכונות מופשטות של מונואידים, שמתקיימות במונואידים מתורת ההצגות אם מניחים די הנחות על החוג. להלן כמה דוגמאות.
- המונואיד הוא קוני (או מצומצם) אם מ- נובע .
- למונואיד יש יחידת סדר אם יש בו איבר , כך שלכל קיים כך ש- עבור שלם מתאים .
- המונואיד ניתן לעידון (refinement monoid) אם לכל שוויון קיימים כך ש- .
- המונואיד מפריד (separative) אם מ- נובע .
קישורים חיצוניים
עריכההערות שוליים
עריכה- ^ לדוגמה המפורסמת של Mal'cev, ראו למשל T.Y. Lam, Lectures on Modules and Rings, משפט 9.8.