הערכה (אלגברה)

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

== הגדרה ==

הערכה על שדה F היא פונקציה <math>\ \nu : F \rightarrow \Gamma \cup \{\infty\}</math>, כאשר <math>\ \Gamma</math> חבורה אבלית סדורה, המקיימת את האקסיומות הבאות: 
# <math>\ \nu(x) = \infty</math> אם ורק אם <math>\ x=0</math>;
# <math>\ \nu(xy) = \nu(x)+\nu(y)</math>;
# <math>\ \nu(x+y) \geq \min\{\nu(x),\nu(y)\}</math>.

חבורת הערכים <math>\ \Gamma_{\nu} = \operatorname{Im}(\nu) \subseteq \Gamma</math> נקראת חבורת ההערכה. אם <math>\ \Gamma_{\nu}</math> ציקלית, ההערכה נקראת הערכה דיסקרטית (מדרגה 1).

ההערכה מגדירה בתוך השדה את חוג ההערכה <math>\ \mathcal{O}_{\nu} = \{x : \nu(x) \geq 0\}</math>, שהוא אכן תחום הערכה, ובפרט תחום שלמות מקומי, ואת אידיאל ההערכה <math>\ \mathfrak{m}_\nu = \{x: \nu(x)>0\}</math>, שהוא האידיאל המקסימלי של <math>\ \mathcal{O}</math>, וממילא גם את שדה השאריות <math>\ \bar{F} = \mathcal{O}/\mathfrak{m}</math>. בנוסף לזה, טופולוגיית הסדר של <math>\ \Gamma</math> משרה טופולוגיה על F (הקטנה ביותר שעבורה ההערכה היא פונקציה רציפה), ואיתה את מושג ההתכנסות. יתרה מזו, אם <math>\ \Gamma \subseteq \mathbb{R}</math>, ובפרט אם ההערכה דיסקרטית מדרגה 1, אז מושרית על השדה מטריקה לא ארכימדית <math>\ d(x,y) = e^{-\nu(x-y)}</math>. ממד קרול (הקטן) של חוג ההערכה שווה לדרגה של חבורת ההערכה.

== דוגמאות ==

הדוגמה הקלאסית היא ההערכה ה-p-אדית של המספרים הרציונליים, המוליכה גם לשדה המספרים ה-p-אדיים <math>\ \mathbb{Q}_p</math>. אכן, <math>\ \mathbb{Q}_p</math> היא ההשלמה של <math>\ \mathbb{Q}</math> ביחס למטריקה שמשרה ההערכה ה-p-אדית. באופן כללי יותר, אם D תחום שלמות ו-p איבר ראשוני כך ש-<math>\ \bigcap p^nD = 0</math>, אפשר להגדיר את ההערכה ה-p-אדית על שדה השברים של D, כך שלכל <math>\ 0 \neq x\in D</math> <math>\ \nu_p(x)</math> היא החזקה המקסימלית של p המחלקת את x.

הפונקציה <math>\ f \mapsto (\nu_x(f),\nu_y(\bar{f}))</math> (כאשר <math>\ \bar{f}</math> הוא המקדם של החזקה הנמוכה ביותר של x ב-f), המוגדרת על פולינומים בשני המשתנים x,y, מגדירה הערכה <math>\ \mathbb{C}(x,y) \rightarrow \mathbb{Z}^2</math>. באופן כללי יותר, אפשר להרכיב הערכה <math>\ F \rightarrow \Gamma</math> על הערכה <math>\ \bar{F} \rightarrow \Delta</math> ולקבל הערכה <math>\ F \rightarrow \Gamma\times \Delta</math>, כאשר החבורה האחרונה מסודרת לקסיקוגרפית.

אפשר להכליל את ההערכה ה-p-אדית לכל חבורה אבלית, באופן הבא. תהי A חבורה אבלית המקיימת <math>\bigcap p^nA = 0</math>. נגדיר את הגובה <math>ht(a)</math> של איבר a להיות n המקסימלי כך ש-<math>a\in p^nA</math>. אז <math>ht(a+b)\geq \min\{ht(a),ht(b)\}</math>. הכללה של הגובה למספרים סודרים מובילה למשפט אולם על המיון של חבורות אבליות מפותלות בנות מניה.

== הרחבות של הערכות ==

