חוג המספרים השלמים

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

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

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

ישנן מספר דרכים להגדיר את חוג השלמים ${\displaystyle \ \mathbb {Z} }$. אחת מהן היא בעזרת המספרים הטבעיים ${\displaystyle \mathbb {N} =\left\{1,2,3,...\right\}}$ (שמוגדרים בעזרת אקסיומות פיאנו) :

• נוסיף איבר נייטרלי לחיבור שנסמנו ${\displaystyle 0}$, שיקיים לכל איבר ${\displaystyle a}$ במערכת החדשה ${\displaystyle a+0=0+a=a}$
• לכל מספר טבעי ${\displaystyle a}$ נגדיר את המספר הנגדי לו, ${\displaystyle -a}$ כך ש-${\displaystyle a+(-a)=(-a)+a=0}$.

בהינתן הגדרות אלו, ניתן להוכיח כי ${\displaystyle \mathbb {Z} =\{...-2,-1,0,1,2,...\}}$ הוא חוג. היות שכפל המספרים הטבעיים חילופי, הרי שגם הכפל הנגזר חילופי, והחוג הוא חוג קומוטטיבי.

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

החבורה נוצרת על ידי 1 ו--1. כל האיברים בה מלבד 0 (איבר היחידה) הם מסדר אינסופי, וכל תת-החבורות שלה הן החבורות הציקליות האינסופיות ${\displaystyle n\mathbb {Z} =\{nk\mid k\in \mathbb {Z} \}}$.

המספרים השלמים הם אחד החוגים הבסיסיים ביותר. מעבר לכך, במקרים רבים הם מהווים מוטיבציה להגדרות כלליות יותר, שמטרתן היא להכליל את התכונות של המספרים השלמים בתורת החוגים הכללית. להלן מספר תכונות מרכזיות של ${\displaystyle \ \mathbb {Z} }$ כחוג:

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

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

• האיברים ההפיכים היחידים לפעולת הכפל בחוג הם ${\displaystyle -1,1}$.

• חוג זה הוא תחום ראשי, כלומר כל האידיאלים בו הם ראשיים. אכן קל לוודא שכל קבוצה מהצורה ${\displaystyle (a)=\left\{ab|b\in \mathbb {Z} \right\}}$ היא אידיאל, וגם ההפך נכון - אם ${\displaystyle I}$ אידיאל שונה מהאידיאל האפס, אפשר לבחור את המחלק המשותף המקסימלי של איברי האידיאל, ולהראות כי הוא יוצר את האידיאל.

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

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

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

• שדה השברים של החוג הוא שדה המספרים הרציונליים. זו גם אחת הדרכים לתאר את בניית הרציונליים מלכתחילה.

• חוג זה אינו ארטיני, שהרי הסדרה ${\displaystyle \ 2\mathbb {Z} \supset 4\mathbb {Z} \supset 8\mathbb {Z} \supset \dots }$ אינה מסתיימת.

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

פורמלית, לכל קבוצת מספרים מרוכבים ${\displaystyle S}$, אפשר להגדיר את ${\displaystyle \mathbb {Z} [S]}$ כחיתוך כל תת-החוגים של שדה המספרים המרוכבים המכילים את ${\displaystyle S}$ ואת 1. קבוצה זו מגדירה חוג (כחיתוך של חוגים), וזהו החוג הקטן ביותר שמכיל את ${\displaystyle \mathbb {Z} }$ ואת ${\displaystyle S}$.

למשל, אם ${\displaystyle S=\{{\sqrt {-5}}\}}$, אז ניתן להראות כי ${\displaystyle \mathbb {Z} [S]=\mathbb {Z} [{\sqrt {-5}}]=\left\{a+b{\sqrt {-5}}:a,b\in \mathbb {Z} \right\}}$. בקבוצה זו ראשוניים ואי פריקים מקבלים משמעות שונה, שכן ${\displaystyle 3}$ לא ראשוני אבל כן אי פריק.

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

• חוג השלמים של גאוס
• חוג השלמים של אייזנשטיין

• חוג המספרים השלמים, באתר 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}}$   ^ ${\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}$.