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