This articlemay be too technical for most readers to understand. Pleasehelp improve it tomake it understandable to non-experts, without removing the technical details.(March 2014) (Learn how and when to remove this message)

Incoding theory, acyclic code is ablock code, where thecircular shifts of each codeword gives another word that belongs to the code. They areerror-correcting codes that have algebraic properties that are convenient for efficienterror detection and correction.

Let${\displaystyle \mathcal{C}}$ be alinear code over afinite field (also called Galois field)${\displaystyle GF(q)}$ ofblock length${\displaystyle n}$.${\displaystyle \mathcal{C}}$ is called acyclic code if, for everycodeword${\displaystyle c=(c_1,\dots ,c_n)}$ from${\displaystyle \mathcal{C}}$, the word${\displaystyle (c_n,c_1,\dots ,c_{n-1})}$ in${\displaystyle GF(q{)}^n}$ obtained by acyclic right shift of components is again a codeword. Because one cyclic right shift is equal to${\displaystyle n-1}$ cyclic left shifts, a cyclic code may also be defined via cyclic left shifts. Therefore, the linear code${\displaystyle \mathcal{C}}$ is cyclic precisely when it is invariant under all cyclic shifts.

Cyclic codes have some additional structural constraint on the codes. They are based onGalois fields and because of their structural properties they are very useful for error controls. Their structure is strongly related to Galois fields because of which the encoding and decoding algorithms for cyclic codes are computationally efficient.

Cyclic codes can be linked to ideals in certain rings. Let${\displaystyle R=A[x]/(x^n-1)}$ be a quotient of apolynomial ring over the finite field${\displaystyle A=GF(q)}$. Identify the elements of the cyclic code${\displaystyle \mathcal{C}}$ with polynomials in${\displaystyle R}$ such that${\displaystyle (c_0,\dots ,c_{n-1})}$ maps to the polynomial${\displaystyle c_0+c_{1}x+\cdots +c_{n-1}{x}^{n-1}}$: thus multiplication by${\displaystyle x}$ corresponds to a cyclic shift. Then${\displaystyle \mathcal{C}}$ is anideal in${\displaystyle R}$, and henceprincipal, since${\displaystyle R}$ is aprincipal ideal ring. The ideal is generated by the unique monic element in${\displaystyle \mathcal{C}}$ of minimum degree, thegenerator polynomial${\displaystyle g}$.^[1]This must be a divisor of${\displaystyle x^n-1}$. It follows that every cyclic code is apolynomial code.If the generator polynomial${\displaystyle g}$ has degree${\displaystyle d}$ then the rank of the code${\displaystyle \mathcal{C}}$ is${\displaystyle n-d}$.

If${\displaystyle \mathcal{C}}$ is a cyclic code, thedual code${\displaystyle {\mathcal{C}}^{\perp }}$ is also a cyclic code. The generator polynomial${\displaystyle h(x)}$ for${\displaystyle {\mathcal{C}}^{\perp }}$ is also called theparity-check polynomial or simplycheck polynomial for${\displaystyle \mathcal{C}}$. It can also be shown that${\displaystyle g(x)h^{\ast }(x)=x^n-1}$, where${\displaystyle h^{\ast }(x)}$ denotes thereciprocal polynomial of${\displaystyle h(x)}$.^[2]

Theidempotent of${\displaystyle \mathcal{C}}$ is a codeword${\displaystyle e}$ such that${\displaystyle e^2=e}$ (that is,${\displaystyle e}$ is anidempotent element of${\displaystyle \mathcal{C}}$) and${\displaystyle e}$ is an identity for the code, that is${\displaystyle e\cdot c=c}$ for every codeword${\displaystyle c}$. If${\displaystyle n}$ and${\displaystyle q}$ arecoprime such a word always exists and is unique;^[3] it is a generator of the code.

Anirreducible code is a cyclic code in which the code, as an ideal is irreducible, i.e. is minimal in${\displaystyle R}$, so that its check polynomial is anirreducible polynomial.

