$G$-codes over formal power series rings and finite chain rings | Journal of Algebra Combinatorics Discrete Structures and Applications