כל מה שרצית לדעת על תחום הערכה דיסקרטית:
במתמטיקה, ובמיוחד באלגברה מופשטת, תחום הערכה דיסקרטית (באנגלית discrete valuation ring, או DVR) הוא תחום שלמות המהווה חוג שלמים של הערכה דיסקרטית כלשהי של שדה (ראו להלן).
מבין החוגים המרכזיים בתורת המספרים האלגברית, האריתמטיקה של תחומי הערכה דיסקרטית היא הפשוטה ביותר: בכל חוג כזה יש איבר ראשוני יחיד p, וכל איבר שקול (עד כדי הפיכים) לחזקה של p; לכן כל אידיאל של החוג הוא מהצורה   ⟨ p n ⟩ {\displaystyle \ \langle p^{n}\rangle } .
כל מיקום של חוג דדקינד באידיאל ראשוני הוא תחום הערכה דיסקרטית.
לדוגמה, Z ⟨ 2 ⟩ = { a b : a , b ∈ Z , 2 ⧸ | b } {\displaystyle \,\mathbb {Z} _{\langle 2\rangle }=\{{\frac {a}{b}}:a,b\in \mathbb {Z} ,2\!\not |b\}} הוא תחום הערכה דיסקרטית (השייך להערכה ה-2-אדית של הרציונליים).
את תחומי ההערכה הדיסקרטיים אפשר לאפיין בדרכים רבות.
להלן כמה הגדרות שקולות, הקובעות מתי תחום שלמות R הוא תחום הערכה דיסקרטית.
R הוא תחום ראשי מקומי (שאינו שדה).
R הוא חוג דדקינד מקומי (שאינו שדה).
R הוא חוג מקומי נתרי עם ממד קרול חיובי, שהאידיאל המקסימלי שלו ראשי.
R הוא תחום פריקות יחידה בעל איבר אי פריק יחיד (עד כדי כפל באיברים הפיכים).
קיימת הערכה דיסקרטית v על שדה השברים K של R כך ש R הוא חוג השברים R = { x ∈ K : v ( x ) ≥ 0 } {\displaystyle \,R=\{x\in K:v(x)\geq 0\}} .
החוג קובע את ההערכה באופן יחיד (עד כדי כפל בקבוע).
R הוא תחום הערכה שחבורת ההערכה שלו היא המספרים השלמים ביחס לפעולת החיבור.
ההערכה מגדירה על R טופולוגיה מטרית, המאפשרת להגדיר השלמה, שגם היא תחום הערכה דיסקרטית.
לדוגמה, ההשלמה של Z ⟨ 2 ⟩ {\displaystyle \,\mathbb {Z} _{\langle 2\rangle }} היא חוג השלמים ה-2-אדיים Z 2 {\displaystyle \,\mathbb {Z} _{2}} .
לכל שדה ממאפיין חיובי p יש חוג הערכה דיסקרטית שלם לא מסועף יחיד ששדה השאריות שלו הוא F.
כל חוג מקומי (קומוטטיבי) ארטיני ראשי הוא מנה של תחום הערכה דיסקרטית שלם.
יהי P אידיאל ראשוני של תחום דדקינד R.
אזי אפשר להגדיר את ההערכה הבאה: v ( x ) = max { n | x ∈ P n } {\displaystyle v(x)=\max\{n|x\in P^{n}\}} ו- v ( 0 ) = ∞ {\displaystyle v(0)=\infty } .
לדוגמה, קל לראות שההערכה ה-p-אדית מתקבלת בצורה זו כאשר p Z p {\displaystyle p\mathbb {Z} _{p}} הוא האידיאל המקסימלי P בחוג המספרים ה-p-אדיים.
הערכה זו מאפשרת להגדיר ערך מוחלט p-אדי | x | p = p − v ( x ) {\displaystyle |x|_{p}=p^{-v(x)}} על שדה המספרים ה-p-אדיים.
אוחזר מתוך "https://he.
wikipedia.
org/w/index.
php?title=תחום_הערכה_דיסקרטית&oldid=25622065"קטגוריות: תורת החוגיםתחומי שלמות
נלקח מויקיפדיה

הגדרות נוספות הקשורות לתחום הערכה דיסקרטית:
•תורת החוגים
•תחומי שלמות