1

Z2Z4-Additive Cyclic Codes: Kernel and Rank
Joaquim Borges
Steven T. Dougherty
Cristina Fernández-Córdoba

arXiv:1711.03784v2 [] 16 Jan 2018

Roger Ten-Valls

Abstract
β
A Z2 Z4 -additive code C ⊆ Zα
2 × Z4 is called cyclic if the set of coordinates can be partitioned

into two subsets, the set of Z2 coordinates and the set of Z4 coordinates, such that any cyclic shift of
the coordinates of both subsets leaves the code invariant. Let Φ(C) be the binary Gray map image of
C. We study the rank and the dimension of the kernel of a Z2 Z4 -additive cyclic code C, that is, the
dimensions of the binary linear codes hΦ(C)i and ker(Φ(C)). We give upper and lower bounds for these
parameters. It is known that the codes hΦ(C)i and ker(Φ(C)) are binary images of Z2 Z4 -additive codes
R(C) and K(C), respectively. Moreover, we show that R(C) and K(C) are also cyclic and we determine
the generator polynomials of these codes in terms of the generator polynomials of the code C.

Keywords Z2 Z4 -additive cyclic codes, Gray map, kernel, rank.
I. I NTRODUCTION
Denote by Z2 and Z4 the rings of integers modulo 2 and modulo 4, respectively. We denote
the space of n-tuples over these rings as Zn2 and Zn4 . A binary code is any non-empty subset C
J. Borges is with the Department of Information and Communications Engineering, Universitat Autònoma de Barcelona,
08193-Bellaterra, Spain (e-mail: joaquim.borges@uab.cat).
S. T. Dougherty is with the Department of Mathematics, University of Scranton, Scranton, PA 18510, USA (email:prof.steven.dougherty@gmail.com).
C. Fernández-Córdoba is with the Department of Information and Communications Engineering, Universitat Autònoma de
Barcelona, 08193-Bellaterra, Spain (e-mail: cristina.fernandez@uab.cat).
R. Ten-Valls is with the Department of Information and Communications Engineering, Universitat Autònoma de Barcelona,
08193-Bellaterra, Spain (e-mail: roger.ten@uab.cat).
This work has been partially supported by the Spanish MINECO grants TIN2016-77918-P and MTM2015-69138-REDT, and
by the Catalan AGAUR grant 2014SGR-691.

January 20, 2018

DRAFT

2

of Zn2 , and if that subset is a vector space then we say that it is a linear code. Any non-empty
subset C of Zn4 is a quaternary code and a submodule of Zn4 is called a linear code over Z4 .
In 1994, Hammons et al. discovered that some good non-linear binary codes can be seen as
the Gray map images of linear codes over Z4 , [9]. From then on, the study of codes over Z4
and other finite rings has been developing and the construction of Gray maps has been a topic
of study.
In Delsarte’s 1973 paper (see [5]), he defined additive codes as subgroups of the underlying
abelian group in a translation association scheme. For the binary Hamming scheme, namely
when the underlying abelian group is of order 2n , the only structures for the abelian group are
those of the form Zα2 × Zβ4 , with α + 2β = n. This means that the subgroups C of Zα2 × Zβ4 are
the only additive codes in a binary Hamming scheme. Hence, the study of codes in Zα2 × Zβ4
became important. These codes are called Z2 Z4 -additive codes. In recent times, the structure
and properties of Z2 Z4 -additive codes have been intensely studied (see [2]).
In [1], Z2 Z4 -additive cyclic codes were introduced and in [3], the duality was studied. In this
paper, we study the rank and the kernel of Z2 Z4 -additive cyclic codes, taking into account the
known results for general codes over Z4 and Z2 Z4 -additive codes [6], [7], [8].
The paper is organized as follows. In Section II, we recall the necessary concepts and properties
on Z2 Z4 -additive codes and Z2 Z4 -additive cyclic codes. In Section III, we give the main results
of the paper about the rank and the kernel of Z2 Z4 -additive cyclic codes. We prove that both
the binary span and the kernel are binary images of Z2 Z4 -additive cyclic codes, we determine
the possible values of the dimensions of the corresponding binary images, and we compute the
generator polynomials of these codes.
II. P RELIMINARIES
A. Z2 Z4 -additive codes
A Z2 Z4 -additive code C is a subgroup of Zα2 × Zβ4 (see [2]). Since C is a subgroup of Zα2 × Zβ4 ,
it is also isomorphic to a commutative structure of the form Zγ2 × Zδ4 and it has |C| = 2γ+2δ
codewords.
Let X (respectively Y ) be the set of Z2 (respectively Z4 ) coordinate positions, so |X| = α
and |Y | = β. Unless otherwise stated, the set X corresponds to the first α coordinates and Y
corresponds to the last β coordinates. Let CX be the binary punctured code of C formed by
deleting the coordinates outside X. Define similarly the quaternary code CY .
January 20, 2018

DRAFT

3

Let Cb be the subcode of C generated by all order two codewords and let κ be the dimension
of (Cb )X , which is a binary linear code. For the case α = 0, we write κ = 0. With all these
parameters, we say that a code C is of type (α, β; γ, δ; κ).
For a vector u ∈ Zα2 × Zβ4 we write u = (u | u′ ), where u = (u0 , . . . , uα−1 ) ∈ Zα2 and
u′ = (u′0 , . . . , u′β−1) ∈ Zβ4 .
In [2], it is shown that a Z2 Z4 -additive code is permutation equivalent to a Z2 Z4 -additive code
with standard generator matrix of the form:


0
0
Iκ Tb 2T2



GS =  0 0 2T1 2Iγ−κ 0 
,
0 Sb Sq
R
Iδ

(1)

where Ik is the identity matrix of size k × k; Tb , Sb are matrices over Z2 ; T1 , T2 , R are matrices

over Z4 with all entries in {0, 1} ⊂ Z4 ; and Sq is a matrix over Z4 .
A Z2 Z4 -additive code C is said to be separable if C = CX × CY . Otherwise the code is said
to be non-separable.
Let u′ = (u′0 , . . . , u′n−1) be an element of Zn4 such that u′i = ũ′i + 2û′i , for i = 0, . . . , n − 1
and with ũ′i , û′i ∈ {0, 1}. As in [9], the Gray map φ from Zn4 to Z2n
2 is defined by
φ(u′) = (û′0 , . . . , û′n−1, ũ′0 + û′0 , . . . , ũ′n−1 + û′n−1).
The extended Gray map Φ is the map from Zα2 × Zβ4 to Zα+2β
given by
2
Φ(u | u′) = (u | φ(u′)).
B. Z2 Z4 -additive cyclic codes
Cyclic codes have been a primary area of study for coding theory, [10]. Recently, the class
of Z2 Z4 -additive cyclic codes has been defined in [1].
Let u = (u | u′) ∈ Zα2 × Zβ4 , then the cyclic shift π is given by π(u) = (π(u) | π(u′)) where
π(u) = π(u0 , u1, . . . , uα−1 ) = (uα−1 , u0 , u1, . . . , uα−2 ) and π(u′ ) = (u′β−1 , u′0, u′1 , . . . , u′β−2) .
We say that a Z2 Z4 -additive code C is cyclic if π(C) = C.
There exists a bijection between Zα2 × Zβ4 and Rα,β = Z2 [x]/(xα − 1) × Z4 [x]/(xβ − 1) given
by:
(u0 , u1, . . . , uα−1 | u′0 , . . . , u′β−1) 7→
(u0 + u1 x + · · · + uα−1 xα−1 | u′0 + · · · + u′β−1xβ−1 ).

