חוג השלמים האלגבריים

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

הגדרות שקולות לשלם אלגברי

בהינתן $K$ הרחבה סופית של שדה המספרים הרציונליים, אז ההגדרות הבאות שקולות:

• $\alpha \in K$ הוא שלם אלגברי אם קיים פולינום מתוקן $f(x)\in \mathbb {Z} [x]$ כך ש- $f(\alpha )=0$.
• $\alpha \in K$ הוא שלם אלגברי אם הפולינום המתוקן המינימלי של $\alpha$ מעל $\mathbb {Q}$ שייך ל-$\mathbb {Z} [x]$.
• $\alpha \in K$ הוא שלם אלגברי אם הוא איבר שלם של ההרחבה הסופית $K/\mathbb {Q}$.

דוגמאות לאיברים

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

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

• חוג השלמים האלגבריים, באתר MathWorld (באנגלית)

תרשים מערכות מספרים ואובייקטים קשורים{| class="mw-collapsible autocollapse navbox" style="width: 90%; margin: 0.5em auto;" cellspacing="3" ! style="background-color:#b0c4de; background:#d1eeee; padding-top: 0.1em; padding-bottom: 0.1em; text-align: center; color: black; font-weight: bold;" | תרשים מערכות מספרים ואובייקטים קשורים

|- | style="padding-top: 3px; padding-bottom: 3px; background-color: #f9f9f9; font-size: 95%" |

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים $K$). ללא העתקות אלה וללא האיזומורפיזמים הלא קאנוניים, הדיאגרמה היא קומוטטיבית.             אלגברות קיילי-דיקסון אלגברות קיילי-דיקסון                           $\mathbb {O}$ $\mathbb {O}$               $\mathbb {H}$ $\mathbb {H}$   הסגור האלגברי של שדה המספרים הסוריאליסטיים הסגור האלגברי של שדה המספרים הסוריאליסטיים                                                                                                                                              ${\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}$

|}