חבורה למחצה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏איברים מיוחדים: העיקר היה חסר אז הישלמתי
שורה 34:
=== רצועות ===
 
חבורה-למחצה S שכל אבריה הם אידמפוטנטים נקראת "רצועה" (band). אם S סופית, כל [[מודול אי-פריק]] של FS הוא חד-ממדי. כל רצועה היא רגולרית (כל איבר הפכי לעצמו).
חבורה-למחצה המקיימת את הזהויות <math>\ x^2 = x</math> ו- <math>\ xyx = xy</math> נקראת "רצועה רגולרית משמאל" (left-regular band). הזהות האידמפוטנטית לבדה מבטיחה רגולריות (כל איבר הפכי לעצמו). לרצועות רגולריות יש שימושים בחקירת הילוכים על מבנים גאומטריים כגון אוסף התאים הנוצר מחלוקת המרחב באמצעות על-מישורים.
 
חבורה-למחצהרצועה המקיימת את הזהויות <math>\ x^2 = x</math> ו-הזהות <math>\ xyx = xy</math> נקראת "רצועה רגולרית משמאל" (left-regular band). הזהות האידמפוטנטית לבדה מבטיחה רגולריות (כל איבר הפכי לעצמו). לרצועות רגולריות יש שימושים בחקירת הילוכים על מבנים גאומטריים כגון אוסף התאים הנוצר מחלוקת המרחב באמצעות על-מישורים.
 
== חבורה למחצה הפיכה ==