January 20, 2018

DRAFT

4

Therefore, as usual in the study of cyclic codes, any codeword is identified as a vector or as a
polynomial.
From now on, the binary reduction of a polynomial p(x) ∈ Z4 [x] will be denoted by p̃(x).
Let p(x) ∈ Z4 [x] and (b(x) | a(x)) ∈ Rα,β and consider the following multiplication p(x) ⋆
(b(x) | a(x)) = (p̃(x)b(x) | p(x)a(x)). From [1], Rα,β is a Z4 [x]-module with respect to this
multiplication.
Let u′ (x) = ũ′ (x) + 2û′ (x) be the polynomial representation of u′ ∈ Zn4 . Then, the polynomial
version of the Gray map is φ(u′ (x)) = (û′(x), ũ′ (x) + û′(x)). In the following, a polynomial
p(x) ∈ Z2 [x] or Z4 [x] will be denoted simply by p.
Using the polynomial representation, an equivalent definition of Z2 Z4 -additive cyclic codes is
the following.
Definition 1 ([1]). A subset C ⊆ Rα,β is called a Z2 Z4 -additive cyclic code if C is a Z4 [x]submodule of Rα,β .
From [1], if β is odd, we know that if C is a Z2 Z4 -additive cyclic code then it is of the form
h(b | 0), (ℓ | f h + 2f )i,

(2)

where f hg = xβ −1 in Z4 [x], b divides xα −1 in Z2 [x], and we can assume that deg(ℓ) < deg(b).
The polynomials satisfying these conditions are said to be in standard form. In this case, we
have that |C| = 2α−deg(b) 4deg(g) 2deg(h) . From now on, we assume that β is odd. Then f , g and
h are pairwise coprime polynomials. Since h and g are coprime, there exist polynomials λ and
µ, that will be used later along the paper, such that
λh + µg = 1.

(3)

Lemma 2 ([3, Corollary 2]). Let C be a Z2 Z4 -additive cyclic code of type (α, β; γ, δ; κ) with
C = h(b | 0), (ℓ | f h + 2f )i. Then, b divides
We can put the generator matrix (1)

Iκ 1 T

 0 Iκ 2

 0 0

0 0

January 20, 2018

xβ −1
f˜

gcd(b, ℓ) and b divides h̃ gcd(b, ℓg̃).

in the following form, called the standard form:

0
0
Tb1 0

Tb2 2T2
0
0 
.
0 2T1 2Iγ−(κ1 +κ2 ) 0 

R
Iδ
S′ S

(4)

DRAFT

5

The next theorem relates the parameters of the type of a Z2 Z4 -additive code to its generator
polynomials.
Theorem 3 ([3, Theorem 5 and Proposition 6]). Let C be a Z2 Z4 -additive cyclic code of type
(α, β; γ, δ; κ) with C = h(b | 0), (ℓ | f h + 2f )i, where f hg = xβ − 1. Then
γ = α − deg(b) + deg(h),
δ = deg(g),
κ = α − deg(gcd(ℓg̃, b))
and
κ1 = α − deg(b),

κ2 = deg(b) − deg(gcd(b, ℓg̃)),

δ1 = deg(gcd(b, ℓg̃)) − deg(gcd(b, ℓ)) and δ2 = deg(g) − δ1 .
It is well known that if C is a Z2 Z4 -additive code, then the Z2 Z4 -linear code C = Φ(C) is
not linear in general. The linearity of these codes was studied in [8]. The key to establish this
linearity was the fact that
Φ(v + w) = Φ(v) + Φ(w) + Φ(2v ∗ w),

(5)

where ∗ denotes the component-wise product. It follows immediately that Φ(C) is linear if and
only if 2u ∗ v ∈ C, for all u, v ∈ C.
It is shown in [4] that, for a Z2 Z4 -additive cyclic code C, CX is a binary cyclic code and CY
is a linear cyclic code over Z4 . Moreover, if Φ(C) is linear, then φ(CY ) is also linear but the
converse is not true in general. The characterization of linear cyclic codes over Z4 of odd length
whose Gray map images are linear binary codes was given in [11]. Let p be a divisor of xn − 1
in Z2 [x] with n odd and let ξ be a primitive nth root of unity over Z2 . The polynomial (p ⊗ p)
is defined as the divisor of xn − 1 in Z2 [x] whose roots are the products ξ i ξ j such that ξ i and
ξ j are roots of p.
Theorem 4 ([11, Theorem 20]). Let D = hf h + 2f i be a Z4 -additive cyclic code of odd length
n and where f hg = xn − 1. The following properties are equivalent.
1) gcd(f˜, (g̃ ⊗ g̃)) = 1 in Z2 [x];
2) φ(D) is a binary linear code of length 2n.

January 20, 2018

DRAFT

6

This result was generalized for Z2 Z4 -additive cyclic codes of type (α, β; γ, δ; κ) with β odd.
Theorem 5 ([4]). Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code of length
α + β, β odd, and where f hg = xβ − 1. The following properties are equivalent.
˜

fb
, (g̃ ⊗ g̃)) = 1 in Z2 [x];
1) gcd( gcd(b,ℓg̃)

2) Φ(C) is a binary linear code of length α + 2β.
As a result, it is completely characterized when a Z2 Z4 -additive code C has binary linear
image under the Gray map, just considering its generator polynomials. The next step is study
the rank and the dimension of the kernel for those codes whose image Φ(C) is not linear.
III. K ERNEL

AND

R ANK

OF

Z2 Z4 -A DDITIVE C YCLIC C ODES

For an additive code C ⊆ Zα2 × Zβ4 , the kernel of Φ(C) is defined as ker(Φ(C)) = {v ∈
Zα+2β
2

| v + Φ(C) = Φ(C)}. Define K(C) = {v ∈ Zα2 × Zβ4 | Φ(v) ∈ ker(Φ(C))}. Let

rank(Φ(C)) = dim(hΦ(C)i) and R(C) = {v | v ∈ Zα2 × Zβ4 , φ(v) ∈ hΦ(C)i}. It is clear that
K(C) ⊆ C ⊆ R(C).
It is known that if C is a Z2 Z4 -additive code, then hΦ(C)i and ker(Φ(C)) are both Z2 Z4 -linear
codes ([8]). Therefore, R(C) and K(C) are both Z2 Z4 -additive codes. In the next sections we will
see that if the code C is a Z2 Z4 -additive cyclic code, then R(C) and K(C) are also Z2 Z4 -additive
cyclic. Therefore, the following proposition will be useful to relate the generator polynomials
of C to the generator polynomials of R(C) and K(C).
Proposition 6. Let C0 = h(b | 0), (ℓ | f h + 2f )i and C1 = h(b′ | 0), (ℓ′ | f ′ h′ + 2f ′ )i be
Z2 Z4 -additive cyclic codes with C0 ⊆ C1 . Then
1) f ′ divides f ;
2) gcd(b′ , ℓ′ ) divides gcd(b, ℓ).
Proof. Since C0 ⊆ C1 , we have that (C0 )Y = hf h + 2f i ⊆ (C1 )Y = hf ′ h′ + 2f ′ i. Therefore, by
[6, Theorem 3], f ′ divides f .
Finally, since C0 and C1 are cyclic Z2 Z4 -additive codes, then clearly (C0 )X = hgcd(b, ℓ)i and
(C1 )X = hgcd(b′ , ℓ′ )i. Then, since (C0 )X ⊆ (C1 )X , gcd(b′ , ℓ′) divides gcd(b, ℓ).
In order to study the rank and the kernel of a Z2 Z4 -additive code C, it is necessary to consider
the code Cb .

