Isometries and Binary Images of Linear Block
Codes over Z4 + uZ4 and Z8 + uZ8
Virgilio P. Sison and Monica N. Remillion

arXiv:1708.05333v1 [cs.IT] 17 Aug 2017

Institute of Mathematical Sciences and Physics
University of the Philippines, Los Baños
College, Laguna 4031, Philippines
Email: {vpsison, mnremillion}@up.edu.ph

Abstract—Let F2 be the binary field and Z2r the residue
class ring of integers modulo 2r , where r is a positive integer.
For the finite 16-element commutative local Frobenius nonchain ring Z4 + uZ4 , where u is nilpotent of index 2, two
weight functions are considered, namely the Lee weight and the
homogeneous weight. With the appropriate application of these
weights, isometric maps from Z4 + uZ4 to the binary spaces
F42 and F82 , respectively, are established via the composition of
other weight-based isometries. The classical Hamming weight
is used on the binary space. The resulting isometries are then
applied to linear block codes over Z4 + uZ4 whose images are
binary codes of predicted length, which may or may not be linear.
Certain lower and upper bounds on the minimum distances of
the binary images are also derived in terms of the parameters
of the Z4 + uZ4 codes. Several new codes and their images are
constructed as illustrative examples. An analogous procedure is
performed successfully on the ring Z8 + uZ8 , where u2 = 0,
which is a commutative local Frobenius non-chain ring of order
64. It turns out that the method is possible in general for the class
of rings Z2r + uZ2r , where u2 = 0, for any positive integer r,
r−1
using the generalized Gray map from Z2r to F22
.
Index Terms—Frobenius ring, homogeneous weight, linear
block code, binary image.

I. I NTRODUCTION
In this present work, we give much consideration to the
fact that the finite commutative ring Z2r + uZ2r , u2 = 0 is
a Frobenius ring. The reason is that Frobenius rings, which
include the residue class rings ZM and the Galois fields
Fq , constitute the most general class of rings that admit a
homogeneous weight, a far reaching generalization of the
Lee metric over Z4 . Moreover, since two of the classical
theorems in coding theory, namely the Extension Theorem
and the MacWilliams identities, generalize to the case of
finite Frobenious rings, these rings are viewed as the most
appropriate alphabet for code-theoretic purposes. Moreover, a
homogeneous weight on Z2r + uZ2r induces an isometry into
its binary image. An isometry is basically a weight-preserving
map.
The material is organized as follows. Section II introduces
the basic definitions and the relevant concepts such as Frobenius rings, homogeneous weights, linear block codes, and the
structural properties of the alphabet ring. Section III gives the
main results of the paper, while Section IV summarizes the
method used for a possible generalization. We refer the reader
to [1] for a characterization of Frobenius rings. Greferath

and Schmidt [2] obtained an existence and characterization
theorem for (left) homogeneous weights on arbitrary finite
rings, and Honold [3] showed that a homogeneous weight
on a finite Frobenius ring can be expressed in terms of its
generating character [please see (2) below].
II. P RELIMINARIES AND DEFINITIONS
A. Frobenius rings and homogeneous weight
Let R be a finite ring with identity 1 6= 0, and T be the
multiplicative group of unit complex numbers. The group T is
a one-dimensional torus. A character of R (considered as an
additive abelian group) is a group homomorphism χ : R → T.
b (called the character module of R)
The set of all characters R
is a right (resp. left) R-module whose group operation is pointwise multiplication of characters while scalar multiplication is
given by χr (x) = χ(rx) (resp. rχ(x) = χ(xr)). A character
χ of R is called a right (resp. left) generating character if the
b given by φ(r) = χr (resp. φ(r) = rχ) is
mapping φ : R → R
an isomorphism of right (resp. left) R-modules. It is known
that χ is a right (resp. left) generating character if and only
if ker χ contains no nonzero right (resp. left) ideals, and that
for finite rings, χ is a right generating character if and only if
it is a left generating character. We now call R as Frobenius
if R admits a right (resp. left) generating character.
Alternatively we say that R is Frobenius if Soc(R) ∼
=
R/J(R) as right (resp. left) R-modules. Here, Soc(R) denotes
the socle of R, the sum of all minimal (or simple) right (resp.
left) ideals of R, while J(R), the Jacobson radical of R, is
the intersection of all maximal right (resp. left) ideals of R. In
a commutative local ring the Jacobson radical is necessarily
the unique maximal ideal.
A homogeneous weight on an arbitrary finite ring R with
identity is defined in the sense of [2]. Let R be the set of
real numbers and Rx be the principal (left) ideal generated
by x ∈ R. A weight function w : R → R is called (left)
homogeneous if the following conditions are satisfied.
(i) If Rx = Ry, then w(x) = w(y) for all x, y ∈ R.
(ii) There exists a real number Γ ≥ 0 such that
X
w(y) = Γ · |Rx|, for all x ∈ R \ {0} . (1)
y∈Rx

