רזולוציה חופשית

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

הגדרה 

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

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

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

מקורות 

 History of Homological Algebra, by Chuck Weibel; pp.797-836 in "The History of Topology", ed. I.M. James, Elsevier, 1999.

ראו גם 

 שמורה פולינומית

הערות שוליים

אלגברה הומולוגית
en:Projective resolution