אם K שדה המכיל את F, הרחבה של ההערכה <math>\ \nu : F \rightarrow \Gamma</math> מ-<math>F</math> ל-<math>K</math> היא הערכה <math>\ \nu' : K \rightarrow \Gamma'</math> המסכימה עם <math>\nu</math> על <math>F</math>, כאשר <math>\ \Gamma \subseteq \Gamma'</math>. 

כל הערכה אפשר להרחיב: לכל הערכה <math>\ \nu : F \rightarrow \Gamma</math>, ולכל הרחבת שדות <math>K/F</math>, יש הרחבה של ההערכה מ-<math>F</math> ל-<math>K</math>. אי-השוויון היסודי עבור הרחבות של הערכות קובע שאם K/F הרחבה מממד סופי, ו-<math>\ \nu_1,\dots,\nu_g</math> הן ההרחבות השונות של <math>\ \nu</math>, אז <math>\ \sum_i [\overline{K}^{\nu_i}:\overline{F}]\cdot [\Gamma_{\nu_i}:\Gamma_{\nu}] \leq [K: F]</math>. כביכול, סך כל הגידול בשדות השארית ובחבורות ההערכה חסום על ידי ממד ההרחבה. בפרט, מספר ההרחבות של ההערכה הוא סופי; שדה השאריות של K הוא הרחבה אלגברית של שדה השאריות של F; וחבורת ההערכה של ההרחבה מוכלת ב"השלמה החילוקית" <math>\ \mathbb{Q} \otimes_{\mathbb{Z}} \Gamma</math>.

תהי K/F הרחבה סופית של שדות, ותהי <math>\nu</math> הערכה של F שיש לה הרחבה יחידה ל-K. במקרה זה, <math>\ [\overline{K}:\overline{F}]\cdot [\Gamma_{\nu}:\Gamma_{\nu}] \leq [K: F]</math>, כך שהגידול בשדה השאריות והגידול בחבורת הערכים באים זה על חשבון זה. המקרים הקיצוניים ראויים לכינוי נפרד. 
* ההרחבה היא בלתי מסועפת (או אינרטית) אם <math>\ [\overline{K}:\overline{F}] = [K:F]</math> ו-<math>\ \overline{K}/\overline{F}</math> ספרבילית; במקרה זה <math>\ \Gamma_K = \Gamma_F</math>. 
* ההרחבה מסועפת לחלוטין אם <math>\ [\Gamma_K:\Gamma_F] = [K:F]</math>; במקרה זה <math>\ \overline{K} = \overline{F}</math>.
תכונות אלה הן טרנזיטיביות: אם <math>\ F \subset K \subset E</math>, עם הרחבה יחידה של הערכה מ-F ל-E, אז E/F בלתי מסועפת אם ורק אם K/F ו-E/K בלתי מסועפות; ו-E/F מסועפת לחלוטין אם ורק אם K/F ו-E/K מסועפות לחלוטין.

==הערכות בהרחבות גלואה==

תהי <math>K/F</math> הרחבת גלואה, כאשר <math>F</math> שדה עם הערכה <math>\nu</math>. חבורת גלואה של ההרחבה, שנסמן ב-<math> G = \operatorname{Gal}(K/F)</math>, פועלת טרנזיטיבית על ההרחבות של <math>\nu</math> ל-<math>K</math>; נסמן אחת מהן ב-<math>\omega</math>. הרחבת השדות משרה שרשרת קנונית של תת-חבורות <math>\ 1 \subseteq G^{\operatorname{ram}} \subseteq G^{\operatorname{in}} \subseteq G^{\operatorname{dec}} \subseteq G</math>, המוגדרות באופן הבא:
* <math>\ G^{\operatorname{dec}} = \{\sigma \in G : \omega \circ \sigma = \omega\}</math> - חבורת הפירוק; 
* <math>\ G^{\operatorname{in}} = \{\sigma \in G : (\forall x \in \mathcal{O}_K) \omega(x)-x \in \mathfrak{m}_K\}</math> - חבורת האינרציה; 
* <math>\ G^{\operatorname{ram}} = \{\sigma \in G : (\forall x \in K^{\times}) \omega(\sigma(x)-x) > \omega(x)\}</math> - חבורת הסיעוף. 

