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