חוג המספרים השלמים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Bustan1498 (שיחה | תרומות)
←‏הרחבות: סידור
שורה 40:
לאחר הגדרת חוג השלמים, עלתה השאלה כיצד ניתן להרחיב אותו אבל "לא בהרבה", או במילים אחרות למצוא חוגים נוספים "בין" המספרים השלמים ל[[מספר רציונלי|מספרים הרציונליים]] ואף ל[[מספר ממשי|מספרים הממשיים]] ול[[מספר מרוכב|מספרים המרוכבים]]. אפשר להוסיף לחוג איברים ו"לסגור" את הקבוצה החדשה, כך שיווצר חוג מינימלי שיכיל את המספרים השלמים ואת האיברים החדשים.
 
פורמלית, למספרלכל לאקבוצת שלםמספרים <math>d</math>מרוכבים X, ניתןאפשר להגדיר את להגדיר <math>\mathbb{Z}[dX]</math> =כחיתוך \bigcapכל \left\{תת-החוגים R:1,d\inשל R,R\subseteqשדה \mathbb{C}המספרים \text{המרוכבים isהמכילים ring}את \right\} </math>X. קבוצה זו מגדירה חוג (כחיתוך של חוגים), וזהו החוג הקטן ביותר שמכיל את <math>\mathbb{Z}</math> ואת <math>d</math>.
 
למשל, אם <math>\sqrt{-5}</math> ניתן להראות כי <math>Z[\sqrt { -5 } ]=\left\{ a+b\sqrt { -5 } :a,b\in Z \right\}</math>. בקבוצה זו ראשוניים ואי פריקים מקבלים משמעות שונה, שכן <math>3</math> לא ראשוני אבל כן אי פריק.