429,688
עריכות
Matanyabot (שיחה | תרומות) מ (בוט החלפות: אידיאל) |
Matanyabot (שיחה | תרומות) מ (בוט החלפות: אידיאל) |
||
ב[[אלגברה מופשטת]], '''חוג נתרי''' הוא [[חוג (מבנה אלגברי)|חוג]] עם יחידה המקיים את [[תנאי שרשרת (מתמטיקה)|תנאי השרשרת העולה]] על ה[[
אחת התכונות החשובות של חוגים אלה היא של[[אידיאל ראשוני|אידיאלים הראשוניים]] יש [[גובה של אידיאל|גובה]] סופי - ולכן אפשר ללמוד את ה[[ספקטרום של חוג|ספקטרום]] באינדוקציה על הממד, דרך שרשראות של אידיאלים ראשוניים. גובהם של האידיאלים הראשוניים סופי, אבל אינו בהכרח חסום, ולכן ישנם חוגים נתריים ש[[ממד קרול]] שלהם אינסופי. עם זאת, ל[[אלגברה אפינית|אלגברות אפיניות]] (קומוטטיביות), שהן אחד המקורות העיקריים לדוגמאות של חוגים נתריים, יש ממד קרול סופי.
\mathbb{Z} & \mathbb{Q} \\
0 & \mathbb{Q} \\
\end{pmatrix} </math>.{{ש}}ניתן לראות שחוג זה אינו נתרי שמאלי אם נתבונן בקבוצת [[
0 & \frac{m}{2^n} \\
0 & 0 \\
|