מודול חופשי

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

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

קבוצה פורשת ובסיס[עריכת קוד מקור | עריכה]

מודול שמאלי \ M מעל חוג \ R, נפרש על ידי תת-קבוצה \ S\subseteq M אם כל איבר \ m\in M אפשר לכתוב כסכום \ m=r_1 e_1 + r_2 e_2 +r_3 e_3 +...+r_n e_n שבו \  r_1,r_2,r_3,...,r_n \in R הם מקדמים מהחוג ו-\ e_1,\dots,e_n\in S הם איברי הקבוצה. אם ההצגה של כל איבר של M באופן הזה היא יחידה, אז S מהווה בסיס של M. בניגוד למצב במרחבים וקטוריים, לא לכל מודול יש בסיס (לדוגמה: חבורה אבלית סופית היא מודול מעל חוג השלמים, אבל לא יכולה להיות בה הצגה יחידה, משום שבחוג יש אינסוף סקלרים). מודול שיש לו בסיס נקרא מודול חופשי.

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

עוצמת הבסיס של מודול חופשי נקראת הדרגה של המודול. כל המודולים החופשיים מאותה דרגה הם איזומורפיים. הדרגה של מודול מעל חוג קומוטטיבי מוגדרת היטב (כלומר: כל שני בסיסים של מודול חופשי מעל חוג קומוטטיבי הם בעלי אותה עוצמה). מאידך, יש דוגמאות למודולים מעל חוגים לא קומוטטיביים עם בסיסים בגדלים שונים. כל חוג אפשר לראות כמודול (שמאלי) מעל עצמו. כאשר יש לחוג יחידה, הוא חופשי מדרגה 1, וכך הסכום הישר של n עותקים, \ R^n, הוא מודול חופשי מדרגה n.

פעולות במודולים חופשיים[עריכת קוד מקור | עריכה]

סכום ישר של מודולים חופשיים הוא חופשי (גם כאשר אין מדובר בסכום סופי). מאידך, המכפלה הישרה בדרך-כלל אינה חופשית. לדוגמה, המכפלה הישרה של מספר בן מניה של עותקים של החבורה \ \mathbb{Z}, \ \mathbb{Z}^{\mathbb{N}}, אינה חופשית.

גם המכפלה הטנזורית של מודולים חופשיים היא מודול חופשי.

חוגי אידאלים חופשיים[עריכת קוד מקור | עריכה]

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