שינויים
/* הרצאה 13 קודים ציקליים; פרק 22 מהספר */
*טענה: קוד נקבע פולינום <math>g(x)</math> בעל דרגה <math>\deg(g(x))=n-k</math>.*נקודד את כל פולינומי בהמידע מדרגה שקטנה או שווה <math>k-1</math> בקידוד פולינומי.*שימו לב: כיוון ש<math>\deg (f(x)\cdot x^{n-k})\leq n-1</math> חלוקה בשארית בחוג הפולינום הרגיל תהיה זהה לזו שב<math>R</math> .*טענה: הקוד לעיל יהיה ציקלי אם"ם הפולינום <math>g(x)</math> מחלק את <math>x^n-1</math>.
*הוכחה:
*בכיוון ראשון, נניח כי הקוד ציקלי:
***ביחד, <math>a_{n-1}x^{n-1}f(x)+...+a_1xf(x)+a_0f(x)</math> הינה מילה חוקית.
***לכן לכל פולינום <math>h(x)\in R</math> מתקיים <math>h(x)f(x)\in I</math>, כלומר אוסף המילים החוקיות הינו אידיאל.