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

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

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

לאחר שדה המספרים הרציונליים ${\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 (באנגלית)

מערכות מספרים
מספרים	המספרים הטבעיים ${\displaystyle \mathbb {N} }$ (מערכת פאנו) • חוג המספרים השלמים ${\displaystyle \mathbb {Z} }$ (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים ${\displaystyle \mathbb {Q} }$ (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים ${\displaystyle \mathbb {R} }$ (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים ${\displaystyle \mathbb {C} }$ (המישור המרוכב, מספר מרוכב, מספר מדומה)
הרחבות של חוג המספרים השלמים	חוג השלמים של גאוס ${\displaystyle \ \mathbb {Z} [i]}$ • חוג השלמים האלגבריים ${\displaystyle \ {\overline {\mathbb {Z} }}}$ • חוג השלמים של אייזנשטיין ${\displaystyle \ \mathbb {Z} [\omega ]}$
הרחבות של שדה המספרים הרציונליים	שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים ${\displaystyle \ {\overline {\mathbb {Q} }}}$ (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים ${\displaystyle \mathbb {Q} _{p}}$ (מספר p-אדי) • שדה ציקלוטומי
מעבר למרוכבים	אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון ${\displaystyle \ {\mathbb {H} }}$) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי ${\displaystyle \ {\mathbb {O} }}$) • אלגברות קיילי-דיקסון

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

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים ${\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}$[1]     ${\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} }$[2] ${\displaystyle [t]}$${\displaystyle \mathbb {N} }$[2]     ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} }$             ${\displaystyle \mathbb {Z} |_{n}}$ ${\displaystyle \mathbb {Z} |_{n}}$