For example, if${\displaystyle A={\mathbb{F}}_2}$ and${\displaystyle n=3}$, the set of codewords contained in the cyclic code generated by${\displaystyle (1,1,0)}$ is precisely

$${\displaystyle \{(0,0,0),(1,1,0),(0,1,1),(1,0,1)\}.}$$

This code corresponds to the ideal in${\displaystyle {\mathbb{F}}_2[x]/(x^3-1)}$ generated by${\displaystyle (1+x)}$.

The polynomial${\displaystyle (1+x)}$ is irreducible in the polynomial ring, and hence the code is an irreducible code.

The idempotent of this code is the polynomial${\displaystyle x+x^2}$, corresponding to the codeword${\displaystyle (0,1,1)}$.

Trivial examples of cyclic codes are${\displaystyle A^n}$ itself and the code containing only the zero codeword. These correspond to generators${\displaystyle 1}$ and${\displaystyle x^n-1}$ respectively: these two polynomials must always be factors of${\displaystyle x^n-1}$.

Over${\displaystyle GF(2)}$ theparity bit code, consisting of all words of even weight, corresponds to generator${\displaystyle x+1}$. Again over${\displaystyle GF(2)}$ this must always be a factor of${\displaystyle x^n-1}$.

Many types of commonly used error-correcting codes can be represented as cyclic codes, includingBCH codes,Reed-Solomon codes, and some classes oflow-density parity-check codes defined from finite geometries.^[4]

Cyclic codes can be used tocorrect errors, likeHamming codes as cyclic codes can be used for correcting single error. Likewise, they are also used to correct double errors and burst errors. All types of error corrections are covered briefly in the further subsections.

The (7,4) Hamming code has agenerator polynomial${\displaystyle g(x)=x^3+x+1}$. This polynomial has a zero inGalois extension field${\displaystyle GF(8)}$ at the primitive element${\displaystyle \alpha }$, and all codewords satisfy${\displaystyle \mathcal{C}(\alpha )=0}$. Cyclic codes can also be used to correct double errors over the field${\displaystyle GF(2)}$. Blocklength will be${\displaystyle n}$ equal to${\displaystyle 2^m-1}$ and primitive elements${\displaystyle \alpha }$ and${\displaystyle {\alpha }^3}$ as zeros in the${\displaystyle GF(2^m)}$ because we are considering the case of two errors here, so each will represent one error.

The received word is a polynomial of degree${\displaystyle n-1}$ given as${\displaystyle v(x)=a(x)g(x)+e(x)}$

where${\displaystyle e(x)}$ can have at most two nonzero coefficients corresponding to 2 errors.

We define thesyndrome polynomial,${\displaystyle S(x)}$ as the remainder of polynomial${\displaystyle v(x)}$ when divided by the generator polynomial${\displaystyle g(x)}$ i.e.

${\displaystyle S(x)\equiv v(x)\equiv (a(x)g(x)+e(x))\equiv e(x)\mathrm{mod}g(x)}$ as${\displaystyle (a(x)g(x))\equiv 0\mathrm{mod}g(x)}$.

Let the field elements${\displaystyle X_1}$ and${\displaystyle X_2}$ be the two error location numbers. If only one error occurs then${\displaystyle X_2}$ is equal to zero and if none occurs both are zero.

Let${\displaystyle S_1=v(\alpha )}$ and${\displaystyle S_3=v({\alpha }^3)}$.

These field elements are called "syndromes". Now because${\displaystyle g(x)}$ is zero at primitive elements${\displaystyle \alpha }$ and${\displaystyle {\alpha }^3}$, so we can write${\displaystyle S_1=e(\alpha )}$ and${\displaystyle S_3=e({\alpha }^3)}$. If say two errors occur, then

${\displaystyle S_1={\alpha }^i+{\alpha }^{i^{\prime }}}$ and${\displaystyle S_3={\alpha }^{3i}+{\alpha }^{3i^{\prime }}}$.

