תחום הערכה דיסקרטית

במתמטיקה, ובמיוחד באלגברה מופשטת, תחום הערכה דיסקרטית (באנגלית discrete valuation ring, או DVR) הוא תחום שלמות המהווה חוג שלמים של הערכה דיסקרטית כלשהי של שדה (ראו להלן). 

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

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

 תחומי הערכה בדידה שלמים  

ההערכה מגדירה על החוג  טופולוגיה מטרית, והוא עשוי להיות שלם ביחס אליה. לכל תחום הערכה בדידה יש השלמה, שהיא תחום הערכה בדידה שלם. לדוגמה, ההשלמה של  היא חוג השלמים ה-3-אדיים .

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

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

 מודולים מעל תחום הערכה בדידה 

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

לתחום הערכה בדידה יש רק שני מודולים חסרי פיתול מדרגה 1: החוג עצמו, ושדה השברים שלו.

התכונות הבאות של תחום ראשי שקולות זו לזו: 
 החוג הוא תחום הערכה בדידה שלם. 
 כל מודול נוצר מנייתית מדרגה 2 הוא פריד.
 כל מודול נוצר מנייתית הוא סכום ישר של מודולים מדרגה 1.
 כל מודול אי-פריד נוצר מנייתית הוא מדרגה 1. 

מעל תחום הערכה בדידה שלם, חוג האנדומורפיזמים של מודול M מקיים את הגרסה הבאה של משפט סקולם-נתר, במקרה ש-M מודול מפותל, או חסר פיתול, או בעל מחובר ישר איזומורפי ל-R: כל אוטומורפיזם של החוג  המקבע את המרכז, הוא פנימי 

קטגוריה:תורת החוגים
קטגוריה:תחומי שלמות