שדה מקומי

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

את משפחת השדות המקומיים אפשר למיין באופן מלא. ישנם בדיוק שני שדות מקומיים שהערך המוחלט שלהם ארכימדי - שדה המספרים הממשיים \,\mathbb{R} ושדה המספרים המרוכבים \,\mathbb{C}. השדות המקומיים עם ערך מוחלט לא ארכימדי שייכים (עד כדי איזומורפיזם) לשתי קבוצות:

פעמים רבות מתייחס המונח "שדה מקומי" לשדות שהערך המוחלט שלהם לא-ארכימדי, הנקראים גם "שדות מקומיים לא ארכימדיים".

שדות מקומיים לא ארכימדים[עריכת קוד מקור | עריכה]

ערך מוחלט לא ארכימדי של שדה מקומי אפשר להגדיר על ידי הערכה דיסקרטית, שהיא פונקציה \ \nu : F^{\times} \rightarrow \mathbb{Z}, המקיימת את האקסיומות \ \nu(ab)=\nu(a)+\nu(b) ו- \ \nu(a+b)\geq \min\{\nu(a),\nu(b)\}. הערך המוחלט מוגדר במקרה כזה לפי הנוסחה \ |a|=\gamma^{\nu(a)}, כאשר \ 0 <\gamma <1 הוא קבוע.

בשדה מקומי בעל הערכה דיסקרטית F משתלבים כמה מושגים בסיסיים בטופולוגיה ובאלגברה:

חוג השלמים[עריכת קוד מקור | עריכה]

חוג השלמים בשדה מקומי (עם הערכה) הוא תחום ראשי מקומי, והמנות שלו כולן סופיות. גם ההיפך נכון: כל חוג ראשי מקומי סופי הוא מנה של חוג שלמים בשדה מקומי מתאים.

דוגמאות[עריכת קוד מקור | עריכה]

  1. המספרים הp-אדים: חוג השלמים של שדה המספרים ה-p-אדיים \,\mathbb{Q}_p הוא חוג השלמים ה-p-אדיים \,\mathbb{Z}_p. האידאל הראשוני הוא p\mathbb{Z}_p ושדה השאריות הוא \,\mathbb{Z}/p\mathbb{Z}, שדה מסדר p.
  2. השדה \ \{\sum_{n=-N}^{\infty} a_n t^n : a_n \in \mathbb{F}_q\} של טורי לורן הפורמליים מעל \ \mathbb{F}_q: חוג השלמים הוא האוסף טורי החזקות הפורמליים, \ \{\sum_{n=0}^{\infty} a_n t^n : a_n \in \mathbb{F}_q\}. האידאל המקסימלי נוצר על ידי t, ושדה השאריות שווה ל- \ \mathbb{F}_q.
  3. אוסף טורי לורן הפורמלים מעל שדה המספרים הממשיים אינם מהווים שדה מקומי - שדה השאריות של שדה זה הוא שדה המספרים הממשיים, שאינו שדה סופי.

הרחבות של שדה מקומי[עריכת קוד מקור | עריכה]

אם E הרחבה מממד סופי מעל שדה מקומי לא ארכימדי F, אז יש המשכה יחידה של ההערכה המוגדרת על F, להערכה \ \nu_E המוגדרת על E (כלומר, \ \nu_E(x)=\nu(x) לכל איבר x של F), וגם E הוא שדה מקומי. את ההרחבות הסופיות ממיינים לפי שני אינווריאנטים מספריים חשובים, הנקראים באופן מסורתי e ו- f.

  • קבוצת הערכים שההערכה החדשה מקבלת כוללת, כמובן מאליו, את כל המספרים השלמים, אבל היא עשויה להיות גדולה יותר, מן הצורה \ \frac{1}{e}\mathbb{Z}, כאשר e מספר טבעי. אם e>1, ההרחבה מסועפת.
  • שדה השאריות של E הוא מרחב וקטורי מעל שדה השאריות של F; מסמנים את הממד ב- f.

הפרמטר e מודד את מידת הסיעוף (ramification) של ההרחבה, בעוד ש- f מודד את השינוי בשדה השאריות. מכפלת שני הפרמטרים האלה שווה תמיד לממד ההרחבה. שני הפרמטרים e ו-f כפליים, כלומר, אם \ F\subset E \subset K שדות מממד סופי, אז \ f(K/F)=f(K/E)f(E/F) (לפי נוסחת המכפלה לממדים של שדות), וכן ל- e.

הרחבה שבה e=1 נקראת הרחבה לא מסועפת של F - ויש בדיוק אחת כזו מכל מימד. כולן הרחבות גלואה. את ההרחבה הלא-מסועפת המקסימלית של F (שממדה אינסופי) מסמנים ב- \ F_{nr}, וחבורת גלואה של \ F_{nr}/F איזומורפית לחבורת גלואה האבסולוטית של שדה השאריות של F, היינו להשלמה הפרו-סופית \ \widehat{\mathbb Z}.

הרחבות שבהן f=1 הן הרחבות מסועפות לחלוטין, והן נוצרות על ידי סיפוח שורשים לפולינום אייזנשטיין מעל חוג השלמים.

בכל הרחבה E של F יש תת-שדה לא מסועף מקסימלי, וההרחבה של E מעליו היא מסועפת לחלוטין.

תורת שדות המחלקה[עריכת קוד מקור | עריכה]

תורת שדות המחלקה (class field theory) היא אחד מאבני היסוד של תורת המספרים האלגברית. עבור שדות מקומיים אפשר לסכם את עיקריה כדלקמן. לכל הרחבת גלואה K/F של שדות מקומיים, עם חבורת גלואה G מסדר n, חבורת הקוהומולוגיה השנייה \ H^2(G,K^\times) (שהיא חבורת בראוור היחסית של ההרחבה) היא ציקלית מסדר n. יש העתקה כפלית בשני המרכיבים \ H^2(G,K^{\times}) \times G \rightarrow F^{\times}/N_{K/F}(K^{\times}), כך שאם קובעים יוצר של החבורה במרכיב הראשון, ההעתקה היא על, והגרעין ברכיב השני הוא תת-חבורת הקומוטטורים של G. בפרט \ F^\times/ N(K^{\times}) איזומורפית לאבליניזציה \ G/G' של \,G.

ראו גם[עריכת קוד מקור | עריכה]