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

תוכן שנמחק תוכן שנוסף
Addbot (שיחה | תרומות)
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1203540
שורה 1:
ב[[תורת החוגים]] '''אידאל מקסימלי''' של [[חוג (מבנה אלגברי)|חוג]] הוא [[אידאל (אלגברה)|אידאל]] שהוא [[איבר מקסימלי|מקסימלי]] ביחס לסדר ההכלה - כלומר, אינו מוכל באף אידאל גדול יותר (פרט לחוג עצמו). [[חוג מנה|חוג המנה]] ביחס לאידאל מקסימלי הינוהוא [[חוג פשוט]], כלומר אין לו אף אידאל לא טריויאליטריביאלי. במקרה ה[[חוג קומוטטיבי|קומוטטיבי]], חוג המנה הוא [[שדה (מבנה אלגברי)|שדה]].
 
לפי [[הלמה של צורן]], כל אידאל בחוג עם יחידה (או אפילו חוג שיש בו [[אידמפוטנט]] שונה מאפס כלשהו) מוכל באידאל מקסימלי (זהו "משפט קרול", 1929). חוג שיש לו אידאל מקסימלי אחד בלבד נקרא [[חוג מקומי]].