טווח יציב (תורת החוגים)


כל מה שרצית לדעת על טווח יציב (תורת החוגים):
בתורת החוגים, טווח יציב הוא ערך מספרי המותאם לחוג, ומהווה כימות אריתמטי לתכונות של קבוצות יוצרים.
הטווח היציב הוגדר על ידי היימן בס ב-1960, על-מנת למדוד את היציבות של חבורות המטריצות ההפיכות מעל חוג בהקשר לתורת K שלו.
אם לחוג אנדומורפיזמים של מודול יש טווח יציב 1, אז המודול ניתן לצמצום: אם   M ⊕ P ≅ M ⊕ Q {\displaystyle \ M\oplus P\cong M\oplus Q} ו-   End ⁡ ( M ) {\displaystyle \ \operatorname {End} (M)} בעל טווח יציב 1, אז   P ≅ Q {\displaystyle \ P\cong Q} .
מכאן אפשר להסיק שמעל חוג בעל טווח יציב 1, כל מודול פרויקטיבי נוצר סופית ניתן לצמצום.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לטווח יציב (תורת החוגים):
תורת החוגים