פיתול (אלגברה)

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

כשהחבורה  אבלית, אוסף האיברים המפותלים מהווה תת חבורה הנקראת "תת-חבורת הפיתול" של . במקרה כזה, חבורת המנה חסרת פיתול.

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

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

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

חוסר פיתול וחליקות 

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

הערות שוליים

תורת המודולים
תורת החבורות