שדה גלובלי

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

• שדה מספרים, דהיינו הרחבה אלגברית סופית של שדה המספרים הרציונלים.
• שדה הפונקציות הרציונליות של עקום אלגברי מעל שדה סופי, דהיינו שדה נוצר סופית ממאפיין $\ 0<p$ וממעלת טרנסצנדנטיות 1.

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

נוסחת המכפלה

הנוסחה המגדירה את השדות הגלובליים קושרת את כל הערכים המוחלטים של השדה, וליתר דיוק את הערכים המוחלטים עד כדי שקילות. שדה הוא גלובלי אם אפשר לבחור נציג אחד של כל מחלקת שקילות של ערכים מוחלטים, כך שלכל x שונה מאפס בשדה מתקיים $\ \prod _{v}|x|_{v}=1$. לדוגמה, בשדה המספרים הרציונליים יש לעבור על כל הערכים המוחלטים ה-p-אדיים $\left|p^{i}{\frac {a}{b}}\right|_{p}=p^{-i}$, ועל הערך המוחלט הארכימדי, שהוא הערך המוחלט הסטנדרטי. הערך המוחלט ה-p-אדי של מספר רציונלי x הוא 1 לכמעט לכל p, ומכפלת כל הערכים המוחלטים ה-p-אדיים האחרים שווה להפכי של |x|.

תרשים מערכות מספרים ואובייקטים קשורים

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים $K$). ללא העתקות אלה וללא האיזומורפיזמים הלא קאנוניים, הדיאגרמה היא קומוטטיבית.             אלגברות קיילי-דיקסון אלגברות קיילי-דיקסון           מבנים ארכימדיים   $\mathbb {O}$ $\mathbb {O}$               $\mathbb {H}$ $\mathbb {H}$ מבנים אדליים ו - p-אדיים הסגור האלגברי של שדה המספרים הסוריאליסטיים הסגור האלגברי של שדה המספרים הסוריאליסטיים                                                                                                                                              ${\overline {\mathbb {C} (t)}}$ ${\overline {\mathbb {C} (t)}}$   $(t)$$\mathbb {C}$ $(t)$$\mathbb {C}$   $[t]$$\mathbb {C}$ $[t]$$\mathbb {C}$   $\mathbb {C}$ $\mathbb {C}$       $\mathbb {C} _{p}$ $\mathbb {C} _{p}$              מבנים ממאפיין חיובי              ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$ ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$                                                                         ${\overline {\mathbb {Q} (t)}}$ ${\overline {\mathbb {Q} (t)}}$   $(t)$${\bar {\mathbb {Q} }}$ $(t)$${\bar {\mathbb {Q} }}$     $[t]$${\bar {\mathbb {Q} }}$ $[t]$${\bar {\mathbb {Q} }}$     ${\bar {\mathbb {Q} }}$ ${\bar {\mathbb {Q} }}$             ${\overline {\mathbb {Q} _{p}}}$ ${\overline {\mathbb {Q} _{p}}}$                               ${\overline {\mathbb {F} _{p}(t)}}$ ${\overline {\mathbb {F} _{p}(t)}}$     ${\overline {\mathbb {F} _{p}((t))}}$ ${\overline {\mathbb {F} _{p}((t))}}$                                                       ${\bar {\mathbb {Z} }}$ ${\bar {\mathbb {Z} }}$                 ${\bar {\mathbb {F} }}_{p}$ ${\bar {\mathbb {F} }}_{p}$       $(t)$${\bar {\mathbb {F} }}_{p}$ $(t)$${\bar {\mathbb {F} }}_{p}$   $((t))$${\bar {\mathbb {F} }}_{p}$ $((t))$${\bar {\mathbb {F} }}_{p}$                                                               $K$ $K$     $_{K}$$\mathbb {A}$ $_{K}$$\mathbb {A}$   $_{\nu }$$K$$:=$$F$ $_{\nu }$$K$$:=$$F$   $L$ $L$                                               שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$ שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$                   ${\mathcal {O}}_{K}$ ${\mathcal {O}}_{K}$       ${\widehat {{\mathcal {O}}_{K}}}$ ${\widehat {{\mathcal {O}}_{K}}}$   ${{\mathcal {O}}_{F}}$ ${{\mathcal {O}}_{F}}$   ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$ ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$     $(t)$$\mathbb {F} _{q}$ $(t)$$\mathbb {F} _{q}$   שדה המספרים הסוריאליסטיים שדה המספרים הסוריאליסטיים                                       ${}_{real}$${\overline {\mathbb {R} (t)}}$ ${}_{real}$${\overline {\mathbb {R} (t)}}$   $(t)$$\mathbb {R}$ $(t)$$\mathbb {R}$   $[t]$$\mathbb {R}$ $[t]$$\mathbb {R}$   $\mathbb {R}$ $\mathbb {R}$                                                                                                                 $(t)$$\mathbb {Q}$ $(t)$$\mathbb {Q}$   $[t]$$\mathbb {Q}$ $[t]$$\mathbb {Q}$     $\mathbb {Q}$ $\mathbb {Q}$     $_{\mathbb {Q} }$$\mathbb {A}$ $_{\mathbb {Q} }$$\mathbb {A}$   $\mathbb {Q} _{p}$ $\mathbb {Q} _{p}$       $(t)$$\mathbb {F} _{p}$ $(t)$$\mathbb {F} _{p}$     $((t))$$\mathbb {F} _{p}$ $((t))$$\mathbb {F} _{p}$                                                                               $[t]$$\mathbb {Z}$ $[t]$$\mathbb {Z}$     $\mathbb {Z}$ $\mathbb {Z}$     ${\hat {\mathbb {Z} }}$ ${\hat {\mathbb {Z} }}$   $\mathbb {Z} _{p}$ $\mathbb {Z} _{p}$     $\mathbb {F} _{p}$ $\mathbb {F} _{p}$   $[t]$$\mathbb {F} _{p}$ $[t]$$\mathbb {F} _{p}$     $[[t]]$$\mathbb {F} _{p}$ $[[t]]$$\mathbb {F} _{p}$                           מספרים סודרים מספרים סודרים             $[t]$$\mathbb {N}$ $[t]$$\mathbb {N}$     $\mathbb {N}$ $\mathbb {N}$             $\mathbb {Z} |_{n}$ $\mathbb {Z} |_{n}$

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.