מודול חופשי

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

קבוצה פורשת ובסיס 

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

הדרגה  

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

פעולות במודולים חופשיים 

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

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

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

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

קישורים חיצוניים
 

תורת החוגים
אובייקטים חופשיים