חוג ריבועי

חוג ריבועי הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים.

עבור שלם D חופשי מריבועים (כלומר שאין לו מחלק ריבועי), נסמן $\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 2,3 \pmod{4} \\ \mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 1 \pmod{4} \end{cases}$. החוג $\ \mathcal{O}_D$ הוא "הסגור השלם" של חוג השלמים בשדה $\ \mathbb{Q}[\sqrt{D}]$. כל תחום שלמות ריבועי הוא תת-חוג של חוג מהצורה הזו.

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

חישוב חוגי מנה

נחשב את $\ \mathbb{Z}[\sqrt{10}]/\langle 4-\sqrt{10}\rangle$. כדי לוודא שלא תשתחל פנימה טעות בסימן של השורש, נחליף אותו בשם משתנה ונכתוב את החוג המקורי כמנה $\ \mathbb{Z}[t]/\langle t^2-10\rangle$, ואת חוג המנה המבוקש כמנה $\ \mathbb{Z}[t]/\langle t^2-10, 4-t\rangle$. מכיוון שבחוג המנה הזה t=4, מתברר ש-$0 \equiv t^2-10 \equiv 4^2-10 = -6$, כלומר המנה היא $\ \mathbb{Z}_6[t]/\langle t^2-10, 4-t\rangle = \mathbb{Z}_6$.