Right homogeneous weights are defined accordingly. If a
weight is both left homogeneous and right homogeneous, we

call it simply as a homogeneous weight. The constant Γ in (1)
is called the average value of w. The homogeneous weight
is said to be normalized if Γ = 1. The weight w is extended
naturally to Rn , the free module of rank
consisting of nPn
n−1
tuples of elements from R, via w(z) = i=0 w(zi ) for z =
(z0 , z1 , . . . , zn−1 ) ∈ Rn . The homogeneous distance metric
δ : Rn × Rn −→ R is defined by δ(x, y) = w(x − y) for
x, y ∈ Rn .
It was proved in [3] that, if R is Frobenius with generating
character χ, then every homogeneous weight w on R can be
expressed in terms of χ as follows.
#
"
1 X
χ(xv)
(2)
w(x) = Γ 1 − ×
|R |
×
v∈R

where R× is the group of units of R.

Fig. 1. Lattice of Ideals of

Z4 + uZ4

wL (a + ub) = wL (b, a + b) = wL (b) + wL (a + b). However,
this weight is not homogeneous.
III. R ESULTS AND D ISCUSSION

B. Linear Block Codes

A. Linear block codes over Z4 + uZ4

A linear block code C of length n over a finite ring R is
a nonempty subset of Rn . The code C is called right (resp.
left) R-linear if C is a right (resp. left) R-submodule of Rn .
If C is both left R-linear and right R-linear, especially in the
case when R is commutative, we simply call C a linear block
code over R. A matrix G ∈ Rk×n is a generator matrix of a
rate-k/n linear block code C if the k rows of G span C and
no proper subset of the rows of G generates C, in which case,
C = {v ∈ Rn | v = uG, u ∈ Rk }. If C is a free module, then
C is called a free code.
The minimum homogeneous distance δmin of C is defined
to be δmin = min{δ(x, y) | x, y ∈ C, x 6= y}, while the
minimum homogeneous weight wmin of C is defined to be
wmin = min{w(x) | x ∈ C, x 6= 0}. For linear codes, the
minimum distance is equal to the minimum weight.
We begin with the algebraic structure of the code alphabet
R = Z4 + uZ4 = {a + ub | a, b ∈ Z4 , u2 = 0}. MartinezMoro and Szabo [4] gave the 21 commutative local rings with
identity of order 16. Of these, 15 are Frobenius, where 8 are
chain rings and 7 are non-chain rings, as given in [5]. The
ring R belongs to the class of finite 16-element Frobenius
commutative rings with identity which are local, non-chain,
and non-principal ideal rings. Its characteristic is 4 and its
additive group is Z4 × Z4 . The Jacobson radical is the unique
maximal non-principal ideal h2, ui = {0, 2, u, 2u, 3u, 2+u, 2+
2u, 2+3u} which consists of the zero element and all the zero
divisors of R. The remaining 8 elements in R \ h2, ui form the
multiplicative group of units of R which can be described as
a+ub, a ∈ {1, 3}, the group of units of Z4 . The lattice in Fig. 1
also shows the unique minimal principal ideal h2ui = {0, 2u}
which is significant in deriving the homogeneous weight on
R. This minimal ideal is the socle. Thus clearly, R/J(R) ∼
=
Soc(R) ∼
= Z2 as R-modules. The generating character of R
πi
is given by χ(a + ub) = e 2 (a+b) = ia+b . It can be shown
that R is isomorphic to the quotient ring Z4 [x]/hx2 i.
Yildiz and Karadeniz in [6] emulated the Gray map Z4 →
F22 to define the map φ3 : R → Z24 by φ3 (a + ub) = (b, a + b),
and then extended the classical Lee weight on Z4 to R by

With the structure of R and its generating character known,
from (2) we derive directly the explicit form of the homogeneous weight whom on R.
Corollary 3.1: The homogeneous weight on Z4 + uZ4 is
given by


if x = 0
0
(3)
whom (x) = 2Γ if x = 2u


