שינויים
/* הרצאה 13 קודים ציקליים; פרק 22 מהספר */
***לכן לכל פולינום <math>h(x)\in R</math> מתקיים <math>h(x)f(x)\in I</math>, כלומר אוסף המילים החוקיות הינו אידיאל.
**כל אידיאל הוא ראשי, כלומר קיים פולינום <math>g(x)</math> כך שאוסף המילים החוקיות הוא <math>\{h(x)g(x)|h(x)\in R\}</math>.
***נוכיח זאת באופן דומה ההוכחה זהה לחוג הפולינומים באופן כללי.***ניקח <math>0\neq g(x)\in I</math> בעל דרגה מינימלית, ונוכיח כי <math>I=\langle g(x)\rangle</math>.***יהי <math>f(x)\in I</math> נבצע חלוקה עם שארית <math>f(x)=q(x)g(x)+r(x)</math>.***<math>r(x)=f(x)-q(x)g(x)\in I</math> ולכן <math>r(x)=0</math>.
