תחום פרופר

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

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

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

הגדרות שקולות

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

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

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

תכונות נוספות ודוגמאות

בין החוגים הנתריים, תחומי פרופר אינם אלא תחומי דדקינד. כל תחום בזו הוא תחום פרופר; במקרה זה התכונה החסרה היא קיום מחלקים משותפים מקסימליים: תחום בזו אפשר להגדיר גם כתחום פרופר בעל 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
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0