Γ otherwise
Observe that the highest possible homogeneous weight is given
by the nonzero element of the minimal ideal, while all the
other nonzero elements of R take the average value Γ as their
common weight. Later we will choose Γ = 4.
To obtain certain binary images, in this paper we apply the
mapping φ2 from Z24 onto F42 as a natural extension of the
Gray map on Z4 . The map φ2 is given by
φ2 (x, y) = (x2 , x1 + x2 , y2 , y1 + y2 )

(4)

where x1 + 2x2 and y1 + 2y2 are the binary expansions
of x and y respectively. We remark that φ2 is a nonlinear bijection but is an isometry from (Z24 , Lee weight) onto
F42 , Hamming weight). Then we take the composition φ2 φ3
from Z4 + uZ4 onto F42 to get
φ2 φ3 (a + ub) = (b2 , b1 + b2 , c2 , c1 + c2 )

(5)

where b = b1 +2b2 , c = c1 +2c2 are the 2-adic representations
of b and c = a + b respectively. The following results are
determined quite straightforwardly.
Theorem 3.2: The map φ2 φ3 is a weight preserving map
from (Z4 + uZ4 , Lee weight) to (F42 , Hamming weight).
Theorem 3.3: Let B be a linear block code over Z4 + uZ4
of length n, then the associated image φ2 φ3 (B) is a (possibly
nonlinear) binary block code of length 4n. If B is free of rank
k, then necessarily the binary image has rank 4k.
We now proceed with determining an isometry, in terms
of the homogeneous weight, from R to the binary space F82 ,
which has twice the length of the binary image under φ2 φ3 .
Define the map φ4 from R to F82 by φ4 (a + ub) = (b2 , b2 +

b1 , b2 + a2 , b2 + a2 + b1 , b2 + a1 , b2 + a1 + b1 , b2 + a1 + a2 , b2 +
a1 + a2 + b1 ) where a = a1 + 2a2 and b = b1 + 2b2 .
Note that φ4 is a nonlinear non-surjective map. This seemingly convoluted map is in fact a composition of various
γ2
isometries R → F42 → Z16 → F82 , where the last component
γ2 is the generalized Gray map given by Carlet [7] as follows:
let x ∈ Z16 where x = x1 + 2x2 + 4x3 + 8x4 is its binary
expansion. The image of x under γ2 is the following Boolean
function fx on F32 given by
fx :

F32

(y1 , y2 , y3 )
(0, 0, 0)
(0, 0, 1)
(0, 1, 0)
(0, 1, 1)
(1, 0, 0)
(1, 0, 1)
(1, 1, 0)
(1, 1, 1)

→
7→
7
→
7
→
7→
7→
7→
7
→
7
→
7
→

F2

x4 + x1 y1 + x2 y2 + x3 y3
x4
x4 + x3
x4 + x2
x4 + x2 + x3
x4 + x1
x4 + x1 + x3
x4 + x1 + x2
x4 + x1 + x2 + x3

The main idea for this composition is to preserve in a
systematic manner the isometry from R to F82 as seen in the
next theorems.
Theorem 3.4: With Γ = 4, the map φ4 is a weight
preserving map from (Z4 + uZ4 , Homogeneous weight) to
(F82 , Hamming weight).
Theorem 3.5: Let B be a linear block code over Z4 + uZ4
of length n, then the associated image φ4 (B) is a (possibly
nonlinear) binary block code of length 8n. If B is free of rank
k, then necessarily the binary image has rank 8k.
B. Linear block codes over Z8 + uZ8
The ring Z8 +uZ8 = {a+ub | a, b ∈ Z8 , u2 = 0} is a finite
64-element commutative ring with identity of characteristic 8
which is a local, non-chain, and non-principal ideal ring. It
behaves quite similarly with Z4 + uZ4 . The Jacobson radical
is the unique maximal non-principal ideal h2, ui consisting
of 32 elements of the form a + ub where a ∈ {0, 2, 4, 6}, the
unique maximal ideal of the chain ring Z8 . The group of units
of Z8 + uZ8 consists of 32 elements of the form a + ub where
a ∈ {1, 3, 5, 7}, the group of units of Z8 . The lattice in Fig.
2 shows the unique minimal principal ideal h4ui = {0, 4u}
which is the socle. Consequently this ring is Frobenius and
πi
its generating character is given by χ(a + ub) = e 4 (a+b) . It
can also be shown that Z8 + uZ8 is isomorphic to the quotient
ring Z8 [x]/hx2 i.
We extend the Lee weight wL on Z8 given by wL (x) =
min {x, 8 − x} to Z8 + uZ8 by
wL (a + ub) = wL (b) + wL (a + b).
As usual, this weight is not homogeneous. The homogeneous
weight is derived analogously.
Corollary 3.6: The homogeneous weight on Z8 + uZ8 is
given by


