We generalise structure theorems of Calderbank and Sloane for linear and cyclic codes over ‫ޚ‬ p a to a finite chain ring. Our results are more detailed and do not use non-trivial results from Commutative Algebra.

Let R be a finite chain ring (e.g. a Galois ring), K its residue field and C a linear code over R. We prove that d(C), the Hamming distance of C, is d((C : α)), where (C : α) is a submodule quotient, α is a certain element of R and denotes the canonical projection to K. These two codes also have the same set of minimal codeword supports. We explicitly construct a generator matrix/polynomial of (C : α) from the generator matrix/polynomials of C. We show that in general d(C) ≤ d(C) with equality for free codes (i.e. for free Rsubmodules of R n) and in particular for Hensel lifts of cyclic codes over K. Most of the codes over rings described in the literature fall into this class. We characterise MDS codes over R and prove several analogues of properties of MDS codes over finite fields. We compute the Hamming weight enumerator of a free MDS code over R.

We show that repeated-root cyclic codes over a finite chain ring are in general not principally generated. Repeated-root negacyclic codes are principally generated if the ring is a Galois ring with characteristic a power of 2. For any other finite chain ring they are in general not principally generated. We also prove results on the structure, cardinality and Hamming distance of repeated-root cyclic and negacyclic codes over a finite chain ring.

No abstract

No abstract