תחום פרופר

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

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

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

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

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

תחום שלמות R הוא פרופר אם ורק אם הוא מקיים לפחות אחת מהתכונות השקולות הבאות (ואז הוא מקיים את כולן):

  1. כל אידאל נוצר סופית I (שונה מאפס) הוא הפיך, כלומר, יש אידאל שברי נוצר סופית J כך ש-IJ=R (בשפה מפורשת יותר, לכל \ a_1,\dots,a_n \in R קיימים \ b_1,\dots,b_n, c\in R כך שלכל i,j מתקיים \ c | b_i a_j, ו- \ a_1b_1 + \cdots + a_n b_n = c).
  2. אוסף האידאלים השבריים הנוצרים סופית מהווה חבורה.
  3. כל מודול נוצר סופית חסר פיתול הוא פרויקטיבי.
  4. כל מודול חסר פיתול הוא שטוח.
  5. כל על-חוג הוא שטוח, כמודול מעל R.
  6. כל אידאל הוא שטוח.
  7. המכפלה הטנזורית של שני אידאלים היא חסרת פיתול.
  8. המכפלה הטנזורית של שני מודולים חסרי פיתול היא חסרת פיתול.
  9. סריג האידאלים דיסטריבוטיבי, כלומר, לכל שלושה אידאלים \ I,J,K, מתקיים \ I \cap (J+K) = (I\cap J)+(I\cap K).
  10. כל "על-חוג" (חוג המכיל את R ומוכל בשדה השברים שלו), הוא שלם אלגברית (integrally closed).
  11. לכל אידאל ראשוני P, המיקום \ R_P הוא חוג הערכה.
  12. לכל אידאל מקסימלי M, המיקום \ R_M הוא חוג הערכה.

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

שתי דוגמאות טיפוסיות לתחומי פרופר שאינם נתריים הן חוג השלמים האלגבריים, והחוג \ \left\{f\in \mathbb{Q}[x] | f(\mathbb{Z}) \subseteq \mathbb{Z}\right\} של פולינומים רציונליים המקבלים ערכים שלמים. בדוגמה האחרונה אפשר להחליף את \ \mathbb{Z} ו-\ \mathbb{Q} בכל תחום דדקינד שהמנות שלו סופיות, ושדה השברים המתאים.

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

  • Robert Wisbauer, Foundations of Module and Ring Theory, 1991; [1], section 40.