Quaternions over Galois rings and their codes
DOI:
https://doi.org/10.13069/jacodesmath.v13i2.221Keywords:
Quaternions, Galois rings, Frobenius rings, Homogeneous weightsAbstract
It is shown that, if \( R \) is a Frobenius ring, then the quaternion ring \( \mathcal{H}_{a,b}(R) \) is a Frobenius ring for all units \( a,b \in R \). In particular, if \( q \) is an odd prime power, then \( \mathcal{H}_{a,b}(\mathbb{F}_q) \) is the semisimple non-commutative matrix ring \( M_2(\mathbb{F}_q) \). Consequently, a homogeneous weight that depends on the field size \( q \) is obtained. Moreover, the homogeneous weight of a finite Frobenius ring with a unique minimal ideal is derived in terms of the size of the ideal. This is illustrated by the quaternions over the Galois ring \( GR(2^r,m) \). Finally, one-sided linear block codes over the quaternions with coefficients in the Galois ring are constructed, and certain bounds on the homogeneous distance of the images of these codes are proved. These bounds are based on the Hamming distance of the quaternion code and the parameters of the Galois ring. Good examples of one-sided rate-\( 2/6 \), $3$-quasi-cyclic quaternion codes and their images are generated. One of these codes meets the Singleton bound and is therefore a maximum distance separable code.
Accepted: 20 December 2025
Downloads
References
E. C. T. Corro, J. M. T. Lampos, H. S. Palines and V. P. Sison, Orbit codes over M2(Fq) and their homogeneous distance, J. Phys.: Conf. Ser. 960(012004) (2018) 1–6.
L. E. Dickson, On quaternions and their generalization and the history of the eight square theorem, Ann. of Math. 20(3) (1919), 155–171.
J. M. Grau, C. Miguel and A. M. Oller-Marcén, On the structure of quaternion rings over Z/nZ, Adv. Appl. Clifford Algebras 25 (2015) 875–887.
M. Greferath and S. E. Schmidt, Gray isometries for finite chain rings and a nonlinear ternary (36, 312, 15) code, IEEE Trans. Inf. Theory 45(7) (1999) 2522–2524.
M. Greferath and S. E. Schmidt, Finite ring combinatorics and MacWilliams’ equivalence theorem, J. Combin. Theory Ser. A 92(1) (2000) 17–28.
A. R. Hammons, Jr., P. V. Kumar, A. R. Calderbank, N. J. A. Sloane, and P. Solé, The Z4-linearity of Kerdock, Preparata, Goethals and related codes, IEEE Trans. Inform. Theory 40(2) (1994) 301–319.
T. Honold, A characterization of finite Frobenius rings, Arch. Math. (Basel) 76 (2001) 406–415.
G. Lee and K. Oshiro, Quaternion rings and octonion rings, Front. Math. China 12 (2017) 143–155.
Y. Lu, M. Shi, M. Greferath and P. Solé, Linear codes over finite rings are trace codes, Discr. Math. 343(8) (2020) 1–8.
F. J. MacWilliams and S. J. A. Sloane, The theory of error-correcting codes, North-Holland (1977).
C. J. Miguel and R. Serôdio, On the structure of quaternion rings over Zp, Int. J. Algebra 5 (2011) 1313–1325.
M. Shi, A. Alahmadi and P. Solé, Codes and rings: theory and practice, Academic Press (2017).
M. Shi, T. Honold, P. Solé, Y. Qiu, R. Wu and Z. Sepasdar, The geometry of two-weight codes over Zpm, IEEE Trans. Inform. Theory 67(12) (2021) 7769–7781.
P. Solé and V. Sison, Bounds on the minimum homogeneous distance of the pr-ary image of linear block codes over the Galois ring GR(pr, m), IEEE Trans. Inf. Theory 53(6) (2007) 2270–2273.
J. Wood, Duality for modules over finite rings and applications to coding theory, Amer. J. Math. 121(3) (1999) 555–575.