And these two can be considered as two pair of equations in${\displaystyle GF(2^m)}$ with two unknowns and hence we can write

${\displaystyle S_1=X_1+X_2}$ and${\displaystyle S_3=(X_1{)}^3+(X_2{)}^3}$.

Hence if the two pair of nonlinear equations can be solved cyclic codes can used to correct two errors.

TheHamming(7,4) code may be written as a cyclic code over GF(2) with generator${\displaystyle 1+x+x^3}$. In fact, any binary Hamming code of the form Ham(r, 2) is equivalent to a cyclic code,^[5] and any Hamming code of the form Ham(r,q) with r and q-1 relatively prime is also equivalent to a cyclic code.^[6] Given a Hamming code of the form Ham(r,2) with${\displaystyle r\ge 3}$, the set of even codewords forms a cyclic${\displaystyle [2^r-1,2^r-r-2,4]}$-code.^[7]

A code whose minimum distance is at least 3, have a check matrix all of whose columns are distinct and non zero. If a check matrix for a binary code has${\displaystyle m}$ rows, then each column is an${\displaystyle m}$-bitbinary number. There are${\displaystyle 2^m-1}$ possible columns. Therefore, if a check matrix of a binary code with${\displaystyle d_{min}}$ at least 3 has${\displaystyle m}$ rows, then it can only have${\displaystyle 2^m-1}$ columns, not more than that. This defines a${\displaystyle (2^m-1,2^m-1-m)}$ code, called Hamming code.

It is easy to define Hamming codes for large alphabets of size${\displaystyle q}$. We need to define one${\displaystyle H}$ matrix with linearly independent columns. For any word of size${\displaystyle q}$ there will be columns who are multiples of each other. So, to getlinear independence all non zero${\displaystyle m}$-tuples with one as a top most non zero element will be chosen as columns. Then two columns will never be linearly dependent because three columns could be linearly dependent with the minimum distance of the code as 3.

So, there are${\displaystyle (q^m-1)/(q-1)}$ nonzero columns with one as top most non zero element. Therefore, a Hamming code is a${\displaystyle [(q^m-1)/(q-1),(q^m-1)/(q-1)-m]}$ code.

Now, for cyclic codes, Let${\displaystyle \alpha }$ be primitive element in${\displaystyle GF(q^m)}$, and let${\displaystyle \beta ={\alpha }^{q-1}}$. Then${\displaystyle {\beta }^{(q^m-1)/(q-1)}=1}$ and thus${\displaystyle \beta }$ is a zero of the polynomial${\displaystyle x^{(q^m-1)/(q-1)}-1}$ and is a generator polynomial for the cyclic code of block length${\displaystyle n=(q^m-1)/(q-1)}$.

But for${\displaystyle q=2}$,${\displaystyle \alpha =\beta }$. And the received word is a polynomial of degree${\displaystyle n-1}$ given as

${\displaystyle v(x)=a(x)g(x)+e(x)}$

where,${\displaystyle e(x)=0}$ or${\displaystyle x^i}$ where${\displaystyle i}$ represents the error locations.

But we can also use${\displaystyle {\alpha }^i}$ as an element of${\displaystyle GF(2^m)}$ to index error location. Because${\displaystyle g(\alpha )=0}$, we have${\displaystyle v(\alpha )={\alpha }^i}$ and all powers of${\displaystyle \alpha }$ from${\displaystyle 0}$ to${\displaystyle 2^m-2}$ are distinct. Therefore, we can easily determine error location${\displaystyle i}$ from${\displaystyle {\alpha }^i}$ unless${\displaystyle v(\alpha )=0}$ which represents no error. So, a Hamming code is a single error correcting code over${\displaystyle GF(2)}$ with${\displaystyle n=2^m-1}$ and${\displaystyle k=n-m}$.

