מונואיד (מבנה אלגברי) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט החלפות: דוגמה; |
|||
שורה 18:
==מבנים במונואיד==
במונואיד אפשר להגדיר '''תת-מונואיד''' בדומה לתת-חבורה של חבורה: תת-קבוצה S, המכילה את איבר היחידה, מהווה תת-מונואיד אם היא סגורה לכפל (כלומר, לכל <math>\ a,b \in S</math> גם <math>\ ab\in S</math>). אוסף האיברים ההפיכים במונואיד מהווה תת-מונואיד, שהוא גם חבורה (זו נקראת 'חבורת ההפיכים במונואיד'). בדומה להגדרה בחוגים, אפשר להגדיר במונואיד אידאל (ימני, שמאלי, או דו-צדדי), וגם 'מונואיד מנה' ביחס לאידאל. האידיאל המינימלי של מונואיד קומוטטיבי (כלומר, חיתוך כל האידיאלים של המונואיד), הוא [[חבורה (מבנה אלגברי)|חבורה]].
==מונואידים עם צמצום==
|