January 20, 2018

DRAFT

7

Proposition 7 ([4]). Let C be a Z2 Z4 -additive cyclic code with C = h(b | 0), (ℓ | f h + 2f )i.
Then Cb = h(b | 0), (µ̄ℓg̃ | 2f )i.
Note that if C = Cb , then (5) is satisfied and the code Φ(C) is linear. In this case, δ = 0 and,
by Theorem 3, g = 1. Therefore Cb = h(b | 0), (ℓ | 2f )i.
A. Kernel of Z2 Z4 -Additive Cyclic Codes
In this section, we will study the kernel of Z2 Z4 -additive cyclic codes. We will prove that, for
a Z2 Z4 -additive cyclic code C, the code K(C) is also cyclic and we will establish some properties
of its generator polynomials. We will show that there does not exist a Z2 Z4 -additive cyclic code
for all the possible values of the dimension of the kernel as for general Z2 Z4 -additive codes.
Let C be a Z2 Z4 -additive code. By (5), we can give the following definition of K(C) (see [8]):
K(C) = {v ∈ C | 2v ∗ w ∈ C, ∀w ∈ C}.
Lemma 8. Let C be a Z2 Z4 -additive code. Then, K(C)Y ⊆ K(CY ).
Proof. Let C be a Z2 Z4 -additive cyclic. Let v = (v | v ′ ) ∈ C. We have that v ∈ K(C) if and
only if 2v ∗ w ∈ C, ∀w = (w | w ′) ∈ C. Since 2v ∗ w = (0 | 2v ′ ∗ w ′ ), we have that if v ∈ K(C)
then v ′ ∈ K(CY ) and the statement follows.
Example 1. Let C be the Z2 Z4 -additive cyclic code in

Z2 [x]
hx−1i

[x]
× hxZ34−1i
generated by h(1 | x + 1)i,

where f = 1 and h = x − 1. Note that C is of type (1, 3; 1, 2; 1) and the generator matrix of C
in standard form, (1), is



1 2 0 0





 0 3 1 0 .


0 3 0 1

Since f = 1, by Theorem 4, we know that K(CY ) = CY = h(x+1)i. We have that the generator
matrix of K(C) in standard form is


1 2 0 0





 0 2 2 0 


0 2 0 2

and therefore K(C) = h(1 | 2)i. Hence, K(C)Y

January 20, 2018

K(CY ).

DRAFT

8