FromHamming distance concept, a code with minimum distance${\displaystyle 2t+1}$ can correct any${\displaystyle t}$ errors. But in many channels error pattern is not very arbitrary, it occurs within very short segment of the message. Such kind of errors are calledburst errors. So, for correcting such errors we will get a more efficient code of higher rate because of the less constraints. Cyclic codes are used for correcting burst error. In fact, cyclic codes can also correct cyclic burst errors along with burst errors. Cyclic burst errors are defined as

A cyclic burst of length${\displaystyle t}$ is a vector whose nonzero components are among${\displaystyle t}$ (cyclically) consecutive components, the first and the last of which are nonzero.

In polynomial form cyclic burst of length${\displaystyle t}$ can be described as${\displaystyle e(x)=x^{i}b(x)\mathrm{mod}(x^n-1)}$ with${\displaystyle b(x)}$ as a polynomial of degree${\displaystyle t-1}$ with nonzero coefficient${\displaystyle b_0}$. Here${\displaystyle b(x)}$ defines the pattern and${\displaystyle x^i}$ defines the starting point of error. Length of the pattern is given by deg${\displaystyle b(x)+1}$. The syndrome polynomial is unique for each pattern and is given by

${\displaystyle s(x)=e(x)\mathrm{mod}g(x)}$

A linear block code that corrects all burst errors of length${\displaystyle t}$ or less must have at least${\displaystyle 2t}$ check symbols. Proof: Because any linear code that can correct burst pattern of length${\displaystyle t}$ or less cannot have a burst of length${\displaystyle 2t}$ or less as a codeword because if it did then a burst of length${\displaystyle t}$ could change the codeword to burst pattern of length${\displaystyle t}$, which also could be obtained by making a burst error of length${\displaystyle t}$ in all zero codeword. Now, any two vectors that are non zero in the first${\displaystyle 2t}$ components must be from different co-sets of an array to avoid their difference being a codeword of bursts of length${\displaystyle 2t}$. Therefore, number of such co-sets are equal to number of such vectors which are${\displaystyle q^{2t}}$. Hence at least${\displaystyle q^{2t}}$ co-sets and hence at least${\displaystyle 2t}$ check symbol.

This property is also known as Rieger bound and it is similar to theSingleton bound for random error correcting.

In 1959, Philip Fire^[8] presented a construction of cyclic codes generated by a product of a binomial and a primitive polynomial. The binomial has the form${\displaystyle x^c+1}$ for some positive odd integer${\displaystyle c}$.^[9]Fire code is a cyclic burst error correcting code over${\displaystyle GF(q)}$ with the generator polynomial

${\displaystyle g(x)=(x^{2t-1}-1)p(x)}$

where${\displaystyle p(x)}$ is a prime polynomial with degree${\displaystyle m}$ not smaller than${\displaystyle t}$ and${\displaystyle p(x)}$ does not divide${\displaystyle x^{2t-1}-1}$. Block length of the fire code is the smallest integer${\displaystyle n}$ such that${\displaystyle g(x)}$ divides${\displaystyle x^n-1}$.

A fire code can correct all burst errors of length t or less if no two bursts${\displaystyle b(x)}$ and${\displaystyle x^j{b}^{\prime }(x)}$ appear in the same co-set. This can be proved by contradiction. Suppose there are two distinct nonzero bursts${\displaystyle b(x)}$ and${\displaystyle x^j{b}^{\prime }(x)}$ of length${\displaystyle t}$ or less and are in the same co-set of the code. So, their difference is a codeword. As the difference is a multiple of${\displaystyle g(x)}$ it is also a multiple of${\displaystyle x^{2t-1}-1}$. Therefore,

${\displaystyle b(x)=x^j{b}^{\prime }(x)\mathrm{mod}(x^{2t-1}-1)}$.

This shows that${\displaystyle j}$ is a multiple of${\displaystyle 2t-1}$, So

${\displaystyle b(x)=x^{l(2t-1)}{b}^{\prime }(x)}$

for some${\displaystyle l}$. Now, as${\displaystyle l(2t-1)}$ is less than${\displaystyle t}$ and${\displaystyle l}$ is less than${\displaystyle q^m-1}$ so${\displaystyle (x^{l(2t-1)}-1)b(x)}$ is a codeword. Therefore,

