חוג תורשתי

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

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

תנאים שקולים לתורשתיות 

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

ימין-שמאל 

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

תכונות קרובות 

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

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

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

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

מקורות 
 What is a hereditary algebra?, C.M. Ringel, .

הערות שוליים

תורשתי