if x = 0
0
whom (x) = 2Γ if x = 4u
(6)


Γ
otherwise

Fig. 2. Lattice of Ideals of

Z8 + uZ8

Again observe that the highest possible homogeneous weight
is given by the nonzero element of the minimal ideal, while all
the other nonzero elements take the average value Γ as their
common weight. We obtain the following similar results.
Theorem 3.7: There is a weight preserving linear map from
(Z8 + uZ8 , Lee weight) to (Z28 , Lee weight).
Theorem 3.8: There is a weight preserving nonlinear map φ5 from (Z8 + uZ8 , Homogeneous weight) to
(F32
2 , Hamming weight).
The map φ5 utilizes the generalized Gray isometry γ3 from
5
Z64 to F16
2 whose image is the Boolean function on F2 defined
by (y1 , y2 , y3 , y4 , y5 ) 7→ x4 +x1 y1 +x2 y2 +x3 y3 +x4 y4 +x5 y5 .
Theorem 3.9: Let B be a linear block code over Z8 + uZ8
of length n, then the associated image φ5 (B) is a (possibly
nonlinear) binary block code of length 32n.
IV. S UMMARY AND C ONCLUSION
The method is evidently possible for the class of finite
commutative rings Z2r +uZ2r = {a+ub | a, b ∈ Z2r , u2 = 0}
with 4r elements and characteristic 2r . This ring is local,
non-principal and a non-chain ring. The Jacobson radical is
the unique maximal ideal h2, ui consisting of 22r−1 elements
of the form a + ub where a is in the unique maximal
ideal h2i with 2r−1 elements of the chain ring Z2r . Thus
|Z2r + uZ2r /h2, ui| = 2. The group of units of Z2r + uZ2r
is the difference Z2r + uZ2r \ h2, ui which has cardinality
22r−1 and takes the form a + ub where a is a unit in Z2r .
The socle is the unique minimal ideal h2r−1 ui which clearly
has only two elements {0, 2r−1 u}. Hence Z2r + uZ2r is
Frobenius and it induces a homogeneous weight similar to (3)
and (6). To ensure that weights or distances are preserved, we
compose certain isometries that capitalize on the generalized
r−1
Gray map from Z2r to F22
of Carlet
Pr [7] which he defined
as follows: let x ∈ Z2r and x = i=1 2i−1 xi as its binary
expansion, xi ∈ F2 . The image of x by the generalized
Gray map is the Boolean function
on Fr−1
defined by
2
PG
r−1
G(x) : (y1 , y2 , · · · , yr−1 ) → xr + i=1 xi yi . It will also be
interesting to consider the linearity conditions on the binary
image code.

ACKNOWLEDGMENT
The first author acknowledges travel support from the UP
System Research Dissemination Grant and the UPLB Academic Development Fund.
R EFERENCES
[1] J. Wood, “Duality for modules over finite rings and applications to
coding theory,” Amer. J. Math., vol. 121, no. 3, pp. 555–575, 1999.
[2] M. Greferath and S.E. Schmidt, “Finite-ring combinatorics and
MacWilliams Equivalence Theorem,” J. Combin Theory, Series A,
vol. 92, pp. 17–28, 2000.

[3] T. Honold, “A characterization of finite Frobenius rings,” Arch. Math.
(Basel), vol. 76, pp. 406–415, 2001.
[4] E. Martinez-Moro and S. Szabo, “On codes over local Frobenius nonchain rings of order 16,” Contemp. Math, vol. 634, pp. 227-241, 2015.
[5] S. Dougherty, E. Salturk and S. Szabo, “On codes over local Frobenius
rings: generator matrices, generating characters and MacWillliams
identities,” Preprint (version i) (July 30, 2014).
[6] B. Yildiz and S. Karadeniz, “Linear codes over Z4 + uZ4 :
MacWillimans identities, projections and formally self-dual codes,”
Finite Fields and their Appl., vol. 27, pp. 24–40, 2014.
[7] C. Carlet, “Z2k -linear codes,” IEEE Trans. Inform. Theory, vol. 44,
no. 4, pp. 1543 - 1547, July 1998.

