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

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

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

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

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

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

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

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

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

הערות שוליים

קטגוריה:תורת המודולים
קטגוריה:תורת החבורות