אידיאל פרימרי

מתוך ויקיפדיה, האנציקלופדיה החופשית
(הופנה מהדף אידאל פרימרי)
קפיצה אל: ניווט, חיפוש

באלגברה מופשטת, אידאל פרימרי (או אידאל קמאי) של חוג קומוטטיבי הוא אידאל, המקיים את התכונה הבאה: אם המכפלה ab שייכת לאידאל, אז או ש- a שייך לאידאל, או שחזקה כלשהי של b שייכת לאידאל. אידאל הוא ראשוני אם במקרה כזה אחד מבין a או b שייך לאידאל, ולכן כל אידאל ראשוני הוא פרימרי.

כל חזקה של אידאל מקסימלי היא פרימרית. בחוג דדקינד גם ההפך נכון: כל אידאל פרימרי שאינו אפס הוא חזקה של אידאל מקסימלי. לדוגמה, בחוג השלמים האידאלים הפרימריים הם האידאלים מהצורה עבור p ראשוני.

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

תכונות[עריכת קוד מקור | עריכה]

הוכחה. זה נובע ישירות מההגדרה הבאה של ראשוניות - אם לכל או או אז ראשוני.

הוכחה. נניח , לכן . מתוך הפרימריות של יוצא ש: או או עבור כלשהו. עכשיו, אם אז ואם אז . לכן הרדיקל ראשוני כפי שרצינו.

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

פרימריות חזקה[עריכת קוד מקור | עריכה]

אידאל Q הוא פרימרי בחזקה (strongly primary) אם קיים n כך שהרדיקל מקיים . כל אידאל פרימרי נוצר סופית הוא פרימרי בחזקה.

מקורות[עריכת קוד מקור | עריכה]

  • The Concise Handbook of Algebra, Chapter C.1, R. Gilmer.

ראו גם[עריכת קוד מקור | עריכה]