שדה מספרים

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

ערך מחפש מקורות

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

דוגמאות

לאחר שדה המספרים הרציונליים ${\displaystyle \mathbb {Q} }$ עצמו, שדות המספרים הקטנים ביותר הם השדות הריבועיים ${\displaystyle \mathbb {Q} [{\sqrt {d}}]}$, שממדם מעל ${\displaystyle \mathbb {Q} }$ הוא 2. השדות הציקלוטומיים, הנוצרים על ידי סיפוח של שורשי יחידה מסדר נתון, מהווים מחלקה חשובה אחרת של דוגמאות.

חוג השלמים

אוסף השלמים האלגבריים בשדה מספרים ${\displaystyle K}$ מהווה תת-חוג ${\displaystyle \ {\mathcal {O}}_{K}}$, שיחסו ל-K דומה לזה של חוג המספרים השלמים ${\displaystyle \mathbb {Z} }$ לשדה המספרים הרציונליים ${\displaystyle \mathbb {Q} }$ (ואמנם ${\displaystyle ({\mathcal {O}})_{\mathbb {Q} }=\mathbb {Z} }$). חוג השלמים הוא חוג דדקינד, ששדה השברים שלו הוא השדה ${\displaystyle K}$. האידיאלים הראשוניים (הלא טריוויאליים) של חוג השלמים ממלאים את התפקיד של המספרים הראשוניים בין המספרים השלמים.

השדות המקומיים המכילים את ${\displaystyle K}$ מוגדרים בעזרת הערכות דיסקרטיות, הנבנות מהאידיאלים הראשוניים של חוג השלמים.

ההערכות הארכימדיות

לשדה מספרים ${\displaystyle K}$ יש מספר סופי, ${\displaystyle \ r_{1}}$, של שיכונים בשדה המספרים הממשיים, ועוד מספר סופי ${\displaystyle \ 2r_{2}}$ של שיכונים שאינם ממשיים בשדה המספרים המרוכבים. האחרונים מסודרים בזוגות צמודים, ומספר השיכונים הכולל מקיים ${\displaystyle \ r_{1}+2r_{2}=d}$, כאשר ${\displaystyle d}$ הוא הממד של ${\displaystyle K}$ מעל הרציונליים. ביחד, שיכונים אלה מגדירים את ${\displaystyle \ r_{1}+r_{2}}$ הערכים-המוחלטים הארכימדיים של השדה. השיכונים הממשיים מגדירים את ${\displaystyle \ r_{1}}$ הדרכים לסדר את השדה.

אם ${\displaystyle \ \alpha }$ יוצר של השדה מעל ${\displaystyle \ \mathbb {Q} }$, אז ${\displaystyle \ r_{1}}$ הוא מספר השורשים הממשיים בפולינום המינימלי של ${\displaystyle \ \alpha }$, בעוד ש- ${\displaystyle \ 2r_{2}}$ הוא מספר השורשים המרוכבים, שאינם ממשיים. בשפה של המכפלה הטנזורית, השיכונים הארכימדיים מתבטאים בכך ש- ${\displaystyle \ K\otimes _{\mathbb {Q} }\mathbb {R} \cong \mathbb {R} ^{r_{1}}\times \mathbb {C} ^{r_{2}}}$.

הדיסקרימיננטה

הדיסקרימיננטה היא כלי מרכזי בתורת המספרים האלגברית. בנוסף לדיסקרימיננטה הרגילה של הרחבת שדות, ${\displaystyle L/K}$, שהיא איבר מוגדר היטב של חבורת המנה ${\displaystyle K^{\times }/(K^{\times })^{2}}$, בהרחבה של שדות מספרים אפשר לבחור בסיס של ${\displaystyle L/K}$, שכל איבריו יבואו מחוג השלמים ${\displaystyle {\mathcal {O}}_{L}}$ של ${\displaystyle L}$ (בסיס כזה נקרא בסיס שלם). לפעמים (למשל, כאשר חוג השלמים ${\displaystyle {\mathcal {O}}_{K}}$ של K הוא ראשי), ${\displaystyle {\mathcal {O}}_{L}}$ מהווה מודול חופשי, ואז אפשר לבחור בסיס של ${\displaystyle L/K}$ שיהיה גם בסיס של ${\displaystyle {\mathcal {O}}_{L}/{\mathcal {O}}_{K}}$. במקרים אלה, הדיסקרימיננטה היא איבר מוגדר היטב של חוג השלמים, מודולו הריבועים של חבורת האיברים ההפיכים בחוג (שהיא נוצרת סופית, על-פי משפט היחידות של דיריכלה, כלומר, קטנה באופן יחסי). בפרט, הדיסקרימיננטה של שדה מעל ${\displaystyle \mathbb {Q} }$ היא מספר שלם מוגדר היטב, משום שהאיברים ההפיכים היחידים ב- ${\displaystyle \mathbb {Z} }$ הם ${\displaystyle \pm 1}$. במקרה הכללי ${\displaystyle {\mathcal {O}}_{L}}$ אינו בהכרח חופשי, ואז הדיסקרימיננטה של ${\displaystyle L/K}$ מוגדרת כאידיאל הנוצר על ידי כל הדיסקרימיננטות של הבסיסים השלמים.

שארל הרמיט הוכיח שמספר שדות המספרים בעלי דיסקרימיננטה נתונה (מעל ${\displaystyle \mathbb {Q} }$) הוא סופי, וקיימות טבלאות מפורטות של שדות מספרים בעלי דיסקרימיננטה קטנה.

אחד השימושים העיקריים של הדיסקרימיננטה היא בהגבלת ההתנהגות של אידיאלים ראשוניים תחת הרחבה: ראשוני (של ${\displaystyle K}$) הוא מסועף בהרחבה ${\displaystyle L/K}$, אם ורק אם הוא מחלק את הדיסקרימיננטה. הרמן מינקובסקי הוכיח כי בכל הרחבה של שדה המספרים הרציונליים יש לפחות ראשוני מסועף אחד.

קישורים חיצוניים

• שדה מספרים, באתר MathWorld (באנגלית)

תרשים מערכות מספרים ואובייקטים קשורים{| class="mw-collapsible autocollapse navbox" style="width: 90%; margin: 0.5em auto;" cellspacing="3" ! תרשים מערכות מספרים ואובייקטים קשורים

|- |

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

|}