הבדלים בין גרסאות בדף "חוג נתרי"

 

==תכונות==

 

* כל [[שדה (מבנה אלגברי)|שדה]] הוא חוג נותרי. זה נובע מכך שהאידאלים היחידים בשדה הם השדה עצמו ו-<math>\ \{0\}</math>.

* [[משפט הבסיס של הילברט]]: אם <math>\ R</math> חוג נותרי אז <math>\ R[x]</math> חוג נותרי (<math>\ R[x]</math> הינו חוג הפולינומים במספר סופי של משתנים מעל <math>\ R</math>). ניתן להוכיח זאת בשתי דרכים - על ידי תנאי המקסימום ועל ידי תנאי הבסיס הסופי. ההוכחה של [[דויד הילברט|הילברט]] עצמו עושה שימוש ניכר בתנאי הבסיס הסופי.

משלוש התכונות האחרונות נובע שכל אלגברה קומוטטיבית נוצרת סופית היא נותרית.