${\displaystyle (x^{l(2t-1)}-1)b(x)=a(x)(x^{2t-1}-1)p(x)}$.

Since${\displaystyle b(x)}$ degree is less than degree of${\displaystyle p(x)}$,${\displaystyle p(x)}$ cannot divide${\displaystyle b(x)}$. If${\displaystyle l}$ is not zero, then${\displaystyle p(x)}$ also cannot divide${\displaystyle x^{l(2t-1)}-1}$ as${\displaystyle l}$ is less than${\displaystyle q^m-1}$ and by definition of${\displaystyle m}$,${\displaystyle p(x)}$ divides${\displaystyle x^{l(2t-1)}-1}$ for no${\displaystyle l}$ smaller than${\displaystyle q^m-1}$. Therefore${\displaystyle l}$ and${\displaystyle j}$ equals to zero. That means both that both the bursts are same, contrary to assumption.

Fire codes are the best single burst correcting codes with high rate and they are constructed analytically. They are of very high rate and when${\displaystyle m}$ and${\displaystyle t}$ are equal, redundancy is least and is equal to${\displaystyle 3t-1}$. By using multiple fire codes longer burst errors can also be corrected.

For error detection cyclic codes are widely used and are called${\displaystyle t-1}$cyclic redundancy codes.

Applications ofFourier transform are widespread insignal processing. But their applications are not limited to the complex fields only; Fourier transforms also exist in the Galois field${\displaystyle GF(q)}$. Cyclic codes using Fourier transform can be described in a setting closer to the signal processing.

Fourier transform over finite fields

The discrete Fourier transform of vector${\displaystyle v=v_0,v_1,....,v_{n-1}}$ is given by a vector${\displaystyle V=V_0,V_1,.....,V_{n-1}}$ where,

${\displaystyle V_k}$ =${\displaystyle {\mathrm{\Sigma }}_{i=0}^{n-1}{e}^{-j2\pi n^{-1}ik}{v}_i}$ where,

${\displaystyle k=0,.....,n-1}$

where exp(${\displaystyle -j2\pi /n}$) is an${\displaystyle n}$throot of unity. Similarly in the finite field${\displaystyle n}$th root of unity is element${\displaystyle \omega }$ of order${\displaystyle n}$. Therefore

If${\displaystyle v=(v_0,v_1,....,v_{n-1})}$ is a vector over${\displaystyle GF(q)}$, and${\displaystyle \omega }$ be an element of${\displaystyle GF(q)}$ of order${\displaystyle n}$, then Fourier transform of the vector${\displaystyle v}$ is the vector${\displaystyle V=(V_0,V_1,.....,V_{n-1})}$ and components are given by

${\displaystyle V_j}$ =${\displaystyle {\mathrm{\Sigma }}_{i=0}^{n-1}{\omega }^{ij}{v}_i}$ where,

${\displaystyle k=0,.....,n-1}$

Here${\displaystyle i}$ istime index,${\displaystyle j}$ isfrequency and${\displaystyle V}$ is thespectrum. One important difference between Fourier transform in complex field and Galois field is that complex field${\displaystyle \omega }$ exists for every value of${\displaystyle n}$ while in Galois field${\displaystyle \omega }$ exists only if${\displaystyle n}$ divides${\displaystyle q-1}$. In case of extension fields, there will be a Fourier transform in the extension field${\displaystyle GF(q^m)}$ if${\displaystyle n}$ divides${\displaystyle q^m-1}$ for some${\displaystyle m}$. In Galois fieldtime domain vector${\displaystyle v}$ is over the field${\displaystyle GF(q)}$ but the spectrum${\displaystyle V}$ may be over the extension field${\displaystyle GF(q^m)}$.

