Quaternions over Galois rings and their codes

Abstract

It is shown that, if R is a Frobenius ring, then the quaternion ring ℱ_a,b(R) is a Frobenius ring for all units a, b ∈ R. In particular, if q is an odd prime power, then ℱ_a,b(F_q) is the semisimple non-commutative matrix ring M₂(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.