תחום ראשי – הבדלי גרסאות

* כל חוג ראשי הוא [[תחום דדקינד]]. בפרט, הוא [[חוג נתרי|נתרי]], ובעל [[מימד קרול]] 1 (כלומר, כל [[אידיאלאידאל ראשוני]] [[טריוויאלי (מתמטיקה)|לא טריוויאלי]] הוא [[אידיאלאידאל מקסימלי|מקסימלי]]).