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

מודול אינג'קטיבי, מודול ארטיני, מודול האלסטיות, מודול הגזירה, מודול הנפח, מודול חסר פיתול, מודול יאנג, מודול יוצר, מודול ליבה נטען, מודול מוצלב