אידאל מקסימלי

בתורת החוגים אידאל מקסימלי של חוג הוא אידאל (אמיתי) שהוא מקסימלי ביחס לסדר ההכלה - כלומר, אינו מוכל באף אידאל גדול יותר (פרט לחוג עצמו). חוג המנה ביחס לאידאל מקסימלי הוא חוג פשוט, כלומר אין לו אף אידאל לא טריביאלי. במקרה הקומוטטיבי, חוג המנה הוא שדה.

לפי הלמה של צורן, כל אידאל בחוג עם יחידה (או אפילו חוג שיש בו אידמפוטנט שונה מאפס כלשהו) מוכל באידאל מקסימלי (זהו "משפט קרול", 1929). חוג שיש לו אידאל מקסימלי אחד בלבד נקרא חוג מקומי.

כל אידאל מקסימלי הוא אידיאל ראשוני.

הגדרה 
יהי  חוג. אידאל אמיתי  הוא מקסימלי אם אין אידאל אמיתי  המכיל אותו ממש.

אידאלים חד-צדדיים 
באותו אופן ניתן להגדיר אידאל שמאלי מקסימלי להיות אידאל שמאלי (אמיתי) שאינו מוכל באף אידאל שמאלי אחר. זה שקול לכך שמודול המנה  הוא -מודול שמאלי פשוט. (וכן לאידאלים ימניים).

לאידאלים שמאליים מקסימליים תפקיד חשוב בתורת המבנה של חוגים פרימיטיביים. חיתוך כל האידאלים השמאליים המקסימליים הוא הרדיקל של ג'ייקובסון.

דוגמאות 
בחוגים בעלי ממד קרול 1 (ובפרט, בכל חוג דדקינד), כל אידאל ראשוני (שונה מאפס) הוא מקסימלי. לכן בחוג השלמים, האידאלים המקסימליים הם אלו הנוצרים על ידי מספרים ראשוניים.

אם  שדה סגור אלגברית, אז כל אידאל מקסימלי של האלגברה האפינית של הפולינומים
 הוא מן הצורה
; בשפה גאומטרית, פירושו של דבר שכל יריעה אפינית אי-פריקה ממימד 0 היא נקודה. אם n>1, לא כל אידאל ראשוני הוא מקסימלי.

דוגמה פתולוגית. בחוג ללא יחידה , האידאל  הוא מקסימלי, אבל חוג המנה הוא חוג בלי יחידה בן שני איברים, שבו הריבוע של כל איבר הוא 0 (ולכן זה אינו שדה).

מקורות 
(באנגלית)
 http://www.mathreference.com/ring,maxi.html
 http://planetmath.org/encyclopedia/MaximalIdeal.html

קישורים חיצוניים
 

תורת החוגים