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

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

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

בהינתן $$ 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}$ .

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

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