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