巡回符号

線形符号 $C \subseteq \mathbb{F}_q^n$ が巡回符号であるとは、$(c_0, c_1, \ldots, c_{n-1}) \in C$ ならば、その巡回シフト $(c_{n-1}, c_0, c_1, \ldots, c_{n-2})$ も $C$ に属することをいう。