חוג השברים המקסימלי

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

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

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

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

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

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

 בנייה 

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

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

 המרכז המוכלל 

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

 מקורות 

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

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