הבדלים בין גרסאות בדף "חבורה למחצה"

הוסרו 2 בתים ,  לפני 6 חודשים
מ
בוט החלפות: מסוי\1, דוגמה\1
מ (בוט החלפות: מסוי\1, דוגמה\1)
 
תת-קבוצה לא ריקה של חבורה למחצה S היא '''אידיאל''' אם היא סגורה לכפל מימין ומשמאל באברי S. למשל, אם ב-S יש איבר אפס 0, אז {0} הוא אידיאל. חבורה למחצה היא '''פשוטה''' אם אין לה אידיאלים למעט עצמה.
כל חבורה למחצה אפשר לשכן בחבורה פשוטה. את החבורה למחצה {0,1} (עם הכפל הרגיל) אי אפשר לשכן בחבורה למחצה פשוטה סופית. חבורה למחצה פשוטה היא '''פשוטה לחלוטין''' אם יש לה אידמפוטנט פרימיטיבי (לדוגמאלדוגמה, אם היא סופית). '''משפט ריס''' (Rees, 1940) מתאר את החבורות למחצה שהן פשוטות לחלוטין בתור אלו שמתקבלות מבניה מטריציאלית מסויימתמסוימת ("Rees matrix semigroup" מעל חבורה).
 
==קישורים חיצוניים==