Any codeword of cyclic code of blocklength${\displaystyle n}$ can be represented by a polynomial${\displaystyle c(x)}$ of degree at most${\displaystyle n-1}$. Its encoder can be written as${\displaystyle c(x)=a(x)g(x)}$. Therefore, in frequency domain encoder can be written as${\displaystyle C_j=A_j{G}_j}$. Herecodeword spectrum${\displaystyle C_j}$ has a value in${\displaystyle GF(q^m)}$ but all the components in the time domain are from${\displaystyle GF(q)}$. As the data spectrum${\displaystyle A_j}$ is arbitrary, the role of${\displaystyle G_j}$ is to specify those${\displaystyle j}$ where${\displaystyle C_j}$ will be zero.

Thus, cyclic codes can also be defined as

Given a set of spectral indices,${\displaystyle A=(j_1,....,j_{n-k})}$, whose elements are called check frequencies, the cyclic code${\displaystyle C}$is the set of words over${\displaystyle GF(q)}$whose spectrum is zero in the components indexed by${\displaystyle j_1,...,j_{n-k}}$.Any such spectrum${\displaystyle C}$will have components of the form${\displaystyle A_j{G}_j}$.

So, cyclic codes are vectors in the field${\displaystyle GF(q)}$ and the spectrum given by its inverse fourier transform is over the field${\displaystyle GF(q^m)}$ and are constrained to be zero at certain components. But every spectrum in the field${\displaystyle GF(q^m)}$ and zero at certain components may not have inverse transforms with components in the field${\displaystyle GF(q)}$. Such spectrum can not be used as cyclic codes.

Following are the few bounds on the spectrum of cyclic codes.

If${\displaystyle n}$ be a factor of${\displaystyle (q^m-1)}$ for some${\displaystyle m}$. The only vector in${\displaystyle GF(q{)}^n}$ of weight${\displaystyle d-1}$ or less that has${\displaystyle d-1}$ consecutive components of its spectrum equal to zero is all-zero vector.

If${\displaystyle n}$ be a factor of${\displaystyle (q^m-1)}$ for some${\displaystyle m}$, and${\displaystyle b}$ an integer that is coprime with${\displaystyle n}$. The only vector${\displaystyle v}$ in${\displaystyle GF(q{)}^n}$ of weight${\displaystyle d-1}$ or less whose spectral components${\displaystyle V_j}$ equal zero for${\displaystyle j={\ell }_1+{\ell }_{2}b(\mathrm{mod}n)}$, where${\displaystyle {\ell }_1=0,....,d-s-1}$ and${\displaystyle {\ell }_2=0,....,s-1}$, is the all zero vector.

If${\displaystyle n}$ be a factor of${\displaystyle q^m-1}$ for some${\displaystyle m}$ and${\displaystyle GCD(n,b)=1}$. The only vector in${\displaystyle GF(q{)}^n}$ of weight${\displaystyle d-1}$ or less whose spectral components${\displaystyle V_j}$ equal to zero for${\displaystyle j=l_1+l_{2}b(\mathrm{mod}n)}$, where${\displaystyle l_1=0,...,d-s-2}$ and${\displaystyle l_2}$ takes at least${\displaystyle s+1}$ values in the range${\displaystyle 0,....,d-2}$, is the all-zero vector.

When the prime${\displaystyle l}$ is a quadratic residue modulo the prime${\displaystyle p}$ there is aquadratic residue code which is a cyclic code of length${\displaystyle p}$, dimension${\displaystyle (p+1)/2}$ and minimum weight at least${\displaystyle \sqrt{p}}$ over${\displaystyle GF(l)}$.

Aconstacyclic code is a linear code with the property that for some constant${\displaystyle \lambda }$ if${\displaystyle (c_1,c_2,\dots ,c_n)}$ is a codeword, then so is${\displaystyle (\lambda c_n,c_1,\dots ,c_{n-1})}$. Anegacyclic code is a constacyclic code with${\displaystyle \lambda =-1}$.^[10]

