Duality on group algebras over finite chain rings: applications to additive group codes
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912531244646400 |
|---|---|
| author | Bajalan, Maryam de la Cruz, Javier Tabue, Alexandre Fotue Martínez-Moro, Edgar |
| author_facet | Bajalan, Maryam de la Cruz, Javier Tabue, Alexandre Fotue Martínez-Moro, Edgar |
| contents | Given a finite group $G$ and an extension of finite chain rings $S|R$, one can consider the group rings $\mathscr{S} = S[G]$ and $\mathscr{R} = R[G]$. The group ring $\mathscr{S}$ can be viewed as an $R$-bimodule, and any of its $R$-submodules naturally inherits an $R$-bimodule structure; in the framework of coding theory, these are called \emph{additive group codes}, more precisely a (left) additive group code of is a linear code which is the image of a (left) ideal of a group algebra via an isomorphism which maps $G$ to the standard basis of $S^n$, where $n=|G|$. In the first part of the paper, the ring extension $S|R$ is studied, and several $R$-module isomorphisms are established for decomposing group rings, thereby providing a characterization of the structure of additive group codes. In the second part, we construct a symmetric, nondegenerate trace-Euclidean inner product on $\mathscr{S}$. Two additive group codes $\mathcal{C}$ and $\mathcal{D}$ form an \emph{additive complementary pair} (ACP) if $\mathcal{C} + \mathcal{D} = \mathscr{S}$ and $\mathcal{C} \cap \mathcal{D} = \{0\}$. For two-sided ACPs, we prove that the orthogonal complement of one code under the trace-Euclidean duality is precisely the image of the other under an involutive anti-automorphism of $\mathscr{S}$, linking coding-theoretical ACPs with module orthogonal direct-sum decompositions, representation theory, and the structure of group algebras over finite chain rings. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_07461 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Duality on group algebras over finite chain rings: applications to additive group codes Bajalan, Maryam de la Cruz, Javier Tabue, Alexandre Fotue Martínez-Moro, Edgar Information Theory Rings and Algebras 16D70, 94B60, 12E20, 08A40 Given a finite group $G$ and an extension of finite chain rings $S|R$, one can consider the group rings $\mathscr{S} = S[G]$ and $\mathscr{R} = R[G]$. The group ring $\mathscr{S}$ can be viewed as an $R$-bimodule, and any of its $R$-submodules naturally inherits an $R$-bimodule structure; in the framework of coding theory, these are called \emph{additive group codes}, more precisely a (left) additive group code of is a linear code which is the image of a (left) ideal of a group algebra via an isomorphism which maps $G$ to the standard basis of $S^n$, where $n=|G|$. In the first part of the paper, the ring extension $S|R$ is studied, and several $R$-module isomorphisms are established for decomposing group rings, thereby providing a characterization of the structure of additive group codes. In the second part, we construct a symmetric, nondegenerate trace-Euclidean inner product on $\mathscr{S}$. Two additive group codes $\mathcal{C}$ and $\mathcal{D}$ form an \emph{additive complementary pair} (ACP) if $\mathcal{C} + \mathcal{D} = \mathscr{S}$ and $\mathcal{C} \cap \mathcal{D} = \{0\}$. For two-sided ACPs, we prove that the orthogonal complement of one code under the trace-Euclidean duality is precisely the image of the other under an involutive anti-automorphism of $\mathscr{S}$, linking coding-theoretical ACPs with module orthogonal direct-sum decompositions, representation theory, and the structure of group algebras over finite chain rings. |
| title | Duality on group algebras over finite chain rings: applications to additive group codes |
| topic | Information Theory Rings and Algebras 16D70, 94B60, 12E20, 08A40 |
| url | https://arxiv.org/abs/2508.07461 |