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

נוספו 528 בתים ,  לפני 11 שנים
חבורה למחצה היא '''רגולרית''', אם לכל איבר a קיים איבר b, שעבורו <math>\ aba=a</math>. במקרה כזה האיבר <math>\ c=bab</math> הוא [[#הפכיים|הפכי]] של <math>\ a</math>, ולכן אפשר גם להגדיר: חבורה למחצה היא רגולרית, אם כל האיברים בה הפיכים.
 
לדוגמה, אלגברת המטריצות <math>\ M_n(F)</math>, מכל כל [[שדה (מבנה אלגברי)|שדה]], היא חבורה-למחצה רגולרית. אם A [[אלגברה (מבנה אלגברי)|אלגברה]] ממימד סופי, אז החבורה-למחצה של כל האיברים (ביחס לכפל) היא רגולרית אם ורק אם האלגברה [[חוג פשוט למחצה|פשוטה למחצה]]. אם <math>\ G\leq GL_n(F)</math> [[חבורה אלגברית]] מעל [[שדה סגור אלגברית]] F, אז [[סגור (טופולוגיה)|סגור]] [[טופולוגיית זריצקי|זריצקי]] שלה, שהוא תת-חבורה-למחצה של <math>\ M_n(F)</math>, הוא רגולרי אם ורק אם החבורה [[חבורה רדוקטיבית|רדוקטיבית]].
 
=== רצועות ===
 
חבורה-למחצה המקיימת את הזהויות <math>\ x^2 = x</math> ו- <math>\ xyx = xy</math> נקראת "רצועה רגולרית משמאל" (left-regular band). הזהות האידמפוטנטית לבדה מבטיחה רגולריות (כל איבר הפכי לעצמו). לרצועות רגולריות יש שימושים בחקירת הילוכים על מבנים גאומטריים כגון אוסף התאים הנוצר מחלוקת המרחב באמצעות על-מישורים.
 
== חבורה למחצה הפיכה ==