Abstract
We describe G-codes, which are codes that are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a G-code is also a G-code. We give constructions of self-dual and formally self-dual codes in this setting and we improve the existing construction given in Hurley (Int J Pure Appl Math 31(3):319–335, 2006) by showing that one of the conditions given in the theorem is unnecessary and, moreover, it restricts the number of self-dual codes obtained by the construction. We show that several of the standard constructions of self-dual codes are found within our general framework. We prove that our constructed codes must have an automorphism group that contains G as a subgroup. We also prove that a common construction technique for producing self-dual codes cannot produce the putative [72, 36, 16] Type II code. Additionally, we show precisely which groups can be used to construct the extremal Type II codes over length 24 and 48. We define quasi-G codes and give a construction of these codes.
Similar content being viewed by others
Notes
These groups are SmallGroup(24,i) for \(i \in \{3,6,8,10,12,13,14\}\) according to the GAP system [20].
References
Bernhardt F., Landrock P., Manz O.: The extended Golay codes considered as ideals. J. Comb. Theory Ser. A 55(2), 235–246 (1990).
Borello M.: The automorphism group of a self-dual [72,36,16] code is not an elementary abelian group of order 8. Finite Fields Appl. 25, 1–7 (2014).
Bouyuklieva S.: On the automorphism of order 2 with fixed points for the extremal self-dual codes of length 24 m. Des. Codes Cryptogr. 25(1), 5–13 (2002).
Bouyuklieva S., O’Brien E.A., Willems W.: The automorphism group of a binary self-dual doubly-even [72,36,16] code is solvable. IEEE Trans. Inf. Theory 52, 4244–4248 (2006).
Dougherty S.T.: Algebraic Coding Theory Over Finite Commutative Rings. Springer Briefs in Mathematics. Springer, Berlin (ISBN 978-3-319-59805-5) (2017).
Dougherty S.T., Fernandez-Cordoba D., Ten-Valls R.: Quasi-cyclic codes as cyclic codes over a family of local rings. Finite Fields Appl. 40, 138–149 (2016).
Dougherty S.T., Kaya A., Salutrk E.: Constructions of Self-Dual Codes and Formally Self-Dual Codes over Rings. AAECC (2016). https://doi.org/10.1007/s00s00-016-0288-5.
Dougherty S.T., Kim J.L., Solé P.: Open problems in coding theory. Contemp. Math. 634, 79–99 (2015).
Dougherty S.T., Yildiz B., Karadeniz S.: Codes over \(R_k\), gray maps and their binary images. Finite Fields Appl. 17(3), 205–219 (2011).
Dougherty S.T., Yildiz B., Karadeniz S.: Cyclic codes over \(R_k\). Des. Codes Cryptogr. 63(1), 113–126 (2012).
Dougherty S.T., Yildiz B., Karadeniz S.: Self-dual codes over \(R_k\) and binary self-dual codes. Eur. J. Pure Appl. Math. 6(1), 89–106 (2013).
Hurley T.: Group rings and rings of matrices. Int. J. Pure Appl. Math. 31(3), 319–335 (2006).
MacWilliams F.J.: Binary codes which are ideals in the group algebra of an Abelian group. Bell Syst. Tech. J. 49, 987–1011 (1970).
MacWilliams F.J.: Codes and ideals in group algebras. 1969 Combinatorial Mathematics and its Applications. In: Proceedings of a Conference Held at the University of North Carolina Press, Chapel Hill, NC, pp. 317–328. University of North Carolina Press, Chapel Hill, NC (1967).
McLoughlin I.: Dihedral codes, Ph.D. thesis, National University of Ireland, Galway (2009)
McLoughlin I.: A group ring construction of the [48,24,12] Type II linear block code. Des. Codes Cryptogr. 63(1), 29–41 (2012).
McLoughlin I., Hurley T.: A group ring construction of the extended binary Golay code. IEEE Trans. Inf. Theory 54(9), 4381–4383 (2008).
Nebe G.: An extremal [72,36,16] binary code has no automorphism group containing \({\cal{Z}}_2 \times {\cal{Z}}_4, Q_8\) or \({\cal{Z}}_{10}\). Finite Fields Appl. 18(3), 563–566 (2012).
O’Brien E.A., Willems W.: On the automorphism group of a binary self-dual doubly-even [72,36,16] code. IEEE Trans. Inf. Theory 57(7), 4445–4451 (2011).
The GAP Group: GAP—Groups, Algorithms and Programming, Version 4.4. https://www.gap-system.org (2006).
Yankov N.: A putative doubly-even [72,36,16] code does not have an automorphism of order 9. IEEE Trans. Inf. Theory 58(1), 159–163 (2012).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Ding.
Rights and permissions
About this article
Cite this article
Dougherty, S.T., Gildea, J., Taylor, R. et al. Group rings, G-codes and constructions of self-dual and formally self-dual codes. Des. Codes Cryptogr. 86, 2115–2138 (2018). https://doi.org/10.1007/s10623-017-0440-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-017-0440-7