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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 15:
בחוגים בעלי [[ממד קרול]] 1 (ובפרט, בכל [[חוג דדקינד]]), כל אידיאל ראשוני (שונה מאפס) הוא מקסימלי. לכן ב[[חוג השלמים]], האידיאלים המקסימליים הם אלו הנוצרים על-ידי מספרים ראשוניים.
 
אם F [[שדה סגור אלגברית]], אז כל אידיאל מקסימלי של ה[[אלגברה אפינית|אלגברה האפינית]] של הפולינומים
<math>\ F[\lambda_1,\dots,\lambda_n]</math> הוא מן הצורה
<math>\ \left<\lambda_1-a_1,\dots,\lambda_n-a_n\right></math>; בשפה [[גאומטריה אלגברית|גאומטרית]], פירושו של דבר שכל יריעה אפינית אי-פריקה ממימד 0 היא נקודה. אם n>1, לא כל אידיאל ראשוני הוא מקסימלי.
 
'''דוגמא פתולוגית'''. בחוג ללא יחידה <math>\ 2\mathbb{Z}</math>, האידיאל <math>\ 4\mathbb{Z}</math> הוא מקסימלי, אבל חוג המנה הוא חוג בלי יחידה בן שני אברים, שבו הריבוע של כל איבר הוא 0 (ולכן זה אינו שדה).