Paper Menu >>
Journal Menu >>
Intelligent Information Management, 2012, 4, 309-310
http://dx.doi.org/10.4236/iim.2012.425043 Published Online October 2012 (http://www.SciRP.org/journal/iim)
Automorphism of Cyclic Codes
Department of Mathematices, Payame Noor University, Tehran, Iran
Received July 24, 2012; revised August 27, 2012; accepted September 14, 2012
We investigate how the code automorphism group can be used to study such combinatorial object as codes. Consider
GF(qn) as a vector over GF(q). For any k = 0, 1, 2, 3, ···, n. Which GF(qn) exactly one subspace C of dimension k and
which is invariant under the automorphism.
Keywords: Code; Cyclic Code; Automorphism
There are many kind of automorphism group in mathe-
matics. Among them such automorphism group as a code
automorphism, (see [1-3]) design automorphism is im-
portant to combinatories. These automorphism groups
play a key role in determining the corresponding struc-
ture, and provide a playground to study elementary alge-
bra. In particular, code automorphism group is useful in
determining the structure of codes, computing weight
distribution, classifying codes, and devising decoding
algorithm, and many kinds of code automorphism group
algorithms. In this paper, we will investigate how the
code automorphism group can be used to study some
2. Codes and Code Automorphism Group
Let F be a finite field. Any subset C of Fn is called an
q-array code where
. If C is a subset of Fn,
then C is called a linear code. In this section we intro-
duce basic definition related to code automorphism group,
and introduce some computation to find the weight dis-
tribution of a code using its automorphism group.
Definition 2.1. Let C be a binary code of length n. The
binary code of length of n + 1 obtained from C by adding
check bit is called the extended code of C. The permuta-
tion of coordinate place which send C into itself from the
code automorphism group of C denoted by Aut(C). Two
binary codes C1 and C2 are equivalent if there is a per-
mutation of coordinate place which sends C1 onto C2.
If is a none binary code, Aut(C) con-
sists of all monomial matrix A over GF(q) such that
for all C
. Note that if two binary codes C1
and C2 are equivalent, then Aut(C1) and Aut(C2) are iso-
morphic. But the converse may not always hold. Let C be
a binary code and H be a subgroup of Aut(C). For a
, the number of 1 in the coordinate
place of v is the weight of v and denoted by
Usually Ni denotes the number of codewords in C of
weight i and Ni(H) the number of codewords which are
fixed by some element of H. Now, we will investigate a
method of using the automorphism of group to find out
the weight distribution of a given code C.
Theorem 2.2. Let C be a binary code and H be a sub-
group of Aut(C). Then (mode O(H)).
Proof. The codewords of weight i can be divided into
two classes those fixed by some element of H. If
not fixed by any element of H then the O(H) codeword
for g in H must be distinct. Then Ni – Ni (H) is
multiple of O(H).
Recall that an action of a group on a set X is the func-
, such that
is denoted by gx
and with the following properties.
and (ex = x). If x, y are in X, we say that x ~ y if there is g
in G such that y = gx. And if x in X, we defined
x is called the isotropy or (stabilizer)
subgroup of G, or subgroup fixing by x.
Definition 2.3. Let C be a binary code of length n and
G is a subgroup of Aut(C). Then G acts on the coordinate
,,,C C. A subset 12 K
of X is called a coordinate base for G provided that the
identity element fixes all the coordinate places for G
provided that the identity element fixes all the coordinate
A strong generators for G on X relative to the ordered
CC C is a generating set S
for G such that 12
cc is generating by
for j = 1, 2, 3, ···, t.
1, 2,,jk , for
. Note that
OC , when
opyright © 2012 SciRes. IIM
Definition 2.4. A Hadamard matrix H of order n is an
matrix of 1 and –1 such that n
Two Hadamard matrix are equivalent if one can obtained
from other by permutating rows and column and multi-
plying rows and columns by −1.
Let H be 4m × 4m Hadamard matrix and N(H) be the
matrix obtained from H by deleting the first row and
column. Now let AH and AN(H) be the matrices obtained
from H and NH respectively by replacing 1 with 0. Let CH
and N(H) be the binary codes generated by the rows of AH
and AN(H) respectively.
Theorem 2.5. Let H be a 4m × 4m normalized Ha-
damard matrix and m be an even integer. Then CH is the
extended code of CN(H).
Proof. Let E be the extended code of CN(H). Note that
AN(H) is an incidence matrix of a (4m – 1, 2m – 1, m – 1)
design (i.e. 4m – 1 point a set of b block. Each block has
2m – 1 point. Every 2 point lie on exactly m – 1 block).
With b = 4m – 1 =
. Note that the number of 1 in each
row of AN(H) is also m – 1, since AN(H) is an incidence ma-
= b. Also the sum of all rows of AN(H) is an
all one vector since m – 1 is an odd integer. Thus all one
vector of length 4m is in E, and the length 4m vector is
also in E. Note that those vector generate E, an each row
of AH is an element of E. Hence CH is the extended code
3. Cyclic Codes
Let V be the n-dimensional vector space over
the finite field m
GF p and
morphism which causes a cyclic shift of coordinate ac-
cording to a given bases
,, ,ee e
. We consider the
n-dimensional linear space generated by the elements of
as a vector space over GF and take
a normal bases
Definition 3.1. A k-dimensional linear subspace C of
V is called cyclic code if for all as a in C then
We will recall that
VGFp , and C is
a cyclic code iff C is an ideal of
The generator polynomial g of C is the monic polynomial
of lowest degree in the ideal, g is a divisor of xn – 1 and
is a bases of C.
n is the order of pm in Zn. And Recall that
Qx the nth cyclothymic polynomial. We have
Proposition 3.2. Let 1
. Then we have: 1) If b = 1 or
is a prime and b, where
is the Uler function, then for any exists
exactly one cyclic code of dimension k.
Proof. If b = 1, then for . Then only cy-
clic code of dimension t is
. If b = pa +
2 where b is prime with , then for
the only cyclic code of dimension
pGF be a vector space Theorem 3.3. Let
GF p0,, a
. Then for any there is ex-
actly one cyclic code of dimension k which is invariant
under the automorphism if and only if b = 1
Proof. It is clearly.
I would like to thank the referees for their valuable
common and suggestion leading to this improved version
of the paper.
 A. A. Andrad and R. Palazzo Jr., “Constraction and De-
coding of BCH Codes over Finite Commutative Ring,”
Linear Algebra and Its Applications, Vol. 286, 1999, pp.
 A. A. Andrad and R. Palazzo Jr., “On Coding Collineat-
ing Graphs Of Symmetric Block Design,” Journal of
Combinatorial Theory, Vol. 11, No. 3, 1971, pp. 272-281.
 R. C. Bose and D. K. Ray-Chaudhuri, “On a Class of
Error-Correcting Binary Group Codes,” Information and
Control, Vol. 3, No. 1, 1960, pp. 68-79.
Copyright © 2012 SciRes. IIM