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

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