חוג דדקינד – הבדלי גרסאות

== מודולים מעל חוג דדקינד ==

 

 

אם <math>\ N\subseteq M</math> מודולים כנ"ל מאותה דרגה, אז קיימים <math>\ e_1,\dots,e_m \in M</math>, אידיאלים שבריים <math>\ A_1,\dots,A_m</math>, ואידיאלים שלמים <math>\ I_1 \supseteq I_2 \supseteq \cdots \supseteq I_m</math>, כך ש- <math>\ M=a_1e_1 \oplus\cdots\oplus a_me_m</math> ו- <math>\ N=a_1I_1e_1 \oplus\cdots\oplus a_mI_me_m</math>. האידיאלים