Aquasi-cyclic code (QC code) has the property that for some${\displaystyle s}$ dividing${\displaystyle n}$, any cyclic shift of a codeword by${\displaystyle s}$ places is again a codeword. That is, for some constant${\displaystyle s}$, if${\displaystyle (c_0,c_1,\dots ,c_{n-1})}$ is a codeword, then so is${\displaystyle (c_{-s},c_{1-s},\dots ,c_{n-s-1})}$, where all subscripts are reduced mod${\displaystyle n}$.^[11] Such a code is known as an${\displaystyle s}$-QC code. Adouble circulant code is a quasi-cyclic code of even length with${\displaystyle s=2}$.^[11]

An${\displaystyle (n,k)}$ linear code is called ashortened cyclic code if it can be obtained by deleting${\displaystyle b}$ positions from an${\displaystyle (n+b,k+b)}$ cyclic code. Code of this form are not generally cyclic.^[12]

In shortened codes, information symbols are deleted to obtain a desired block length smaller than the original block length. While deleting the first${\displaystyle b}$ symbols is a common approach, in principle any set of information symbols can be deleted.^[12] Any cyclic code can be converted to a quasi-cyclic code by dropping every${\displaystyle b}$-th symbol, where${\displaystyle b}$ is a factor of${\displaystyle n}$. If the dropped symbols are not check symbols, this cyclic code is also a shortened cyclic code.

Quasi-twisted codes (QT codes) combine the properties of constacyclic and quasi-cyclic codes, with the shift occurring by${\displaystyle s}$ places and with a multiplier of${\displaystyle \lambda }$. That is, for some constants${\displaystyle \lambda }$ and${\displaystyle s}$, if${\displaystyle (c_0,c_1,\dots ,c_{n-1})}$ is a codeword, then so is${\displaystyle (\lambda c_{-s},c_{1-s},\dots ,c_{n-s-1})}$, where all subscripts are reduced mod${\displaystyle n}$.^[13]Multi-twisted codes are further generalizations of QT codes, which join multiple QT codes end to end.^[13][14]

• BCH code
• Binary Golay code
• Cyclic redundancy check
• Eugene Prange
• Reed–Muller code
• Ternary Golay code

• Blahut, Richard E. (2003),Algebraic Codes for Data Transmission (2nd ed.),Cambridge University Press,ISBN 0-521-55374-1
• Hill, Raymond (1988),A First Course In Coding Theory,Oxford University Press,ISBN 0-19-853803-0
• MacWilliams, F. J.;Sloane, N. J. A. (1977),The Theory of Error-Correcting Codes, New York: North-Holland Publishing,ISBN 0-444-85011-2
• Ryan, William E.; Lin, Shu (2009),Channel Codes: Classical and Modern (1st ed.), Cambridge University Press,ISBN 978-0521848688
• Van Lint, J. H. (1998),Introduction to Coding Theory,Graduate Texts in Mathematics86 (3rd ed.),Springer Verlag,ISBN 3-540-64133-5

• Ranjan Bose, Information theory, coding and cryptography,ISBN 0-07-048297-7
• Irving S. Reed and Xuemin Chen,Error-Control Coding for Data Networks, Boston: Kluwer Academic Publishers, 1999,ISBN 0-7923-8528-4.
• Scott A. Vanstone,Paul C. Van Oorschot,An introduction to error correcting codes with applications,ISBN 0-7923-9017-2

• John Gill's (Stanford) class notes –Notes #3, October 8, Handout #9Archived 2012-10-23 at theWayback Machine, EE 387.
• Jonathan Hall's (MSU) class notes –Chapter 8. Cyclic codes - pp. 100 - 123
• David Terr."Cyclic Code".MathWorld.

This article incorporates material from cyclic code onPlanetMath, which is licensed under theCreative Commons Attribution/Share-Alike License.

• Coding theory
• Finite fields

• Articles with short description
• Short description is different from Wikidata
• Wikipedia articles that are too technical from March 2014
• All articles that are too technical
• Webarchive template wayback links
• Wikipedia articles incorporating text from PlanetMath