Self-Dual and Complementary Dual Abelian Codes over Galois Rings

TL;DR

This paper characterizes, counts, and provides explicit formulas for self-dual and complementary dual abelian codes over Galois rings, extending known results for cyclic codes and offering new algebraic insights.

Contribution

It introduces a comprehensive framework for analyzing self-dual and complementary dual abelian codes over Galois rings, including existence conditions and explicit enumeration formulas.

Findings

Characterization of self-dual abelian codes

Explicit formulas for the number of such codes

Extension of results to cyclic codes over Galois rings

Abstract

Self-dual and complementary dual cyclic/abelian codes over finite fields form important classes of linear codes that have been extensively studied due to their rich algebraic structures and wide applications. In this paper, abelian codes over Galois rings are studied in terms of the ideals in the group ring ${\rm GR}(p^r,s)[G]$, where $G$ is a finite abelian group and ${\rm GR}(p^r,s)$ is a Galois ring. Characterizations of self-dual abelian codes have been given together with necessary and sufficient conditions for the existence of a self-dual abelian code in ${\rm GR}(p^r,s)[G]$. A general formula for the number of such self-dual codes is established. In the case where $\gcd(|G|,p)=1$, the number of self-dual abelian codes in ${\rm GR}(p^r,s)[G]$ is completely and explicitly determined. Applying known results on cyclic codes of length $p^a$ over ${\rm GR}(p^2,s)$, an explicit formula for the number of self-dual abelian codes in ${\rm GR}(p^2,s)[G]$ are given, where the Sylow $p$-subgroup of $G$ is cyclic. Subsequently, the characterization and enumeration of complementary dual abelian codes in ${\rm GR}(p^r,s)[G]$ are established. The analogous results for self-dual and complementary dual cyclic codes over Galois rings are therefore obtained as corollaries.