הצגת המקור של הדף "תחום בזו"

ב[[תורת החוגים]], '''תחום בֶּזוּ''' הוא [[תחום שלמות]] שהוא [[חוג בזו]], כלומר, כל אידיאל [[נוצר סופית]] שלו הוא [[אידיאל ראשי]]. תחום שלמות הוא [[חוג ראשי (מתמטיקה)|חוג ראשי]] [[אם ורק אם]] הוא חוג בזו [[חוג נתרי|נתרי]]. החוגים נקראים כך על-שם ה[[מתמטיקאי]] הצרפתי Étienne Bézout {{כ}}(1730-1783).

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

== מבוא ==

בתחילת דרכה של תורת החוגים, המושג "חוג" התייחס לקבוצות מיוחדות של [[מספר אלגברי|מספרים אלגבריים]], וה[[אידיאל (תורת החוגים)|אידיאלים]] כונו "מספרים אידיאליים". במונחים המודרניים, אותן קבוצות של מספרים הן [[תחום שלמות|תחומי שלמות]], וההתאמה בין אידיאלים ומספרים היא התאמה מושלמת רק בסוג מיוחד של תחומי שלמות: [[חוג ראשי (מתמטיקה)|חוגים ראשיים]]. באלו, כל אידיאל נוצר על ידי איבר של החוג, דהיינו, עבור a מתאים, האידיאל כולל בדיוק את הכפולות של a.

את התכונה הזו של חוגים ראשיים אפשר לפרק לשניים (בדומה לפירוק של תכונת ה[[קומפקטיות]] ל[[קומפקטיות מנייתית]] ו[[תכונת לינדלוף]]): ראשית, נדרוש שכל אידיאל יהיה נוצר סופית; ושנית, שכל אידיאל נוצר סופית יהיה נוצר על ידי איבר אחד. התכונה הראשונה נקראת "[[חוג נתרי|תכונת נתר]]", והשנייה - תכונת בזו. כלומר, תחום שלמות הוא ראשי בדיוק כאשר הוא נותרי ומקיים את תכונת בזו.

ב[[אינדוקציה מתמטית|אינדוקציה]] אפשר להוכיח שתחום שלמות <math>R </math> הוא תחום בזו, אם לכל <math>a,b\in R</math> קיים <math>d\in R</math> כך ש- <math>Ra+Rb=Rd</math>.

== תכונות של חוגי בזו ==

=== מחלק משותף מקסימלי ===

בתחום שלמות, אומרים שאיבר <math>d</math> הוא "מחלק משותף מקסימלי" של זוג איברים <math>a,b</math> אם איבר x של החוג מחלק את <math>a</math> ואת <math>b</math> אם ורק אם הוא מחלק את <math>d</math>. תחום שבו יש לכל שני איברים מחלק משותף מקסימלי נקרא "[[תחום gcd]]"; בתחום כזה יש לכל שני איברים גם "[[כפולה משותפת מינימלית]]" (איבר <math>m</math> שתכונתו היא שאיבר <math>y</math> מתחלק ב-<math>a</math> וב-<math>b</math> אם ורק אם הוא מתחלק ב-<math>m</math>).

כל תחום בזו הוא תחום gcd, משום שאם <math>Ra+Rb=Rd</math>, אז <math>d</math> הוא מחלק משותף מקסימלי של <math>a</math> ו-<math>b</math> (ו-<math>\frac{ab}{d}</math> הוא כפולה משותפת מינימלית שלהם). בתחום בזו, הכפולה המשותפת המינימלית של <math>a</math> ו-<math>b</math> היא היוצר של האידיאל <math>Ra \cap Rb</math>. מאידך, [[חוג פולינומים|חוג הפולינומים]] בשני משתנים מעל [[שדה (מבנה אלגברי)|שדה]], <math>F[x,y]</math>, הוא חוג gcd שאינו חוג בזו.

כל חוג <math>R </math> שהוא חוג gcd ניתן ל"שיכון בעל אינרציה" בחוג בזו <math>B(R) </math>. שיכון הוא בעל אינרציה, אם אין בו פירוקים חדשים, דהיינו, אם <math>a=a_1 a_2\in R</math> עבור <math>a_1,a_2 \in B(R)</math>, אז הגורמים <math>a_1,a_2 \in R</math>.

=== הקשר לשדה השברים ===

