תחום הערכה דיסקרטית – הבדלי גרסאות

# ''R'' הוא [[תחום פריקות יחידה]] בעל איבר אי פריק יחיד (עד כדי כפל באיברים הפיכים).

# קיימת [[הערכה (מתמטיקה)|הערכה]] דיסקרטית ''v'' על [[שדה שברים|שדה השברים]] ''K'' של ''R'' כך ש ''R'' הוא חוג השברים <math>\,R=\{x\in K:v(x)\ge 0\}</math>. החוג קובע את ההערכה באופן יחיד (עד כדי כפל בקבוע).

 

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