אינוולוציה (תורת החוגים) – הבדלי גרסאות

חוג שאין לו [[אידיאל (תורת החוגים)|אידיאלים]] הנשמרים תחת האינוולוציה <math>\ n^2 (example)\sigma</math>נקרא '''חוג <math>\sigma</math>-פשוט'''. לכל אידיאל I, החיתוך <math>\ I \cap \sigma(I)</math> נשמר תחת <math>\ \sigma</math>, ולכן חוג <math>\sigma</math>-פשוט אם ורק אם הוא [[חוג פשוט|פשוט]] במובן הרגיל, או שהוא מהצורה <math>\ S \times S</math> עם האינוולוציה המוגדרת לפי <math>\ \tau(x,y) = (y,x)</math>, כאשר S עצמו פשוט.