אם <math>R </math> תחום בזו ו-<math>F</math> [[שדה שברים|שדה השברים]] שלו, אז כל חוג-ביניים <math>\ R \subseteq T \subseteq F</math> הוא חוג בזו; יתרה מזו, כל חוג כזה הוא [[מיקום (תורת החוגים)|מיקום]] של <math>R </math>, מהצורה <math>\ S^{-1}R</math> עבור [[מונואיד]] <math>S</math> של איברים ב-<math>R </math>.

תחום בזו (כמו כל תחום gcd) הוא [[תחום שלם אלגברית]], או "תחום נורמלי" - כל איבר של <math>F</math> שהוא [[שלם אלגברי]] מעל <math>R </math>, שייך ל-<math>R </math>.

=== תחומי בזו מקומיים ===

תחום שלמות הוא [[תחום הערכה (תורת החוגים)|תחום הערכה]] אם ורק אם הוא חוג בזו [[חוג מקומי|מקומי]].

=== חוגי פרופר ===

כל תחום בזו הוא [[תחום פרופר]] (Prüfer domain); זוהי הכללה של תחומי דדקינד, ולמעשה תחום דדקינד אינו אלא תחום פרופר נתרי. בדומה לזה תחום בזו אינו אלא תחום פרופר שהוא גם חוג gcd. מאידך, תחום שלמות הוא ראשי אם ורק אם הוא תחום בזו נתרי (או לחלופין [[תחום פריקות יחידה]] שהוא גם חוג דדקינד (ולכן נתרי)).

== דוגמאות ==

החוגים <math>R = F[x,x^{1/2},x^{1/3},\dots]</math> ו-<math>T = \mathbb{Z}+x \mathbb{Q}[x]</math> הם תחומי בזו שאינם נותריים, ולכן אינם ראשיים. הראשון הוא איחוד של תת-חוגים ראשיים, והשני אינו כזה.

== תחומי בזו וטיפוסי חוגים אחרים==

תחום בזו הוא תחום ראשי אם ורק אם הוא [[תחום אטומי|אטומי]].

חוג <math>R </math> הוא תחום בזו אם ורק אם הוא חוג gcd וגם [[חוג קדם-בזו]] (תחום שלמות שבו כל שני איברים זרים הם גם מקסימליים הדדית).

נניח ש-<math>R </math> תחום שלמות ו-<math>R= \cap v_{i} </math> כאשר ה-<math>v_{i} </math> חוגי הערכה המוכלים בשדה השברים של  <math>R </math>. אז כל <math>v_{i} </math> הוא מהצורה <math>R_{P} </math> עבור <math>P \vartriangleleft R </math> ראשוני ו-<math>R </math> הוא תחום בזו. אם, בנוסף, חוגי ההערכה אינם מוכלים זה בזה, אז ה-<math>P </math>-ים הללו הם בדיוק האידיאלים המקסימלים של  <math>R </math>.

יהי <math>R </math> [[חוג דדקינד]], <math>K </math> שדה השברים שלו, <math>L </math> ה[[סגור אלגברי|סגור האלגברי]] של <math>K </math> ו-<math>T </math> ה[[סגור שלם|סגור השלם]] של <math>R </math> ב-<math>L </math>. נניח שבכל [[הרחבה אלגברית]] סופית של <math>K </math>, לחוג השלמים יש [[חבורת מחלקות]] [[חבורה מפותלת|מפותלת]]. אז <math>T </math> הוא חוג בזו. בפרט (אם בוחרים <math>\ R = \mathbb{Z}, K = \mathbb{Q}, L = \overline{\mathbb{Q}}</math>), [[חוג השלמים האלגבריים]] הוא תחום בזו.

== לקריאה נוספת ==
<div style="direction: ltr;">
* Fuchs, Laszlo - Modules Over Valuation Domains (Lecture Notes in Pure and Applied Mathematics) 1985
</div>

<div style="direction: ltr;">
* Iirving Kaplansky, Commutative Rings, Allyn and Bacon, Boston, 1970  
</div>

<div style="direction: ltr;">
* P.M.Cohn, Bezout rings and their subrings, Proc. Camb. Phil. Soc. (1968), 64, 251  
</div>
{{עץ מיון של חוגים קומוטטיביים}}
[[קטגוריה:טיפוסי חוגים]]
[[קטגוריה:תחומי שלמות]]