התאמת גלואה מתאימה לשרשרת החבורות שרשרת של שדות, <math>F \subseteq D_{K/F} \subseteq I_{K/F} \subseteq R_{K/F} \subseteq K</math>, הנקראים "שדה הפירוק", "שדה האינרציה" ו"שדה הסיעוף" בהתאמה, ולהם התכונות הבאות:
* <math>\ [D_{K/F}:F]</math> שווה למספר ההרחבות של <math>\ \nu</math> אל K, ל-<math>\ \omega|_D</math> יש הרחבה יחידה אל K, ובנוסף לזה <math>\ \overline{D} = \overline{F}</math> ו-<math>\ \Gamma_D = \Gamma_F</math>;
* ההרחבה <math>\ I_{K/F}/D_{K/F}</math> אינרטית, ויש איזומורפיזם <math>\ \operatorname{Gal}(I_{K/F}/D_{K/F}) \cong G^{\operatorname{dec}}/G^{\operatorname{in}} \cong \operatorname{Aut}(\overline{K}/\overline{F})</math>; 
* ההרחבה <math>\ R_{K/F}/I_{K/F}</math> מסועפת לחלוטין, ויש איזומורפיזם <math>\ \operatorname{Gal}(R_{K/F}/I_{K/F}) \cong G^{\operatorname{in}}/G^{\operatorname{ram}} \cong \Gamma_K/\Gamma_F</math>;
* <math>\ \overline{K}/\overline{R}</math> אי-ספרבילית טהורה, ו-<math>\ \Gamma_K/\Gamma_R</math> היא חבורת-p כאשר <math>\ p = \operatorname{char}\overline{F}</math>.
בלשון לא פורמלית, ההרחבה מתפרקת לארבעה צעדים: הראשון מוקדש למיון ההרחבות של ההערכה משדה הבסיס, השני לגידול שדה השארית, השלישי לגידול חבורת הערכים, והרביעי לפתולוגיות הכרוכות במאפיין.

== הערכות הנזליות ==

הערכות המקיימות את הלמה של הנזל והכללות שלה נקראות "הערכות הנזליות". הערכה של F היא הערכה הנזלית אם היא מקיימת את התכונות השקולות הבאות: 
* יש לה הרחבה יחידה לכל הרחבה אלגברית של F;
* אם <math>\ f \in \mathcal{O}[x]</math> פולינום מתוקן ובשדה השאריות יש פירוק <math>\ \bar{f} = g_1g_2</math> כאשר <math>\ g_1,g_2</math> פולינומים מתוקנים זרים, אז יש פירוק לפולינומים מתוקנים <math>\ f = f_1 f_2</math> כך ש-<math>\ \bar{f_i} = g_i</math>;
* אם <math>\ f \in \mathcal{O}[x]</math> פולינום מתוקן ובשדה השאריות יש שורש <math>\ \bar{f}(c) = 0</math> כך ש-<math>\ f'(c) \neq 0</math>, אז יש שורש יחיד <math>\ a \in \mathcal{O}</math> של f כך ש-<math>\ \bar{a} = c</math>;
* כל אלגברה קומוטטיבית מעל <math>\ \mathcal{O}</math> שהיא מודול סופי, היא מכפלה ישרה של חוגים מקומיים;
* לכל אלגברה R מעל <math>\ \mathcal{O}</math> (שלמה, אבל לאו דווקא קומוטטיבית), ולכל אידיאל I של R, אפשר להרים אידמפוטנטים מ-R/I ל-R.
מן ההגדרה נובע שהרחבה של הערכה הנזלית, גם היא הנזלית. משתי התכונות האחרונות נובע שהנזליות היא תכונה של חוג השלמים. 

לדוגמה, הערכה דיסקרטית שלמה היא הנזלית. הנזליות היא הכללה של מושג השלמות, החל רק על הערכות דיסקרטיות. הרכבה של הרחבות הנזליות היא הנזלית.

== מקורות ==
<div class="mw-content-ltr">
* Jean-Pierre Tignol and Adrian R. Wadsworth, Value Functions on Simple Algebras, and Associated Graded Rings, Springer Monographs in Mathematics, 2015, Appendix A.
</div>
<div class="mw-content-ltr">
* Efrat, I.: Valuations, Orderings, and Milnor K-Theory. Mathematical Surveys and Monographs, vol. 124. American Mathematical Society, Providence (2006)
</div>
==קישורים חיצוניים==
* 

קטגוריה:אלגברה