חוג אידיאלים חופשיים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

בתורת החוגים, חוג אידאלים חופשיים (באנגלית: free ideal ring; מקובל הקיצור fir) הוא חוג שבו כל אידאל שמאלי הוא מודול חופשי בעל דרגה מוגדרת היטב. כל חוג כזה הוא תחום, היינו חוג ללא מחלקי אפס. הדוגמה המוכרת ביותר היא חוג חופשי. תכונת האידאלים החופשיים, וגרסאותיה השונות המוצגות להלן, מכלילות את אלגוריתם החילוק של חוגים אוקלידיים, ומספקות מידע חשוב על מטריצות מעל חוגים כלליים. את התאוריה של חוגי אידאלים חופשיים פיתח פול כהן (אנ').

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

מכפלה חופשית של שני חוגי חילוק, מעל תת-חוג עם חילוק משותף, היא fir. ב-fir מתקיימת הגרסה הבאה של פירוק יחיד לגורמים: כל איבר ניתן לכתיבה כמכפלה של מספר סופי של אטומים (אטום הוא איבר לא הפיך שאינו ניתן לכתיבה כמכפלה של איברים לא הפיכים), ואם שתי מכפלות שוות, אז עד כדי סדר, הגורמים "דומים"; x,y דומים אם חוגי המנה \ R/Rx, R/Ry איזומורפיים.

הכללות[עריכת קוד מקור | עריכה]

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

חוג קומוטטיבי הוא 2-fir אם ורק אם הוא semifir, אם ורק אם הוא תחום בזו. באופן כללי יותר, עבור תחומים המקיימים את תנאי אור, כל 2-fir הוא semifir, ותנאי זה שקול לתכונת בזו משמאל.

כל semifir מוכל בחוג עם חילוק (ויש חוג חילוק אוניברסלי ביחס לתכונה זו).