The following theorems determine an upper and a lower bound for the kernel of a Z2 Z4 additive code and that there exists a Z2 Z4 -additive code of type (α, β, γ, δ, κ) for all possible
values of the kernel.
Theorem 9 ([8]). Let C be a Z2 Z4 -additive code with parameters (α, β, γ, δ, κ). Then γ + δ ≤
dim(ker(Φ(C)) ≤ γ + 2δ.
Theorem 10 ([8]). Let α, β, γ, δ, κ be integers satisfying
α, β, γ, δ, κ ≥ 0,
0<δ+γ ≤β+κ

and

α + β > 0,
κ ≤ min(α, γ).

(6)

Then, there exists a Z2 Z4 -linear code C of type (α, β; γ, δ; κ) with dim(ker(C)) = γ + 2δ − k̄
if and only if




 k̄ = 0,

k̄ ∈ {0} ∪ {2, . . . , δ} and k̄ even,


 k̄ ∈ {0} ∪ {2, . . . , δ},

if s = 0,
if s = 1,
if s ≥ 2,

where s = β − (γ − κ) − δ.

We will see that not all possible values for the kernel of a Z2 Z4 -additive code C are possible
if C is cyclic. First, we will determine some properties of the kernel of a Z2 Z4 -additive cyclic
code.
Proposition 11. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code. Then
α − deg(b) + deg(h) + deg(g) ≤ |K(C)| ≤ α − deg(b) + deg(h) + 2 deg(g).
Proof. Straightforward from Theorems 9 and 3.
Note that the upper bound is sharp when the code has binary linear image, i.e., C = K(C).
Moreover, the lower bound is tight when K(C) only has the all-zero vector and all order two
codewords; that is, C = Cb .
Proposition 12. Let C be a Z2 Z4 -additive cyclic code, then K(C) ⊆ CX × K(CY ).
Proof. Let v = (v, v ′) ∈ K(C). For all w = (w, w ′) ∈ C, 2v ∗ w ∈ C since v is in the kernel.
Then v ∈ CX and 2v ′ ∗ w ′ ∈ CY , for all w ′ ∈ CY which gives v ′ ∈ K(CY ) and v ∈ CX × K(CY )
and the result follows.

January 20, 2018

DRAFT

9

Proposition 13. If C is a separable Z2 Z4 -additive code then K(C) = CX × K(CY ).
Proof. Let v ∈ CX × K(CY ), then 2v ∗ w = (0 | 2v ′ ∗ w ′) for all w ∈ C. Since v ′ ∈ K(CY ),
then 2v ′ ∗ w ′ ∈ CY . Moreover, since C is a separable Z2 Z4 -additive cyclic code, 2v ∗ w = (0 |
2v ′ ∗ w ′ ) ∈ C. Therefore v ∈ K(C) and CX × K(CY ) ⊆ K(C).
Now, by Proposition 12, we have K(C) ⊆ CX × K(CY ). w ∈ C. Since C is a separable
Z2 Z4 -additive cyclic code, 2v ′ ∗ w ′ ∈ CY for all w ′ ∈ CY and so v ′ ∈ K(CY ). Therefore
The following example shows that if the Z2 Z4 -additive code C is non-separable, then the
kernel is not necessarily CX × K(CY ).
Example 2. Let C = h(1 | x + 1)i, the Z2 Z4 -additive code of Example 1, with CX = h1i and
CY = hx + 1i. We have seen that K(CX ) = CX , K(CY ) = CY and K(C) = h(1 | 2)i. Therefore
K(C) ( CX × K(CY ).
Therefore, if the code is non-separable, the equality is not satisfied in general.
From Proposition 12, we obtain that dim(ker(Φ(C))) ≤ κ + dim(ker(φ(CY ))). However, we
can give a bound that is more accurate.
Proposition 14. Let C be a Z2 Z4 -additive code, then dim(ker(Φ(C))) ≤ κ1 + dim(ker(φ(CY ))).
Proof. Define C0 = {v = (v | v ′ ) ∈ C | v ′ = 0}. We have that C0 ⊆ K(C), and dim(ker(C0 )) =
κ1 .
Let v = (v | v ′ ) ∈ K(C). If v′ = 0, then v ∈ C0 . Otherwise, v ′ ∈ K(C)Y ⊆ K(CY ) by
Lemma 8 and, therefore, dim(ker(Φ(C))) ≤ κ1 + dim(ker(φ(CY ))).
From the generator matrix G of C given in (4), we have that the code CY has a generator
matrix of the form



2T2

0

0





 2T1 2Iγ−(κ +κ ) 0  .
1
2


S
R
Iδ

(7)

By [3, Proposition 1], we know that the code CY has type 4δ 2γ−κ1 . The minimum value for
the dimension of ker(φ(CY )) is δ + γ − κ1 .
Theorem 15. Let C be a Z2 Z4 -additive code. If K(CY ) is a minimum then K(C) is a minimum.

January 20, 2018

DRAFT

10

Proof. If K(CY ) is a minimum, by Proposition 14, then dim(ker(Φ(C))) ≤ κ1 + δ + γ − κ1 =
γ + δ.
In the previous statements, we compute an upper bound of the kernel of a Z2 Z4 -additive code
C by considering the kernel of a code over Z4 . Now we shall give the exact value of the kernel
of a Z2 Z4 -additive code C in terms of CX and the kernel of a linear code over Z4 , C ′ . As we have
seen, in the case of a separable code C, the code C ′ is exactly CY and the value dim(ker(Φ(C)))
is dim(ker(Φ(CX ))) + dim(ker(Φ(CY ))), where CY is a cyclic code over Z4 . If the code C is not
separable, then C ′ is not necessarily cyclic.
Let C be a Z2 Z4 -additive code with generator matrix in the form of (4) and let C ′ be the
subcode generated by
0 0 0
0 0 S′

2T1 2Iγ−(κ1 +κ2 ) 0
S

R

Iδ

!

.

(8)

Theorem 16. Let C be a Z2 Z4 -additive with generator matrix in the form of (4) and let C ′ be
the subcode generated by the matrix in (8). Then dim(ker(Φ(C)) = κ1 + κ2 + dim(ker(φ(CY′ ))).
Proof. Let C be a Z2 Z4 -additive cyclic code with generator matrix G in the form of (4). Let
{ui = (ui | u′i )}γi=1 be the first γ rows and {vj = (vj | vj′ )}δj=1 the last δ rows of G. Define the
1 +κ2
codes C¯ = h{ui }κi=1
i, C ′ = h{ui }γi=κ1 +κ2 +1 , {vj }δj=1i.
By [8], v ∈ K(C) if and only if 2v ∗ w ∈ C for all w ∈ C. We have that v ∈ C̄ is of
¯ = κ1 + κ2 . Let
order 2 and hence 2v ∗ w = 0, ∀w ∈ C. Then, C¯ ⊆ K(C) and dim(ker(C))
¯ we have that v ∈ K(C) if and only
v = (v | v ′ ) ∈ C ′ . Since 2v ∗ w = 0 for all w ∈ C,
if 2v ∗ w ∈ C ′ for all w ∈ C ′ ; that is, v ∈ K(C ′ ). Finally, 2v ∗ w = (0 | 2v ′ ∗ w ′ ) ∈ C ′
if and only if 2v ′ ∗ w ′ ∈ (C ′ )Y , and hence dim(ker(Φ(C ′ ))) = dim(ker(Φ((C ′ )Y ))). Therefore,
dim(ker(Φ(C))) = κ1 + κ2 + dim(ker(φ(CY′ ))).
Now we will establish the kernel of a Z2 Z4 -additive cyclic codes taking into account its
generator polynomials. In the following theorem we shall prove that if C is Z2 Z4 -additive cyclic
code, then K(C) is also cyclic. This result is a generalization of the case when C is a linear
cyclic code over Z4 that is given in [6].
Theorem 17. Let C be a Z2 Z4 -additive cyclic code. Then K(C) is a Z2 Z4 -additive cyclic code.
Proof. We know that K(C) is a Z2 Z4 -additive code so we just have to show that if u = (u | u′ ) ∈
K(C) then π(u) ∈ K(C). That is, we want to show that 2π(u) ∗ w ∈ C, for all w ∈ C.

January 20, 2018

DRAFT

11

Let u ∈ K(C), w ∈ C. Then 2π(u) ∗ w = π(2u ∗ π −1 (w)). We have that u ∈ K(C) and
π −1 (w) ∈ C, therefore 2u ∗ π −1 (w) ∈ C by (5). Since the code C is cyclic, π(2u ∗ π −1 (w)) ∈ C,
which gives that 2π(u) ∗ w ∈ C, and π(u) ∈ K(C).
Corollary 18. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code, where f hg =
xβ − 1. Then, K(C) = h(bk | 0), (ℓk | fk hk + 2fk )i, where fk hk gk = xβ − 1 and
1) f divides fk ;
2) gcd(b, ℓ) divides gcd(bk , ℓk ).
Proof. By Theorem 17, K(C) is cyclic and therefore K(C) = h(bk | 0), (ℓk | fk hk + 2fk )i, where
fk hk gk = xβ − 1. Since K(C) ⊆ C, the result follows from Proposition 6.
Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ − 1. In [4]
it is proved that
C = h(b | 0), (ℓ′ | f h), (µ̃ℓg̃ | 2f )i,

(9)

where ℓ′ = ℓ − µ̃ℓg̃.
Lemma 19. Let C = h(b | 0), (ℓ | f h+2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ −1.
Let h(b | 0), (ℓk | f hk + 2f )i ⊂ C, for k|g. Then ℓk = k̃ℓ + (1 − k̃)µ̃ℓg̃ (mod b), for µ in (3).
Proof. Let C = h(b | 0), (ℓ′ | f h), (µ̃ℓg̃ | 2f )i, where ℓ′ = ℓ − µ̃ℓg̃, as in (9). Since (ℓk |
f hk + 2f ) ∈ C and (ℓk | f hk + 2f ) = c1 (b | 0) + c2 (ℓ′ | f h) + c3 (µ̃ℓg̃ | 2f ), we obtain c2 = k,
c3 = 1 and ℓk = k̃ℓ′ + µ̃ℓg̃ (mod b) = k̃ℓ + (1 − k̃)µ̃ℓg̃ (mod b).
Theorem 20. Let C = h(b | 0), (ℓ | f h+2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ −1.
Then, K(C) = h(b | 0), (ℓk | f hk + 2f )i, where k divides g and ℓk = k̃ℓ + (1 − k̃)µ̃ℓg̃ (mod b),
for µ in (3).
Proof. By Theorem 17, K(C) is cyclic and then K(C) = h(bk | 0), (ℓk | fk hk + 2fk )i. Clearly,
bk = b. Since Cb ⊆ K(C) ⊆ C, by Proposition 7 and Proposition 6, we conclude that fk = f .
Since K(C)Y = hf hk + 2f i ⊆ CY , with an argument analogous to that of [6, Theorem 9] we
obtain that hk = hk with k a divisor of g.
Let ℓ′ = ℓ − µ̃ℓg̃. By (9), (ℓ′ | f h), (µ̃ℓg̃ | 2f ) ∈ C. Therefore, ℓk = k̃ℓ′ + µ̃ℓg̃ (mod b) =
k̃ℓ + (1 − k̃)µ̃ℓg̃ (mod b).

January 20, 2018

DRAFT

12

Theorem 10 shows that there exists a Z2 Z4 -additive code for all possible values of the kernel
for a given type (α, β; γ, δ; κ). Considering the last theorem, the next example illustrates that this
result is not true for Z2 Z4 -additive cyclic codes; i.e., for a given type (α, β; γ, δ; κ) there does
not always exist a Z2 Z4 -additive cyclic code for all possible values of the kernel. Furthermore, it
shows that there does not always exist a Z2 Z4 -additive cyclic code for a given type (α, β; γ, δ; κ).
Example 3. By Theorem 10, there exists a Z2 Z4 -additive code C of type (2, 7; 2, 3; κ) with
dim(ker(Φ(C))) = kd , for all kd ∈ {5, 6, 8}. We will see that there does not exist any cyclic
Z2 Z4 -additive code of type (2, 7; 2, 3; κ), with dimension of the kernel in {6, 8}.
Let α = 2 and β = 7. We have that x7 − 1 = (x − 1)(x3 + 2x2 + x + 3)(x3 + 3x2 + 2x + 3).
Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code of type (2, 7; 2, 3; κ), where
f hg = x7 − 1.
By Theorem 3, deg(g) = 3 and deg(b) = deg(h) ≤ 2. Let {p3 , q3 } = {(x3 + 2x2 + x+ 3), (x3 +
3x2 +2x+3)}. Assume without loss of generality that g = p3 and, since deg(h) ≤ 2, we have that
˜

fb
, (g̃ ⊗ g̃)) 6= 1.
q3 divides f . It is easy to see that gcd(q3 , (p˜3 ⊗ p˜3 )) 6= 1 and therefore gcd( gcd(b,ℓg̃)

Hence, by Theorem 5, there does not exist a Z2 Z4 -additive code of type (2, 7; 2, 3; κ) with linear
Gray image. Thus, dim(ker(Φ(C))) 6= 8.
By Theorem 20, K(C) = h(b | 0), (ℓk | f hk+2f )i where k divides g. By the previous argument,
k 6= 1 and then we have that k = g = p3 and K(C) = h(b | 0), (ℓk | 2f )i. Therefore K(C) does
not contain codewords of order 4, thus dim(ker(Φ(C))) = γ + δ = 5.
Finally, we will give Z2 Z4 -additive cyclic codes of type (2, 7; 2, 3; κ), for different values of
κ. Recall that κ ≤ min{α, γ} = 2 and κ = α − deg(gcd(b, ℓg̃)), then
•

κ = 2: C = h(x − 1 | 0), (1 | (x3 + 2x2 + x + 3)(x − 1) + 2(x3 + 2x2 + x + 3))i, or
C = h(x − 1 | 0), (1 | (x3 + 3x2 + 2x + 3)(x − 1) + 2(x3 + 3x2 + 2x + 3))i.

•

κ = 1: C = h(x − 1 | 0), (0 | (x3 + 3x2 + 2x + 3)(x − 1) + 2(x3 + 3x2 + 2x + 3))i, or
C = h(x − 1 | 0), (0 | (x3 + 2x2 + x + 3)(x − 1) + 2(x3 + 2x2 + x + 3))i.

•

κ = 0: In this case, deg(gcd(b, ℓg̃)) = 2 and therefore, gcd(b, ℓg̃) = x2 − 1. Note that p̃3
and q̃3 are not divisors of x2 − 1 over Z2 , thus there does not exist ℓ with deg(ℓ) < 2 such
that ℓg̃ = x2 − 1. There does not exist a Z2 Z4 -additive cyclic code of type (2, 7; 2, 3; 0).

The statement in Theorem 20 is also true for any maximal Z2 Z4 -additive cyclic subcode of a
Z2 Z4 -additive cyclic code C whose Gray image is a linear subcode of Φ(C).

January 20, 2018

DRAFT

13

Corollary 21. Let C = h(b | 0), (ℓ | f h + 2f )i be a cyclic code, where f hg = xβ − 1. Then, if C1
is a maximal Z2 Z4 -additive cyclic subcode with Φ(C1 ) linear, then C1 = h(b | 0), (ℓk | f hk+2f )i,
where k divides g and ℓk = k̃ℓ + (1 − k̃)µ̃ℓg̃ (mod b), for µ in (3).
The kernel of a binary code is the intersection of all its maximal linear subspaces. Therefore,
if C1 , C2 , . . . Cs are all the maximal subcodes of a Z2 Z4 -additive code C such that φ(Ci ) is a
linear subcode of φ(C), for 1 ≤ i ≤ s, then
K(C) =

s
\

Ci .

(10)

i=1

In [6] it is proved that if C1 = hf h1 + 2f i and C2 = hf h2 + 2f i are quaternary cyclic codes of
odd length n, then C1 ∩C2 = hf lcm(h1 , h2 )+2f i. We will give a similar result for Z2 Z4 -additive
cyclic codes.
Proposition 22. Let C = h(b | 0), (l | f h + 2f )i be a Z2 Z4 -additive cyclic code. Let C1 = h(b |
0), (lk1 | f hk1 + 2f )i and C2 = h(b | 0), (lk2 | f hk2 + 2f )i be Z2 Z4 -additive maximal subcodes
of C whose images under the Gray map are linear subcodes of φ(C). Then
C1 ∩ C2 = h(b | 0), (lk′ | f hk ′ + 2f )i,
where k ′ = lcm(k1 , k2 ) and ℓk′ = k̃ ′ ℓ + (1 − k̃ ′ )µ̃ℓg̃ (mod b), for µ in (3).
Proof. Let C = h(b | 0), (l | f h + 2f )i be a Z2 Z4 -additive cyclic code and let Ci = h(b | 0), (lki |
f hki + 2f )i be a Z2 Z4 -additive maximal subcode of C whose image under the Gray map is a
linear subcode of φ(C).
We first consider (C1 )Y ∩(C2 )Y . By [6], (C1 )Y ∩(C2 )Y = hf lcm(hk1 , hk2 )+2f i = hf hk ′ +2f i,
where k ′ = lcm(k1 , k2 ). Since h(b|0)i ∈ C1 ∩ C2 , then C1 ∩ C2 = h(b | 0), (lk′ | f hk ′ + 2f )i, where
ℓk′ = k̃ ′ ℓ + (1 − k̃ ′ )µ̃ℓg̃ (mod b), for µ in (3) by Lemma 19.
Lemma 23. Let C be a Z2 Z4 -additive cyclic code and let D be a maximal cyclic subcode with
linear binary image. Then, K(C) ⊆ D.
Proof. If K(C) 6⊆ D, then consider the Z2 Z4 -additive code D ′ generated by K(C) ∪ D ∪ {2u ∗ v |
u, v ∈ K(C) ∪ D}. Since the binary image of K(C) ∪ D is cyclic, D ′ is a cyclic subcode of C.
Moreover, since 2u ∗ v ∈ D ′ , for all u, v ∈ D ′ , we have that D ′ has linear binary image, leading
to a contradiction since we are assuming that D is maximal.

January 20, 2018

DRAFT

14

Theorem 24. Let C = h(b | 0), (ℓ | f h+2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ −1.
Assume that k1 , . . . , ks are the divisors of g of minimum degree such that

!
g̃
g̃
f˜b
,
⊗
= 1,
gcd
gcd(b, ℓ kg̃˜ ) k̃i k̃i
i
for i = 1, . . . , s. Then,
K(C) = h(b | 0), (ℓ′k | f hk ′ + 2f )i,
where k ′ = lcm(k1 , . . . , ks ) and ℓk′ = k̃ ′ ℓ + (1 − k̃ ′ )µ̃ℓg̃ (mod b), for µ in (3).
Proof. Assume that k1 , . . . , ks are the divisors of g of minimum degree such that
!

g̃
f˜b
g̃
⊗
= 1,
gcd
,
gcd(b, ℓ kg̃˜ ) k̃i k̃i
i
for i = 1, . . . , s. Let Di be a cyclic subcode of C, where Di = h(b | 0), (ℓki | f hki + 2f )i, for
some ℓki . Note that Φ(Di ) is linear by Theorem 5. Since ki is a polynomial of minimum degree
dividing g, then Di is a maximal cyclic subcode of C with linear binary image. Then each Di
extends to Ci which is a maximal subcode of C, not necessarily cyclic, with linear binary image.
Note that every maximal code with linear image must contain a cyclic code with linear image,
e.g., every maximal code contains K(C) that is cyclic with linear image. By Lemma 23, we know
K(C) ⊆ Di and, therefore K(C) ⊆ ∩i Di . But ∩i Ci = K(C) ⊆ ∩i Di ⊆ ∩i Ci , so K(C) = ∩i Di . By
Corollary 21 and Proposition 22, the result follows.
Example 4. Let x7 − 1 = (x − 1)p3 q3 over Z4 . Let C = h(1 | 0), (0 | f )i of type (1, 7; 1, 6; 1)
with f = (x − 1), h = 1 and g = p3 q3 .
˜

fb
Note that gcd( gcd(b,ℓg̃)
, (g̃⊗g̃)) = x−1 6= 1. We have that all maximal cyclic subcodes of C with

binary linear image are C1 = h(1 | 0), (0 | f p3 + 2f )i, and C2 = h(1 | 0), (0 | f q3 + 2f )i. Clearly,
k ′ = lcm(p3 , q3 ) = p3 q3 and then K(C) = h(1 | 0), (0 | f p3 q3 + 2f )i = h(1 | 0), (0 | 2f )i.
B. Rank of Z2 Z4 -Additive Cyclic Codes
In this section, we will study the rank of a Z2 Z4 -additive cyclic code C. We will prove that
R(C) is also cyclic and we will establish some properties of its generator polynomials. However,
we will show that there does not exist a Z2 Z4 -additive cyclic code for all possible values of the
rank, in contrast to what is exhibited in the following results for a Z2 Z4 -additive code.

January 20, 2018

DRAFT

15

Proposition 25 ([8]). Let C be a Z2 Z4 -linear code of binary length n = α + 2β and type

(α, β; γ, δ; κ). Then, rank(Φ(C)) ∈ {γ + 2δ, . . . , min(β + δ + κ, γ + 2δ + δ2 )}.

Theorem 26 ([8]). Let α, β, γ, δ, κ be integers satisfying (6). Then, there exists a Z2 Z4 -linear
code C of type (α, β; γ, δ; κ) with rank(Φ(C)) = r if and only if
 
δ
)}.
r ∈ {γ + 2δ, . . . , min(β + δ + κ, γ + 2δ +
2
Proposition 27 ([8]). Let C be a Z2 Z4 -additive code of type (α, β; γ, δ; κ) and let C = Φ(C).
Let G be a generator matrix of C as in (1) and let {ui }γi=1 be the rows of order two and {vj }δj=1
the rows of order four in G. Then, hCi is generated by {Φ(ui )}γi=1 , {Φ(vj ), Φ(2vj )}δj=1 and
{Φ(2vj ∗ vk )}1≤j<k≤δ . Moreover, hCi is both binary linear and Z2 Z4 -linear.
Corollary 28 ([6]). Let C be a Z2 Z4 -additive code of type (α, β; γ, δ; κ) and let C = Φ(C). Let
G be a generator matrix of C as in (1) and let {ui }γi=1 be the rows of order two and {vj }δj=1
the rows of order four in G. Then,
R(C) = C ∪ h{2vj ∗ vk }1≤j<k≤δ i.
Lemma 29. Let C be a Z2 Z4 -additive code. Then, R(C)Y = R(CY ).
Proof. Let {ui = (ui | u′i )}γi=1 be the first γ rows and {vj = (vj | vj′ )}δj=1 the last δ rows
of G. By Corollary 28, R(C) = C ∪ h{2vj ∗ vk }1≤j<k≤δ i. By the same argument, R(CY ) =
CY ∪ h{2vj′ ∗ vk′ }1≤j<k≤δ i. Since 2vj ∗ vk = (0 | 2vj′ ∗ vk′ ) for all 1 ≤ j < k ≤ δ, the statement
follows.
The following theorem shows that if C is Z2 Z4 -additive cyclic code, then R(C) is also cyclic.
As in the case of K(C), this theorem is a generalization of the case when C is a linear cyclic
code over Z4 [6].

Theorem 30. Let C be a Z2 Z4 -additive cyclic code. Then R(C) is Z2 Z4 -additive cyclic code.
Proof. Let x ∈ R(C). By Corrollary 28, R(C) is generated by C and {2v∗w | v, w ∈ C}, then x =
u + 2v ∗ w, for some u, v, w ∈ C. As C is a Z2 Z4 -additive cyclic code then π(u), π(v), π(w) ∈ C
and 2π(v) ∗ π(w) ∈ R(C). Thus, π(x) = π(u) + 2π(v) ∗ π(w) ∈ R(C) and R(C) is Z2 Z4 -additive
cyclic code.
The next proposition is straightforward from Theorems 26 and 3.

January 20, 2018

DRAFT

16

Proposition 31. Let C be a Z2 Z4 -additive cyclic code. Then
α − deg(b) + deg(h) + 2 deg(g) ≤ rank(Φ(C)) ≤

deg(g)
).
min(α + β + deg(g) − deg(gcd(b, ℓg̃)), α − deg(b) + deg(h) + 2 deg(g) +
2


For a Z2 Z4 -additive cyclic code C, define C1 = h(b | 0)i and C2 = h(ℓ | f h + 2f )i. Since
C = C1 ∪ C2 and C1 ∩ C2 = {0}, we have that
rank(Φ(C)) = rank(Φ(C1 )) + rank(Φ(C2 )).

(11)

If the code C is separable, then ℓ = 0 and rank(Φ(C1 )) = rank(Φ(CX )). Moreover, C2 = h(0 |
f h + 2f )i, and therefore rank(Φ(C2 )) = rank(Φ(CY )). We obtain the following result.
Proposition 32. If C is a separable Z2 Z4 -additive cyclic code, then R(C) = R(CX ) × R(CY )
and rank(Φ(C)) = κ1 + rank(Φ(CY )).
Note that, if C is not separable, rank(Φ(C)) is not necessarily equal to κ1 + rank(Φ(CY )) as
it is shown in the following example.
Example 5. Consider the Z2 Z4 -additive

1

 0


 0

 0

0

code generated by the following matrix.

0 0 0 0 0

1 0 0 0 0 


0 1 2 0 0 

0 0 1 1 0 

0 0 1 0 1

(12)

In [4, Example 2] it was proved that φ(CY ) is binary linear whereas Φ(C) is not binary linear.
In this example we have that κ1 = 2. Since Φ(CY ) is linear, rank(Φ(CY )) = 5. Nevertheless,

Φ(C) is not binary linear and rank(Φ(C)) = 8 > 5 + 2.
In fact, rank(Φ(C)) is always greater or equal to κ1 + rank(Φ(CY )).
Proposition 33. Let C be a Z2 Z4 -additive cyclic code, then rank(Φ(C)) ≥ κ1 + rank(Φ(CY )).
Proof. Let C be a Z2 Z4 -additive cyclic code. By (11), rank(Φ(C)) = rank(Φ(C1 ))+rank(Φ(C2 )) =
κ1 + rank(Φ(C2 )) . By Proposition 27, in order to determine the rank, we have to consider the
set of vectors 2v ∗ w, for v = (v | v ′ ), w = (w | w ′ ) ∈ C. Since for all v ∈ C if w ∈ C1
we obtain 2v ∗ w = 0, we just have to consider v, w ∈ C2 . We have that if 2v ′ ∗ w ′ 6∈ CY

January 20, 2018

DRAFT

17

then 2v ∗ w 6∈ C. Therefore, rank(Φ(C2 )) ≥ rank(Φ((C2 )Y )) = rank(Φ(CY )) and, therefore,
rank(Φ(C1 )) ≥ κ1 + rank(Φ(CY )).
Now we can determine the rank of a Z2 Z4 -additive code C as the rank of CX and the rank of
a linear code over Z4 , C ′ . As in the case of the kernel, when C is separable we have seen that
C ′ = CY , but if C is not separable such a code C ′ may not be cyclic over Z4 .
Theorem 34. Let C be a Z2 Z4 -additive cyclic code with generator matrix in the form of (4) and
let C ′ be the subcode generated by the matrix in (8). Then,
rank(Φ(C)) = κ1 + κ2 + rank(Φ(CY′ )).
Proof. Let C be a Z2 Z4 -additive cyclic code with generator matrix G in the form of (4). Let
{ui = (ui | u′i )}γi=1 be the first γ rows and {vj = (vj | vj′ )}δj=1 the last δ rows of G. Define the
1 +κ2
codes C¯ = h{ui }κi=1
i and C ′ = h{ui }γi=κ1 +κ2 +1 , {vj }δj=1 i.
By Corollary 28 we have
R(C) = h{ui }γi=1 , {vj }δj=1, {2vj ∗ vk }1≤j<k≤δ i,

¯ = h{ui }κ1 +κ2 i,
R(C)
i=1
R(C ′ ) = h{ui }γi=κ1 +κ2 +1 , {vj , 2vj }δj=1, {2vj ∗ vk }1≤j<k≤δ i.
¯ ∪ R(C ′ ). Moreover, R(C)
¯ ∩ R(C ′ ) = {0} due to the fact that for
Note that R(C) = R(C)
¯ Therefore, rank(Φ(C)) = rank(Φ(C))
¯ +
all 1 ≤ j < k ≤ δ, 2vj ∗ vk = (0 | 2vj′ ∗ vk′ ) 6∈ C.
rank(Φ(C ′ )) = κ1 + κ2 + rank(Φ(C ′ )). Finally, by Lemma 29, rank(Φ(C ′ )) = rank(Φ(CY′ )) and
the statement follows.
Theorem 35. Let C = h(b | 0), (ℓ | f h+2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ −1.
Then, R(C) = h(br | 0), (ℓr | f h + 2 fr )i, where r is a divisor of f and br divides b.
Proof. By Theorem 30, R(C) is a Z2 Z4 -additive cyclic code, therefore R(C) = h(br | 0), (ℓr |
fr hr + 2fr )i. Since (b | 0) ∈ R(C), it is clear that br divides b. By [8, Lemma 3], C and R(C)
have the same number of order four codewords and since C ⊆ R(C) we have that fr hr = f h.
Then gr = g. By Proposition 6, we know that fr divides f and hence there exists r ∈ Z4 [x]
such that fr =

January 20, 2018

f
r

and hr = hr. Therefore, R(C) = h(br | 0), (ℓr | f h + 2 fr )i.

DRAFT

18

Let Ch(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code. In the following example, we
will see that R(C) = h(br | 0), (ℓr | fr hr + 2fr )i, where br 6= b, if we consider the generators of
R(C) in standard form.
Example 6. Let x7 − 1 = (x − 1)p3 q3 over Z4 . Let C = h((x − 1) | 0), (1 | (x − 1) + 2)i, with
f = 1, h = x − 1 and g = p3 q3 . If we compute R(C) we obtain that R(C) = h(1 | 0), (0 |
(x − 1) + 2)i.
Z2 Z4 -additive
As it is shown in Theorem 26, there exists a Z2 Z4 -additive code for any possible value of
the rank. Nevertheless, the following example gives a particular type (α, β; γ, δ; κ) such that it
is not possible to construct a Z2 Z4 -additive cyclic code with a specific, and valid, value of the
rank.
Example 7. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code of type (2, 7; 2, 3; κ).
By Theorem 26, rank(Φ(C)) ∈ {8, 9, 10, 11}. We will see that there does not exist any cyclic
Z2 Z4 -additive code of type (2, 7; 2, 3; κ), C, with rank(Φ(C)) ∈ {8, 9, 10}.
Let x7 − 1 = (x − 1)p3 q3 over Z4 , with p3 and q3 as in Example 3. By Theorem 3, deg(g) = 3
and deg(b) = deg(h) ≤ 2. Assume without loss of generality that g = p3 and, since deg(h) ≤ 2,
we have that q3 divides f . We have already proved, in Example 3, that there does not exist a
Z2 Z4 -additive code of type (2, 7; 2, 3; κ) with linear Gray image. Thus, rank(Φ(C)) 6= 8.
By Theorem 35, R(C) = h(b | 0), (ℓr | fr hr + 2fr )i where r divides f and hr = hr. Since
rank(Φ(C)) ∈ {8, 9, 10, 11}, we have that deg(r) ≤ 3 as |R(C)| = 43 22+deg(r) ≤ 211 . Since
gcd(q̃3 , p̃3 ⊗ p̃3 ) 6= 1 we have that q3 must divide r. Therefore deg(r) ≥ 3, and by the previous
argument, we know that r = q3 . So, rank(Φ(C)) ∈
/ {9, 10}.
Finally, we will give Z2 Z4 -additive cyclic codes of type (2, 7; 2, 3; κ), for different values of
κ, such that rank(Φ(C)) = 11. Recall that κ ≤ min{α, γ} = 2 and κ = α − deg(gcd(b, ℓg̃)),
then
•

κ = 2: C = h(x − 1 | 0), (1 | (x3 + 2x2 + x + 3)(x − 1) + 2(x3 + 2x2 + x + 3))i, or
C = h(x − 1 | 0), (1 | (x3 + 3x2 + 2x + 3)(x − 1) + 2(x3 + 3x2 + 2x + 3))i.

•

κ = 1: C = h(x − 1 | 0), (0 | (x3 + 3x2 + 2x + 3)(x − 1) + 2(x3 + 3x2 + 2x + 3))i, or
C = h(x − 1 | 0), (0 | (x3 + 2x2 + x + 3)(x − 1) + 2(x3 + 2x2 + x + 3))i.

•

κ = 0: As in Example 3, there does not exist a Z2 Z4 -additive cyclic code of type (2, 7; 2, 3; 0).

January 20, 2018

DRAFT

19

Proposition 36. Let C = hf h + 2f i be a cyclic code over Z4 of length n, with f hg = xn − 1.
Then,
R(C) = f h + 2

f
,
r

where r is the Hensel lift of gcd(f˜, g̃ ⊗ g̃).
Proof. From [6], we have that R(C) = hf h + 2 fr i, where r divides f .
Since R(C) is the minimum cyclic code over Z4 containing C whose image under the Gray
map is linear, then r is the polynomial of minimum degree dividing f satisfying that hf h + 2 fr i

˜
has linear image. This is equivalent, by [11], to the condition gcd fr̃ , g̃ ⊗ g̃ = 1. Therefore,

the polynomial r of minimum degree dividing f satisfying this condition is the Hensel lift of
gcd(f˜, g̃ ⊗ g̃).
Proposition 37. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code, where f hg =
xβ − 1, such that Φ(C) is not linear and Φ(CY ) is linear. Then,
R(C) = h(br | 0), (ℓr | f h + 2f )i,
where br = gcd(b, µ̃g̃ℓ), µ is as in (3), and ℓr = ℓ − µ̃g̃ℓ (mod br ).
Proof. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code, CY = hf h + 2f i. Let G
be a generator matrix of C as in (1) and let {ui = (ui | u′i )}γi=1 be the rows of order two and
{vj = (vj | vj′ )}δj=1 the rows of order four in G. By Corollary 28, R(C) = C∪h{2vj ∗vk }1≤j<k≤δ i.
We have that Φ(C) is not linear, therefore there exist i, k ∈ {1, . . . , δ} such that 2vj ∗ vk =
(0 | 2vj′ ∗ vk′ ) 6∈ C. Since Φ(CY ) is linear, 2vj′ ∗ vk′ ∈ h2f h, 2f i. Moreover, h(0 | 2f h)i ∈ C and
therefore R(C) = C ∪ h(0 | 2f )i. Considering the generators polynomials of R(C) and µ as in
(3), we have

R(C) = h(b | 0), (ℓ − µ̃g̃ℓ | f h), (µ̃g̃ℓ | 2f ), (0 | 2f )i
= h(b | 0), (µ̃g̃ℓ | 0), (ℓ − µ̃g̃ℓ | f h + 2f )i
= h(gcd(b, µ̃g̃ℓ) | 0), (ℓ − µ̃g̃ℓ | f h + 2f )i.
Therefore, considering the polynomial generators of R(C) in standard form, we have that
br = gcd(b, µ̃g̃ℓ) and ℓr = ℓ − µ̃g̃ℓ (mod br ).

January 20, 2018

DRAFT

20

Theorem 38. Let C = h(b | 0), (ℓ | f h+2f )i be a Z2 Z4 -additive cyclic code, where f hg = xβ −1.
Then,
f
R(C) = h(br | 0), (ℓr | f h + 2 )i,
r
where r is the Hensel lift of gcd(f˜, g̃ ⊗ g̃), br = gcd(b, µ̃g̃ℓ), µ is as in (3), and ℓr = ℓ − µ̃g̃ℓ.
Proof. Let C = h(b | 0), (ℓ | f h + 2f )i be a Z2 Z4 -additive cyclic code. By Theorem 35,
R(C) = h(br | 0), (ℓr | f h + 2 fr )i, where r is a divisor of f and br divides b.
Consider the quaternary code CY = hf h+2f i. By Lemma 29, we have that (R(C))Y = R(CY ).
Therefore, by Proposition 36, R(CY ) = f h + 2 f , where r is the Hensel lift of gcd(f˜, g̃ ⊗ g̃).
r

Note that R(CY ) = CY ∪

2 fr

.

From Corollary 28, C = C ∪ h{2vj ∗ vk }1≤j<k≤δ i, where {ui = (ui | u′i )}γi=1 are the rows
of order four of the generator matrix of C as in (1). Note that, for all uj , uk , 1 ≤ j ≤ k ≤ δ,
2uj ∗ uk = (0 | 2u′j ∗ u′k ), where 2u′j ∗ u′k ∈ R(CY ) = CY ∪ h2 fr and, therefore, (0 | 2u′j ∗ u′k ) ∈
C ∪ h(0 | 2 fr ) . Hence, we have that R(C) = C ∪ h(0 | 2 fr ) .
Therefore, for µ as in (3),
R(C) = h(b | 0), (ℓ − µ̃g̃ℓ | f h), (µ̃g̃ℓ | 2f ), (0 | 2 fr )i
= h(b | 0), (µ̃g̃ℓ | 0), (ℓ − µ̃g̃ℓ | f h + 2 fr )i
= h(gcd(b, µ̃g̃ℓ) | 0), (ℓ − µ̃g̃ℓ | f h + 2 fr )i.
From the last equation, and considering the polynomial generators of R(C) in standard form,
we have that br = gcd(b, µ̃g̃ℓ) and ℓr = ℓ − µ̃g̃ℓ (mod br ).
Example 8. Let α = 3 and β = 7. Consider, as in Example 3, C = h(x − 1 | 0), (0 | x − 1)i
where f = x − 1 and h = 1. As we have seen, C does not have linear binary image. Then, by
Theorem 38, we have that R(C) = h(1 | 0), (0 | (x − 1) + 2)i where r = f = x − 1.
Example 9. Let α = 3 and β = 15. Consider C = h(x − 1 | 0), (1 | f h + 2f )i where
f = x4 + 2x2 + 3x + 1 and h = (x − 1)(x4 + x3 + x2 + x + 1). Then, by Theorem 38, we have
that R(C) = h(1 | 0), (0 | f h + 2 fr )i where r = f = x4 + 2x2 + 3x + 1.
IV. C ONCLUSIONS
Given a Z2 Z4 -additive cyclic code C, we have shown that the codes K(C) and R(C) are also
Z2 Z4 -additive cyclic. We have computed the generator polynomials of these codes in terms of
January 20, 2018

DRAFT

21

the generator polynomials of C. Using these results, we have concluded that the dimensions
of the binary images of K(C) and R(C), i.e. the dimension of the kernel and the rank of C,
cannot take all the possible values as for a general Z2 Z4 -additive code. In other words, if a
Z2 Z4 -additive code is cyclic, then the set of possible values for the rank and the dimension of
the kernel becomes more restrictive.
R EFERENCES
[1] T. Abualrub, I. Siap and N. Aydin, “Z2 Z4 -additive cyclic codes,” IEEE Transactions on Information Theory, vol. 60, pp.
1508-1514, 2014.
[2] J. Borges, C. Fernández-Córdoba, J. Pujol, J. Rifà and M. Villanueva, “Z2 Z4 -linear codes: generator matrices and duality,”
Designs, Codes and Cryptography, vol. 54, pp. 167-179, 2010.
[3] J. Borges, C. Fernández-Córdoba, R. Ten-Valls, “Z2 Z4 -additive cyclic codes, generator polynomials and dual codes,” IEEE
Transactions on Information Theory, vol. 62, No. 10, pp. 6348-6354, 2016.
[4] J. Borges, S.T. Dougherty, C. Fernández-Córdoba, R. Ten-Valls,

“Binary images of Z2 Z4 -additive cyclic codes,”

arXiv:1707.03214v1, 2017.
[5] P. Delsarte, “An algebraic approach to the association schemes of coding theory,” Philips Res. Rep. Suppl., vol. 10, 1973.
[6] S.T. Dougherty, C. Fernández-Córdoba. “Kernels and ranks of cyclic and negacyclic quaternary codes,” Designs, Codes
and Cryptography, vol. 81, no. 2, pp. 347-364, 2016.
[7] C. Fernández-Córdoba, J. Pujol and M. Villanueva, “On rank and kernel of Z4 -linear codes,” Lecture Notes in Computer
Science, no. 5228, pp. 46-55, 2008.
[8] C. Fernández-Córdoba, J. Pujol and M. Villanueva, “Z2 Z4 -linear codes: rank and kernel,” Designs, Codes and Cryptography, vol. 56, pp. 43-59, 2010.
[9] A.R. Hammons, P.V. Kumar, A.R. Calderbank, N.J.A. Sloane, P. Solé, “The Z4 -linearity of kerdock, preparata, goethals
and related codes,” IEEE Transactions on Information Theory, vol. 40, pp. 301-319, 1994.
[10] F.J. MacWilliams, N.J.A. Sloane. The Theory of Error-Correcting Codes. North-Holland Publishing Company, Amsterdam,
New York, Oxford, 1975.
[11] J. Wolfmann. “Binary Images of Cyclic Codes over Z4 ,” IEEE Transactions on Information Theory, vol. 47, pp. 1773-1779,
2001.

January 20, 2018

DRAFT

