חוג השלמים של גאוס

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

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

הנורמה מוגדרת על החוג הזה לפי הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ N(a+bi) = (a+bi)(a-bi) = a^2+b^2} , זוהי פונקציה כפלית, השווה לריבוע הערך המוחלט של מספרים מרוכבים. חוג השלמים של גאוס הוא אוקלידי ביחס לנורמה: לכל $\ x$ ולכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ y \neq 0} יש הפענוח נכשל (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(x-ry)<N(y)} . בזכות האוקלידיות אפשר לחשב מחלק משותף מקסימלי באמצעות אלגוריתם אוקלידס, ולכל מספר יש פירוק יחיד לגורמים ראשוניים.

הראשוניים של גאוס

כמו בכל תחום שלמות, איבר אי-פריק הוא איבר x שאי-אפשר לפרק בלי שאחד הגורמים יהיה הפיך. מכיוון שזהו תחום פריקות יחידה, כל איבר אי-פריק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi } הוא גם ראשוני (הוא אינו מחלק מכפלה בלי לחלק את אחד הגורמים שלה). לא כל מספר ראשוני במובן הרגיל של המלה נשאר ראשוני גם בחוג השלמים של גאוס. למשל, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 5=(2+i)(2-i)} , ולכן 5 פריק ואינו ראשוני. עם זאת, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi} ראשוני אז הנורמה שלו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi\bar{\pi}} היא או מספר ראשוני, במובן הרגיל של המלה, או ריבוע של מספר כזה (אכן, $\ \pi$ מחלק את אחד הגורמים הראשוניים של המספר השלם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi\bar{\pi}} , נאמר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi|p} , ואז גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \bar{\pi}|p} ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pi\bar{\pi}|p^2} ). מכאן מתקבלת חלוקה של הראשוניים, עד כדי כפל באיבר הפיך, לשלוש קבוצות:

• אלו המחלקים את 2: זהו הראשוני הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1+i} (הגורם השני, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1-i} , נוצר מהכפלה של הראשון באיבר הפיך – $-i$).
• אלו המחלקים ראשוני רציונלי p השקול ל-1 מודולו 4: לפי משפט של פרמה, כל ראשוני כזה הוא סכום של שני ריבועים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p=a^2+b^2} , ואז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a\pm bi} הם שני הגורמים הראשוניים של p.
• הראשוניים הרציונליים השקולים ל-3 מודולו 4.

תורת המספרים האלגברית חוקרת בין השאר את הפירוק של אידיאלים ראשוניים של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}} בחוג הגדול יותר $\ \mathbb {Z} [i]$. בהתאמה לשלוש הקבוצות של ראשוניים שהוזכרו לעיל, 2 הוא ראשוני מסועף, עם "e=2" (ראו e, f ו-g); לראשוניים השקולים ל-1 מודולו 4 יש g=2; ולראשוניים הנותרים יש f=2. למשוואה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x^2+1\equiv 0\pmod{p}} יש פתרון אם ורק אם f=1, כלומר בשני המקרים הראשונים.

קונגרואנציות ומחלקות שאריות

בהינתן שלם גאוסי z₀, שייקרא מודולוס, שני שלמים גאוסיים z₁,z₂ הם קונגרואנטיים מודולו z₀ אם ההפרש ביניהם הוא כפולה של z₀, כלומר אם קיים שלם גאוסי q כך ש-z₁ − z₂ = qz₀. הקונגרואנציה מודולו z₀ היא יחס שקילות, שמגדיר חלוקה של השלמים הגאוסיים למחלקות שקילות, אשר נקראות מחלקות קונגרואנציה או מחלקות שאריות. מחלקת שאריות של שלם גאוסי a היא הקבוצה

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar a := \left\{ z \in \mathbf{Z}[i] \mid z \equiv a \pmod{z_0} \right\}}

של כל השלמים הגאוסיים הקונגרואנטיים ל-a ביחס ל-z₀.

חיבור וכפל עבור קונגרואנציות ביחס לשלמים גאוסיים נעשים בדומה לקונגרואנציות בשלמים ממשיים. פירוש הדבר שאם a₁ ≡ b₁ (mod z₀) ו-a₂ ≡ b₂ (mod z₀) אז a₁ + a₂ ≡ b₁ + b₂ (mod z₀) ו-a₁a₂ ≡ b₁b₂ (mod z₀).

הנציגים המינימליים של כל 13 מחלקות השאריות של המודולוס z₀=3 + 2i מסומנים באיור בנקודות כחולות, הממלאות את הריבוע Q₀₀ (מסומן ברקע ירוק). מחלקת שארית אחת, המיוצגת על ידי :הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = 2-4i \equiv -i \pmod{z_0}} , מסומנת באיור בעזרת נקודות כתומות (בעבור נציגים לא מינימליים) ונקודה צהובה (עבור הנציג המינימלי).

דוגמאות

