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

ב[[תורת החוגים]], '''חוג השברים המקסימלי''' של [[חוג (מבנה אלגברי)|חוג]] <math>R</math> הוא החוג הגדול ביותר שאפשר להציג כל איבר שלו כמנה של איברים מ-<math>R</math> (ראו הגדרה מדויקת להלן). הקשר בין החוג המקורי לחוג השברים המקסימלי אינו הדוק כמו הקשר אל [[חוג השברים הקלאסי]], אבל בניגוד לאחרון, חוג השברים המקסימלי תמיד קיים.

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

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

== הגדרה ==
נניח ש- <math>R \subseteq T</math> הם חוגים. <math>T</math> הוא '''חוג שברים כללי''' ימני של <math>R</math>, אם לכל <math>x, y\in T</math> (<math>y\neq 0</math>) יש איבר <math>r \in R</math> כך ש- <math>xr \in R</math> בעוד ש-<math>yr\neq 0</math>. אפשר, כביכול, לכתוב <math>x = (xr)r^{-1}</math>, מנה של שני איברים ב-<math>R</math>.

מתברר שלכל חוג יש '''חוג שברים מקסימלי''' ימני <math> Q = Q_{max}^r</math>, כך שלכל חוג שברים כללי (ימני) <math>T</math> של <math>R</math> יש הומומורפיזם יחיד מ-<math>T</math> אל <math>Q</math>, המרחיב את העתקת הזהות על <math>R</math>. עבור החוג הזה, ההומומורפיזם המובטח הוא תמיד שיכון.

כאשר חוג השברים הקלאסי (הימני) של <math>R</math> קיים, הוא חוג שברים כללי, אבל חוג השברים המקסימלי עשוי להיות גדול ממנו. חוג השברים הקלאסי שווה לחוג השברים המקסימלי אם <math>R</math> הוא [[חוג גולדי|חוג גולדי ימני]] [[חוג פשוט למחצה|פשוט למחצה]]; וגם אם <math>R</math> הוא חוג קומוטטיבי המקיים את [[תנאי השרשרת העולה]] על [[מאפס (תורת החוגים)|מאפסים]].

== בנייה ==

Utumi בנה את חוג השברים המקסימלי (ב-1956) מאוסף האידיאלים הימניים הצפופים של החוג (אידיאל ימני <math>U</math> הוא צפוף אם לכל <math>a,b</math> בחוג, <math>a \neq 0</math>, קיים <math>x</math> כך ש- <math>ax \neq 0</math> ו- <math>bx \in U</math>). בניה זו מכלילה את אחת הבניות האפשריות של חוג השברים הקלאסי, שבה נעשה שימוש רק באידיאלים המכילים איברים רגולריים.

את חוג השברים המקסימלי של <math>R</math> אפשר לבנות מתוך ה[[סגור אינג'קטיבי|סגור האינג'קטיבי]], באופן הבא. יהי <math>I</math> הסגור האינג'קטיבי של <math>R</math> (כמודול ימני מעל עצמו). <math>I</math> הוא מודול שמאלי [[מודול אינג'קטיבי|אינג'קטיבי]] מעל <math> H = \operatorname{End}(I_R)</math>, וחוג השברים המקסימלי (הימני) הוא <math> Q = \operatorname{End}({}_HI)</math>. במילים אחרות, חוג השברים המקסימלי הוא המרָכז של המרָכז של (ההצגה הרגולרית הימנית של) <math>R</math> ב[[חוג אנדומורפיזמים|חוג האנדומורפיזמים]] של <math>I</math> (כ[[חבורה אבלית]]).

== המרכז המוכלל ==

המרכז של חוג השברים המקסימלי נקרא '''המרכז המוכלל''' של החוג <math>R</math>. אם <math>R</math> [[חוג ראשוני|ראשוני]], המרכז המוכלל הוא שדה.

== מקורות ==

* T.Y. Lam, Lectures on Modules and Rings, 13B.

[[קטגוריה:תורת החוגים]]