$\mathbb{F}_{q}[G]$-modules and $G$-invariant codes (1711.10671v3)

Abstract: If $\mathbb{F}{q}$ is a finite field, $C$ is a vector subspace of $\mathbb{F}{q}^{n}$ (linear code), and $G$ is a subgroup of the group of linear automorphisms of $\mathbb{F}{q}^{n}$, $C$ is said to be $G$-invariant if $g(C)=C$ for all $g\in G$. A solution to the problem of computing all the $G$-invariant linear codes $C$ of $\mathbb{F}{q}^{n}$ is offered. This will be referred as the invariance problem. When $n=|G|t$, we determine conditions for the existence of an isomorphism of $\mathbb{F}{q}[G]$-modules between $\mathbb{F}{q}^{n}$ and $\mathbb{F}{q}[G]\times \cdots \times \mathbb{F}{q}[G]$ ($t$-times), that preserves the Hamming weight. This reduces the invariance problem to the determination of the $\mathbb{F}{q}[G]$-submodules of $\mathbb{F}{q}[G]\times \cdots \times \mathbb{F}{q}[G]$ ($t$-times). The concept of Gaussian binomial coefficient for semisimple $\mathbb{F}{q}[G]$-modules, which is useful for counting $G$-invariant codes, is introduced. Finally, a systematic way to compute all the $G$-invariant linear codes $C\subseteq \mathbb{F}_{q}^{n}$ is provided, when $(|G|,q)=1$.