The structure of finite group algebra of a semidirect product of abelian groups and its applications

K. V. Vedenev ; V. M. Deundyak

Čebyševskij sbornik, Tome 20 (2019) no. 3, pp. 107-123.

Résumé

In 1978 R. McEliece developed the first assymetric cryptosystem based on the use of Goppa's error–correctring codes and no effective key attacks has been described yet. Now there are many code–based cryptosystems known. One way to build them is to modify the McEliece cryptosystem by replacing Goppa's codes with other codes. But many variants of this modification were proven to be less secure.In connection with the development of quantum computing code cryptosystems along with lattice-based cryptosystems are considered as an alternative to number-theoretical ones. Therefore, it is relevant to find promising classes of codes that are applicable in cryptography. It seems that for this non–commutative group codes, i.e. left ideals in finite non–commutative group algebras, could be used.The Wedderburn theorem is useful to study non–commutative group codes. It implies the existence of an isomorphism of a semisimple group algebra onto a direct sum of matrix algebras. However, the specific form of the summands and the isomorphism construction are not explicitly defined by this theorem. Hence for each semisimple group algebra there is a task to explicitly construct its Wedderburn decomposition. This decomposition allows us to easily describe all left ideals of group algebra, i.e. group codes.In this paper we consider one semidirect product $Q_{m,n} = (\mathbb{Z}_m \times \mathbb{Z}_n) \leftthreetimes (\mathbb{Z}_2 \times \mathbb{Z}_2)$ of abelian groups and the group algebra $\mathbb{F}_q Q_{m,n}$. In the case when $n \mid q -1$ and $\gcd(2mn, q) = 1$, the Wedderburn decomposition of this algebra is constructed. In the case when field is of characteristic $2$, i.e. when this group algebra is not semisimple, a similar structure theorem is also obtained. Further in the paper, the primitive central idempotents of this group algebra are described. The obtained results are used to algebraically describe the group codes over $Q_{m,n}$.

Détail

Keywords: group algebra, semidirect product, finite field, Wedderburn decomposition, left ideals, group codes.

Bibliographie

[1] Milies C. P., Sehgal S. K., An inroduction to Group Rings, Kluwer Academic Publishers, Boston, 2002 | MR

[2] Lang S., Algebra, Springer-Verlag, New York, 2002 | MR | Zbl

[3] Kelarev A. V., Solé P., “Error correcting codes as ideals in group rings”, Contemp. Math., 273, 2001, 11–18 | MR | Zbl

[4] Kouselo E., Gonsales S., Markov V. T., Martines K., Nechaev A. A., “Ideal representations of Reed-Solomon and Reed-Muller codes”, Algebra Logic, 51:3 (2012), 195–212 | MR

[5] Berman S. D., “On the theory of group codes”, Cybernetics, 3 (1967), 25–31 | MR | Zbl

[6] Charpin P., “The Extended Reed-Solomon Codes Considered as Ideals or a Modular Algebra”, North-Holland Mathematics Studies, 75, 1983, 171–176 | MR

[7] Tumaykin I. N., “Group Ring Ideals Related to Reed-Muller Codes”, J. Math. Sci., 233 (2018), 745–748 | MR | Zbl

[8] Zimmermann K.-H., Beitrage zur algebraischen Codierungstheorie mittels modularer Darstellungstheorie, Bayreuther Mathematische Schriften, 48, University of Bayreuth, 1994 | MR

[9] Assuena S., Milies C. P., “Good codes from metacyclic groups”, Contemp. Math., 727, 2019, 39–49 | MR

[10] Olteanu G., Van Gelder I., “Construction of minimal non-abelian left group codes”, Des. Codes Cryptogr., 75:3 (2015), 359–373 | MR | Zbl

[11] Vedenev K. V., Deundyak V. M., “Codes in Dihedral Group Algebra”, Modeling and Analysis of Information Systems, 25:2 (2018), 232–245 (in Russian) | MR

[12] (Last visited 1.07.2019) https://csrc.nist.gov/Projects/Post-Quantum-Cryptography/Post-Quantum-Cryptography-Standardization

[13] Minder L., Shokrollahi A., “Cryptanalysis of the Sidelnikov cryptosystem”, Lecture Notes in Computer Science, 4515, 2007, 347–360 | MR | Zbl

[14] Chizhov I. I., Borodin M. A., “Effective attack on the McEliece cryptosystem based on Reed-Muller codes”, Discrete Mathematics and Applications, 24:5 (2014), 273–280 | MR | Zbl

[15] Sidelnikov V. M., Shestakov S. O., “On an encoding system constructed on the basis of generalized Reed-Solomon codes”, Discrete Mathematics and Applications, 2:4 (1992), 439–444 | MR | Zbl

[16] Broche O., Del RiO A., “Wedderburn decomposition of finite group algebras”, Finite Fields and Their Applications, 13:1 (2007), 71–79 | MR | Zbl

[17] Bakshi G. K., Gupta S., Passi I. B. S., “The structure of finite semisimple metacyclic group algebras”, J. Ramanujan Math. Soc., 28:2 (2013), 141–158 | MR | Zbl

[18] Martinez F. B., “Structure of finite dihedral group algebra”, Finite Fields and Their Applications, 35 (2015), 204–214 | MR | Zbl

[19] Coxeter H. S., Moser W. O., Generators and relations for discrete groups, Springer Science Business Media, 2013 | MR

[20] Magnus W., Karrass A., Solitar D., Combinatorial group theory: Presentations of groups in terms of generators and relations, Courier Corporation, 2004 | MR

[21] Jacobson N., Structure of rings, American Mathematical Society colloquium publications, 37, American Mathematical Soc., 1956 | MR | Zbl