חוג אוקלידי

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

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

## הגדרה

תחום שלמות D הוא **חוג אוקלידי**, אם קיימת פונקציה המחזירה מספרים שלמים אי-שליליים, d \colon D \setminus \{0\} \rightarrow \mathbb{N} \cup \{0\} (המכונה לעיתים פונקציית דרגה), המקיימת את שתי הדרישות הבאות:
* d(a)\leq d(ab) לכל a,b \neq 0.  
* לכל a\in D ולכל 0\neq b \in D, קיימים q, r\in D כך ש- a=qb+r, כאשר r=0 או d(r).
במילים אחרות, אם b אינו מחלק את a באופן מדויק, אז אפשר לחלק עם שארית, כאשר "דרגת" השארית (הערך של הפונקציה d עבורה) קטנה מדרגת המחלק b. תכונה זו היא היסוד להוכחות באינדוקציה על הדרגה, והיא מאפשרת לבחור בקבוצה (לא ריקה) נתונה איבר שדרגתו הקטנה ביותר.

למעשה הדרישה d(a)\leq d(ab) אינה הכרחית, מכיוון שבהינתן פונקציה d המקיימת את הדרישה השנייה בלבד, אפשר להגדיר פונקציה חדשה \delta(x)=\min_{y\in D \setminus \{0\}}d(xy), והיא תקיים את שתי הדרישות גם יחד.

כדי שהפונקציה תהיה מוגדרת גם באיבר האפס של D, יש הקובעים d(0)=0 (כאשר מובן שדרגתם של כל האיברים האחרים היא 1 לפחות).

## דוגמאות

* חוג המספרים השלמים \mathbb{Z} הוא חוג אוקלידי, כאשר הפונקציה d(x)=|x| מחזירה את הערך המוחלט של כל מספר שלם.
* חוג השלמים של גאוס \mathbb{Z}[i]=\mathbb{Z}+\mathbb{Z}\sqrt{-1}, כאשר פונקציית הדרגה d היא הנורמה d(x+iy)=x^2+y^2.
* חוג הפולינומים בעלי מקדמים בשדה, כאשר d היא פונקציית המעלה המקובלת: d(a_0+\dots+a_nx^n)=n בהנחה שהמקדם המוביל a_n \neq 0.

## תכונות של חוג אוקלידי

הפונקציה האוקלידית d מאפשרת לזהות את האיברים ההפיכים של החוג (u הוא **[[איבר הפיך]]** אם קיים v כך ש-uv=1). ראשית, דרגה 1 היא הדרגה הקטנה ביותר האפשרית (שהרי d(1)\leq d(1b)=d(b) לכל b). מתברר שהאיברים ההפיכים בחוג הם בדיוק אלה שדרגתם שווה ל-1.

**משפט**: כל חוג אוקלידי D הוא ראשי (כלומר, כל אידיאל שלו הוא מן הצורה Da=\{ba: b\in D\}).

**הוכחה**: אם I אידיאל שאינו אפס, אז קיים בו איבר a שדרגתו הקטנה ביותר מבין כל אברי I (כמובן, a אינו בהכרח האיבר היחיד בעל תכונה זו). מכאן נובע ש- Da\subseteq I. נניח שקיים ב-I איבר, למשל c, שאינו מתחלק ב-a; חילוק עם שארית יתן c=qa+r כאשר d(r). אולם r=c-qa\in I הוא איבר של האידיאל, וזוהי סתירה לבחירת a כאיבר בעל דרגה מינימלית ב- I.

**מחלק משותף גדול ביותר**: יהיו a,b שני איברים בתחום אוקלידי ויהיו (a),(b) האידיאלים שאיברים אלה יוצרים. הסכום של שני האידיאלים, (a,b), הוא כמובן אידיאל ומשום שתחום אוקלידי הוא תחום ראשי אז (a,b) הוא אידיאל ראשי ולכן יש לו יוצר. היוצר הזה הוא מחלק משותף גדול ביותר. עם זאת הוא אינו בהכרח המחלק המשותף היחיד, כלומר יכולים להיות מחלקים משותפים נוספים. אם x,y הם שני מחלקים משותפים אז קיים איבר הפיך u כך ש-x=uy, כלומר המחלקים המשותפים נבדלים רק בכפל באיבר הפיך.

## אוקלידיות ב[[תורת המספרים האלגברית]]

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

בין השדות הריבועיים \mathbb{Q}[\sqrt{D}], כאשר D מספר שלם חיובי, חוג השלמים הוא אוקלידי ביחס לנורמה רק עבור D=2,3,5,6,7,11,13,17,19,21,29,33,37,41,57,73. הדרישה שהחוג יהיה אוקלידי דווקא ביחס לנורמה הכפלית חזקה יותר מאוקלידיות סתם, והדוגמה הבולטת ביותר לכך היא החוג \mathbb{Z}[\sqrt{14}], שאינו אוקלידי ביחס לפונקציית הנורמה, וב-2004 התברר שהוא חוג אוקלידי ביחס לפונקציית דרגה אחרת, מסובכת בהרבה. עדיין לא ידוע מיון שלם של החוגים האוקלידיים ממשפחה זו. 

את חוגי השלמים של שדות מספרים אפשר לסדר לפי הדרגה של חבורת היחידות שלהם, שהיא סופית על-פי משפט היחידות של דיריכלה. חבורת יחידות סופית, בעלת דרגה 0, יש רק לחוגי השלמים של השדות הריבועיים \mathbb{Q}[\sqrt{D}], כאשר D מספר שלם שלילי. במקרה זה ידוע שיש תשעה חוגי שלמים ראשיים: D=-1,-2,-3,-7,-11,-19,-43,-67,-163, שמהם רק חמשת הראשונים הם אוקלידיים (הראשון ברשימה הוא חוג השלמים של גאוס), וכל אלה אוקלידיים על-פי הנורמהhttps://planetmath.org/QuadraticImaginaryNormEuclideanNumberFields.

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

## קריטריונים לאוקלידיות

את התוצאה שהוזכרה לעיל על חוגי השלמים בשדות ריבועיים מרוכבים הוכיח Motzkin בעזרת הקריטריון הבא. מגדירים בחוג R קבוצות R_n, כאשר R_0=\{0\}, ואילו R_n היא קבוצת כל האיברים a, שעבורם לכל מחלקה בחוג המנה R/Ra יש נציג מן הקבוצה R_{n-1}. בפרט, R_1-\{0\} היא קבוצת האיברים ההפיכים של החוג. לפי Motzkin, חוג הוא אוקלידי אם ורק אם כל איבר שלו שייך לאחת הקבוצות בסדרה זו.

בדיקת האוקלידיות כאשר d פונקציה כפלית היא קלה יותר, ואף מספקת במקרים מסוימים אלגוריתם לחישוב השארית. תחום שלמות R הוא אוקלידי ביחס לפונקציה כפלית d אם ורק אם שדה השברים F של R מכוסה כולו על ידי ה"כדורים" B(a)=\{x\in F \mid d(x-a) שמרכזיהם בנקודות ה"שלמות" a\in R. מקריטריון זה נובע שאם R אוקלידי ביחס לפונקציה כפלית, אז כל תת-חוג R \subseteq R' \subseteq F גם הוא אוקלידי.

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

## הערות שוליים

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