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

אם <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>. האידאלים

<math>\ I_i</math> נקבעים באופן חד-משמעי, והם נקראים '''הגורמים האינווריאנטיים''' של N ב-M.

 

== מקורות ==