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

 

פונקציה <math>\ \delta : D \rightarrow \mathbb{N}</math> היא "נורמת הסה-דדקינד" אם לכל a,b שונים מאפס כך ש- b אינו מחלק את a, קיים צירוף לינארי d שונה מאפס, עבורו <math>\ \delta(d) < \delta(b)</math>. ב[[חוג אוקלידי]] פונקציית הדרגה מקיימת דרישות חזקות יותר. מתברר שתחום שלמות הוא ראשי אם ורק אם יש לו נורמת הסה-דדקינד{{הערה|Zariski-Samuel, Cor. IV.15.2}}.

 

==תכונות של תחומים ראשיים==