Codes over \(\mathfrak{m}\)-adic completion rings (Q2158235)

Let \(R\) be a commutative Noetherian ring, let \(\mathfrak{m}=\langle\gamma\rangle\) be a maximal ideal and let \(\hat{R}_{\mathfrak{m}}:=\smash\varprojlim \, R/\mathfrak{m}^i\) be the corresponding completion ring. This paper examines linear codes over the ring \(\hat{R}_{\mathfrak{m}}\), i.e., submodules of \((\hat{R}_{\mathfrak{m}})^n\), and hence encompasses codes over the \(p\)-adic integers or the formal power series ring, which have been studied before. A systematic form for generator matrices is given and results on the dual codes are obtained. The MDS property is defined in terms of the generator matrix and shown in certain cases to be equivalent to the condition that the minimum Hamming distance equals \(n-\mathrm{rank}+1\). If \(R/\mathfrak{m}\cong\mathbb{F}_q\) and \(\hat{R}_{\mathfrak{m}}\) is an integral domain, based on Hensel lifting, the structure of constacyclic codes of length \(n\) coprime to \(q\) is provided. Codes over complete discrete valuation rings and Artinian local principal ideal rings are considered as special cases. Some results are also obtained for \(\hat{R}_{\mathfrak{m}}\)-linear cyclic codes over free \(\hat{R}_{\mathfrak{m}}\)-algebras.