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


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

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

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

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

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

נלקח מויקיפדיה

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