חוג דדקינד

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

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

הגדרות שקולות

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

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

(קיימות הגדרות שקולות רבות אחרות).

דוגמאות

כל תחום ראשי הוא חוג דדקינד (ההפך אינו נכון). בפרט, חוג המספרים השלמים וכל חוג פולינומים $F[x]$ במשתנה אחד מעל שדה $F$, הם חוגי דדקינד.

גם חוג השלמים של גאוס, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{a+bi \mid a,b \in \mathbb{Z}\}} , הוא חוג דדקינד. באופן כללי יותר, אוסף השלמים האלגבריים בשדה מספרים הוא חוג דדקינד.

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

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

1. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} חוג דדקינד ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} שדה שברים שלו, ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle K} הרחבת שדות סופית של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} , אז הסגור השלם של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} בתוך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle K} הוא חוג דדקינד.
2. אם $S$ תת-מונואיד של חוג דדקינד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} , אז המיקום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S^{-1}R} הוא חוג דדקינד (או שדה).

כל תחום ראשי הוא תחום פריקות יחידה, אבל ההפך אינו נכון (למשל, חוג הפולינומים בשני המשתנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x,y} מעל שדה הוא תחום פריקות יחידה, אבל האידיאל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle x,y \rangle} אינו ראשי). בחוגי דדקינד שתי התכונות שקולות: חוג דדקינד הוא תחום פריקות יחידה אם ורק אם הוא תחום ראשי.

חוגי דדקינד הם "כמעט ראשיים" בכמה מובנים. למשל, כל אידיאל של חוג דדקינד נוצר על ידי שני איברים לכל היותר. יתרה מזו: אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 \ne J \subset I \subset R } אידיאלים בחוג דדקינד, אז קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a\in R} כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I=J+Ra} . לכל אידיאל $I$ בחוג דדקינד, קיים אידיאל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle J} כך שהמכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle IJ} היא אידיאל ראשי. (יותר מזה, ניתן לבחור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle J} להיות זר לכל אידיאל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ; או כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Ra = IJ} לכל עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} איבר ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} ). חוג דדקינד בעל מספר סופי של אידיאלים ראשוניים הוא ראשי. אם חבורת המחלקות (ראו להלן) סופית, אפשר להפוך את החוג לראשי באמצעות היפוך של איבר אחד.

תחומים שהם כמעט דדקינד

תחום שלמות עם יחידה $R$ הוא כמעט דדקינד אם מתקיים אחד התנאים השקולים הבאים

• לכל אידיאל מקסימלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} , המיקום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_M} הוא חוג הערכה דיסקרטית.
• אם לאידיאל יש רדיקל ראשוני, אז הוא חזקה של ראשוני.
• ממד קרול שווה ל-1, וכל אידיאל פרימרי הוא חזקה של ראשוני.
• יש צמצום באידיאלים (אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle AB=AC} אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A=0} או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle B=C} ).

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

חבורת מחלקות האידיאלים

חבורת המחלקות של חוג דדקינד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} מודדת עד כמה החוג אינו ראשי. יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle K} שדה השברים של $R$. אידיאל שברי של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} הוא, על-פי ההגדרה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} -תת-מודול הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle K} כך שעבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d\in R} מתאים, מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle dI=\{da \mid a \in I \} \subset R} . למשל, כל אידיאל (רגיל) של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} הוא גם אידיאל שברי.

נסמן ב-$\operatorname {Id} (R)$ את קבוצת האידיאלים השבריים. בקבוצה זו אפשר להגדיר פעולת כפל כרגיל בכפל של אידיאלים. כך הופכת קבוצה זו למונואיד, שבו איבר היחידה הוא החוג עצמו. מכיוון שכל אידיאל שברי הוא אידיאל הפיך, זוהי חבורה אבלית - ומתכונת הפירוק היחיד של אידיאלים נובע שהיא חבורה אבלית חופשית הנוצרת על ידי אוסף האידיאלים הראשוניים של החוג. (אמי נתר הוכיחה שתחום שלמות שלקבוצת האידיאלים השברים שלו עם פעולת הכפל יש מבנה של חבורה - הוא חוג דדקינד).

קבוצת האידיאלים השבריים הראשיים, שלהם הצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle bR = \{ ba \mid a \in R \}} עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\ne b\in K} , היא תת-חבורה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Id}(R)} . חבורת מחלקות האידיאלים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Cl}(R)} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} היא חבורת המנה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Id}(R)} ביחס לחבורת האידיאלים הראשיים.

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

נניח שחבורת מחלקות האידיאלים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} היא סופית. נבחר נציגים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I_1,...,I_m} של מחלקות האידיאלים (ניתן לבחור אותם להיות אידיאלים אמיתיים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} ); ניקח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b\neq 0} איבר כלשהו ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bigcap I_i} , ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S = \{1,b,b^2, ... \}} המונואיד הנוצר על ידי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} . אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S^{-1}R} הוא תחום ראשי.

מודולים מעל חוג דדקינד

כל מודול נוצר סופית מעל חוג דדקינד אפשר לפרק כסכום ישר של מודול מפותל ומודול חסר פיתול. מודול חסר פיתול הוא סכום ישר של אידיאלים שבריים. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_i} אידיאלים שבריים, הסכום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1\oplus \cdots \oplus A_m} תלוי רק בדרגה m ובמכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1\dots A_m} בחבורת המחלקה. בפרט, כל מודול חסר פיתול ונוצר סופית מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} הוא מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R^n\oplus I} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} אידיאל שלם של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} .

אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N\subseteq M} מודולים כנ"ל מאותה דרגה, אז קיימים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle e_1,\dots,e_m \in M} , אידיאלים שבריים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1,\dots,A_m} , ואידיאלים שלמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I_1 \supseteq I_2 \supseteq \cdots \supseteq I_m} , כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M=a_1e_1 \oplus\cdots\oplus a_me_m} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N=a_1I_1e_1 \oplus\cdots\oplus a_mI_me_m} . האידיאלים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I_i} נקבעים באופן חד-משמעי, והם נקראים הגורמים האינווריאנטיים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} .

מקורות

• J.S. Milne, Algebraic Number Theory, 1998, http://www.jmilne.org/math
• Louis Halle Rowen, Graduate Algebra: Commutative View, Graduate Studies in Mathematics, Volume 73, 2006, מסת"ב 0-8218-0570-3
• Curtis, C., and Reiner, I., Representation Theory of Finite Groups and Associative Algebras, 1962, III, 22

ראו גם

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

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

28733458חוג דדקינד