Для циклічного (k,n)-коду кожний ненульовий поліном повинен мати степінь принаймні (n-k), але не більше n-1.

Існує тільки один кодовий поліном g(x) = 1 + g₁x +g₂x² +  … + +g_n-k-1⋅x^n-k-  + x^n-k  степеня (n-k), що є дільником кожного кодового полінома u(x)=m(x)⋅g(x).

Для циклічного (k,n)-коду кожний ненульовий поліном повинен мати степінь принаймні (n-k+1).