הצגת המקור של הדף "חוג תורשתי"

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

לדוגמה, כל [[תחום דדקינד]] הוא תורשתי. בפרט, כל [[תחום ראשי]] (ובמקרה הלא-קומוטטיבי, אף תחום שכל אידיאל שמאלי שלו הוא ראשי) הוא תורשתי. לעומת זאת החוג <math>F[x,y]</math> של פולינומים בשני משתנים מעל שדה אינו תורשתי.

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

התנאים הבאים שקולים לכך שהחוג תורשתי (שמאלי):
# כל תת-מודול של מודול פרויקטיבי הוא פרויקטיבי.
# כל אידיאל שמאלי הוא פרויקטיבי (העובדה שזהו תנאי מספיק היא משפט שהוכיח [[מוריץ אוסלדנר]]).
# כל מודול מנה של [[מודול אינג'קטיבי]] הוא אינג'קטיבי.
# כל מודול הוא מנה של מודולים פרויקטיביים.
# כל מודול הוא גרעין של אפימורפיזם בין מודולים אינג'קטיביים.
# ה[[פונקטור]] ה[[פונקטור נגזר|נגזר]] [[הפונקטור Ext|<math>\operatorname{Ext}^2_R</math>]] שווה לאפס.

=== ימין-שמאל ===

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

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

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

חוג הוא '''תורשתי למחצה חלש''' אם לכל שרשרת של העתקות <math>P \stackrel{\alpha}{\rightarrow} Q \stackrel{\beta}{\rightarrow}P'</math> בין מודולים פרויקטיביים נוצרים סופית, שהרכבתה אפס, אפשר לפרק <math>Q = Q' \oplus Q''</math> כאשר <math>\operatorname{im}\alpha \subseteq Q' \subseteq \operatorname{ker}\beta</math>. כל חוג תורשתי למחצה הוא תורשתי למחצה חלש, ותנאי זה האחרון הוא סימטרי להחלפת ימין ושמאל.

אידיאל <math>I</math> של <math>R</math> הוא '''אידיאל תורשתי''' אם <math>I^2 = I</math>, <math>I\cdot J(R)\cdot I  =0</math>, ו-<math>I</math> [[מודול פרויקטיבי|פרויקטיבי]] כמודול (שמאלי או ימני - התנאים שקולים) מעל <math>A</math>. [[חוג פרימרי-למחצה]] <math>R</math> הוא '''קוואזי-תורשתי''' אם יש בו שרשרת של אידיאלים <math>I_0 \sub I_1 \sub \cdots \sub I_{k-1} \sub I_k = R</math> כך שלכל <math>i</math>, <math>I_{i+1}/I_i</math> הוא אידיאל תורשתי של <math>R/I_i</math>. הדוגמה הראשונה לתכונה זו (שהוגדרה ב-1989) היא [[אלגברת שור]] של ההצגות ההומוגניות של <math>\operatorname{GL}_n(\mathbb{C})</math>.

חוג שמעליו כל אידיאל שמאלי ראשי הוא פרויקטיבי, נקרא '''חוג ריקארטי''' {{אנ|Richartian ring}}. כמובן, כל חוג תורשתי הוא תורשתי למחצה, וכל חוג תורשתי למחצה הוא ריקארטי. חוג הוא תורשתי למחצה אם ורק אם כל חוגי המטריצות מעליו הם ריקארטיים, ותורשתי אם ורק אם כל [[חוג אנדומורפיזמים|חוגי האנדומורפיזמים]] של [[מודול חופשי|מודולים חופשיים]] מעליו הם ריקארטיים.

== מקורות ==
<div class="mw-content-ltr">
* What is a hereditary algebra?, C.M. Ringel, [http://www.math.uni-bielefeld.de/~ringel/opus/ext2.pdf]. 
</div>
==הערות שוליים==
{{הערות שוליים|יישור=ימין}}


[[קטגוריה:טיפוסי חוגים|תורשתי]]