תחום פרופר

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

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

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

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

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

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

  1. כל אידיאל נוצר סופית I (שונה מאפס) הוא הפיך, כלומר, יש אידיאל שברי נוצר סופית J כך ש-IJ=R (בשפה מפורשת יותר, לכל קיימים כך שלכל i,j מתקיים , ו- ).
  2. אוסף האידיאלים השבריים הנוצרים סופית מהווה חבורה.
  3. כל מודול נוצר סופית חסר פיתול הוא פרויקטיבי.
  4. כל מודול חסר פיתול הוא שטוח[1].
  5. כל על-חוג הוא שטוח, כמודול מעל R.
  6. כל אידיאל הוא שטוח[1].
  7. כל אידיאל נוצר סופית הוא שטוח[1].
  8. כל אידיאל נוצר סופית הוא פרויקטיבי (כלומר החוג תורשתי למחצה).
  9. המכפלה הטנזורית של שני אידיאלים היא חסרת פיתול[2].
  10. המכפלה הטנזורית של שני מודולים חסרי פיתול היא חסרת פיתול[2].
  11. סריג האידיאלים דיסטריבוטיבי, כלומר, לכל שלושה אידיאלים , מתקיים .
  12. לכל שלושה אידיאלים מתקיים .
  13. לכל שלושה אידיאלים מתקיים .
  14. לכל שלושה אידיאלים מתקיים .
  15. כל "על-חוג" (חוג המכיל את R ומוכל בשדה השברים שלו), הוא סגור בשלמות (integrally closed).
  16. לכל אידיאל ראשוני P, המיקום הוא תחום הערכה.
  17. לכל אידיאל מקסימלי M, המיקום הוא תחום הערכה.

תכונות נוספות ודוגמאות[עריכת קוד מקור | עריכה]

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

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

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

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

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

  1. ^ 1.0 1.1 1.2 Modules Over Non-Noetherian Domains, László Fuchs, Luigi Salce, Thm VI.9.10
  2. ^ 2.0 2.1 Foundations of Module and Ring Theory, Wisbauer, Thm 40.4