• ישנן בדיוק שתי מחלקות שארית עבור המודולוס 1 + i, שהן :הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{0} = \left\{ 0,\pm 2, \pm 4, ..., \pm 1 \pm i, \pm 3\pm i,...\right\} } (כפולות שלמות של 1+i) ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{1} = \left\{ \pm 1, \pm 3,\pm 5 ..., \pm i ,\pm 2 \pm i,...\right\} } , אשר יוצרות תבנית של לוח שחמט במישור המרוכב. שתי מחלקות השקילות יוצרות חוג עם שני איברים, שהוא למעשה שדה, השדה היחיד (עד כדי איזומורפיזם) בעל שני איברים, ולכן יכול להיות מזוהה עם השלמים מודולו 2. שתי מחלקות אלו יכולות להיחשב להכללה של החלוקה של השלמים הממשיים לזוגיים ואי-זוגיים, ולכן מאפשרות לדבר על שלמים גאוסיים זוגיים ואי-זוגיים.
• בעבור המודולוס 2 ישנן ארבע מחלקות שקילות, היוצרות שאריות של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0,1,i,1+i} . אלו יוצרות חוג עם ארבעה איברים, שבו 1=x = –x בעבור כל x. לפיכך החוג הזה אינו איזומורפי לחוג השלמים מודולו 4, חוג אחר עם ארבעה איברים.
• בעבור המודולוס 2+2i ישנן שמונה מחלקות שקילות.

תיאור גאומטרי של מחלקות השאריות

בהינתן מודולוס z₀ לכל האיברים של אותה מחלקת שאריות יש אותה שארית בעבור חילוק אוקלידי ב-z₀, ולכן גם שני איברים באותה מחלקת שקילות הם קונגרואנטיים מודולו z₀. משום כך, ניתן לבנות סריג במישור המרוכב (ראו איור משמאל), אשר וקטור אחד בתא היסודי שלו הוא הווקטור המחבר את הראשית עם z₀, והווקטור היוצר השני של התא היסודי ניצב לו ובאותו אורך (דהיינו סריג ריבועי). ההיגיון מאחורי הבנייה הזאת הוא שכפל של z₀ בשלם ממשי מתורגם לתנועה בוקטור שבכיוון z₀ ובקפיצות של אורך הווקטור, בעוד שכפל בשלם מדומה טהור יתורגם למעשה לתנועה בכיוון ניצב לו וגם כן בקפיצות של אורך הווקטור. לפי אותו ההיגיון מספר מחלקות השקילות שווה למספר נקודות הסריג בתא יחידה של הסריג, דהיינו הנורמה N(z₀) = a² + b².

רקע היסטורי

חוג השלמים של גאוס הוצג על ידי קרל פרידריך גאוס במאמרו השני על הדדיות ממעלה רביעית (1832). משפט ההדדיות הריבועית (אשר הוא הצליח להוכיח אותו לראשונה ב-1796) מקשר בין הפתירות של הקונגרואנציה (x² ≡ q (mod p לזו של הקונגרואנציה (x² ≡ p (mod q. בדומה לכך, הדדיות ממעלה שלישית מקשרת בין הפתירות של (x³ ≡ q (mod p לזו של (x³ ≡ p (mod q, והדדיות דו-ריבועית (ממעלה רביעית) מספקת קשר בין (x⁴ ≡ q (mod p ל-(x⁴ ≡ p (mod q. גאוס גילה שחוק ההדדיות הדו-ריבועית והמשפטים המשלימים שלו מנוסחים בצורה בהירה יותר כטענות על "מספרים שלמים מרוכבים" (השלמים הגאוסיים) מאשר כטענות על שלמים רגילים.

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

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

בעיות פתוחות

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

מרבית הבעיות הפתוחות על חוג זה קשורות להתפלגות של הראשוניים של גאוס במישור:

• בעיית המעגל של גאוס לא דנה בשלמים הגאוסיים במובן הישיר, אלא מבקשת לדעת מה מספר נקודות הסריג בתוך מעגל ברדיוס נתון שמרכזו בראשית. זה שקול לקביעת מספר השלמים הגאוסיים עם נורמה הקטנה מערך נתון.
• על הציר הממשי והמדומה ישנם אינסוף ראשוניים גאוסיים (למשל ...,3,7,11,19). האם ישנם קווים ישרים אחרים המכילים אינסוף ראשוניים גאוסיים עליהם? בפרט, האם ישנם אינסוף ראשוניים גאוסיים מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+ki} ?
• האם אפשר לצעוד אל האינסוף תוך שימוש בראשוניים הגאוסיים כתחנות עצירה בעזרת צעדים באורך חסום? עבור ראשוניים רגילים (ממשיים) זה אינו אפשרי כי ניתן למצוא מרווחים גדולים באופן שרירותי בין ראשוני לראשוני. בעיה זו ידועה בשם בעיית התעלה הגאוסית (Gaussian moat problem); היא הוצעה ב-1962 בידי Basil Gordon ועודנה פתוחה.

ראו גם

• חוג השלמים של אייזנשטיין

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

מדיה וקבצים בנושא חוג השלמים של גאוס בוויקישיתוף

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

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

31027804חוג השלמים של גאוס