Noname manuscript No.
(will be inserted by the editor)

On maximum distance separable group codes with complementary
duals

arXiv:1801.00961v2 [math.RA] 21 Jan 2018

Saikat Roy · Satya Bagchi

Received: date / Accepted: date

Abstract Given an LCD group code C in a group algebra KG, we inspect kinship between C and
G, more precisely between the subgroup structures of G and C. Under some special circumstances
our inspection provides an estimation for various parameters of a group code C. When C is MDS, the
inter relation between K and G becomes more impressive. Application of Sylow theorem facilitated
us to explore the inter relation between G and K (when C is LCD and MDS) in more general way
and finally we get the result of Cruz and Willems (Lemma 4.4) as a simple sequel.
Keywords Group code · LCD code · MDS code · Sylow subgroup
Mathematics Subject Classification (2010) 94B05 · 20D20

1 Introduction
A group algebra [2] [4] composed of two algebraic objects, a field and a finite group. For K being a
field and G being a finite group, the group algebra is denoted by KG and defined by the collection
of formal sums
X
{
ag g : ag ∈ K}.
g∈G

P
P
Under the binary operations “+” and “·” defined by ∀a, b ∈ KG, a = g∈G ag g, b = g∈G bg g;
ag , bg ∈ K;
X
X X
a+b=
(ag + bg )g and a.b =
(
ag bg )g
g∈G

g∈G

respectively, with 1.g = g, 0.g = 0, ∀g ∈ G, (1 and 0 being multiplicative identity and additive
identity in the field K respectively) and a.id = a, ∀a ∈ K, where id is the identity element in the
S. Roy
Junior Research Fellow, CSIR
Department of Mathematics
National Institute of Technology Durgapur
Burdwan, India.
E-mail: saikatroy.cu@gmail.com
S. Bagchi
Department of Mathematics
National Institute of Technology Durgapur
Burdwan, India.
E-mail: satya.bagchi@maths.nitdgp.ac.in

2

Saikat Roy, Satya Bagchi

group G, (KG, +, ·) forms a vector space over K (with the elements of G as a basis) as well as a
ring containing K and G. KG becomes commutative if G is commutative. Since K commutes with
every member of KG so K ⊆ C(KG), where C(KG) is the centre of KG.

K

C(KG)

G
KG
Fig. 1 Group algebra KG

Since K ⊆ C(KG), KG sometimes called k-algebra. The structure of the group algebra KG can
be visualized (intuitively) from Figure 1. The dimension of the vector space KG over K is the
cardinality of G. A group code C is a right ideal of KG with the length = |G| and weight function
wt(a) = |{g ∈ G |ag 6= 0}|.
Since KG is a vector space over K, there is no harm to talk about the inner product in KG. The
inner product in KG is defined in a similar way the dot product is defined
P in Euclidean space. The
inner product of a, b ∈ KG, denoted as ha, bi, is defined by ha, bi =
ag bg . The basic difference
between Euclidean dot product and the inner product in KG is, ||a|| can become zero without
P“a”
being zero in KG. ||a|| = 0 without a being zero in KG happens iff characteristic of K divides
a2g .
Also for any g ∈ G, hag, bgi = ha, bi and hence this inner product is called G-invariant. Using this
we can characterize the dual of C as “b ∈ C ⊥ iff ha, bi = 0, ∀a ∈ C.”
A group code C is called linear complementary dual (LCD) [5] iff C ∩ C ⊥ = {0}. LCD group
codes are asymptotically good, satisfies Gilber-Varshamov bound and has significant applications
in modernistic information theory [1]. Mathematically the LCD group codes are more sophisticated
than just ordinary linear codes. Where an ordinary linear code involves the concept of vector spaces
only, the group code involves the concept of rings, fields, ideals, modules and vector spaces.
In this paper, the ideals we are considering are right ideals, if nothing else mentioned. By KG, we
mean the k-algebra, where G is a group of order n and K is a finite field. We denote idempotents
in KG as z. By “*” denotes the binary operation in the group.
P
P
Definition 1 Let a ∈ KG with a = g∈G ag g, ag ∈ K, the adjoint of a, â is defined by g∈G ag g −1.
Definition 2 A group code C is called self adjoint if c ∈ C implies ĉ ∈ C.
Instead of a field, if K happens to be a ring, KG mere forms a module over K. A module called
projective iff it is a direct summand of a free module.
Definition 3 z ∈ KG is called an idempotent if z 2 = z, and if z belongs to the centre of KG then
z is called a central idempotent.
Definition 4 A q-ary linear code C having length n, dimension k, minimum distance d, symbolically
[n, k, d]q , is called maximum distance separable (MDS) code, if d = n − k + 1. For a particular code
C, we denote this minimum distance of C by d(C).

On maximum distance separable group codes with complementary duals

3

If C is an LCD group code in a group algebra KG then C and C ⊥ can be expressed as zKG
and (1 − z)KG respectively, where z = z 2 = ẑ ∈ KG. In addition the LCD group code becomes
self adjoint iff z ∈ C(KG). Algebraic structure that an LCD group code C carries is very much
dependent on the structures of underlying field and group of the group algebra.
This motivates us to study the properties of the underlying group subject to a group code. While
the result given by Cruz and Willems in [1] is very much decisive for the commutative groups it
neither affirms nor negates the same conclusion for non-commutative groups. Application of Sylow
theorems ensures something more regarding an LCD, MDS group code.
Given G be any group having order pn m, with gcd(p, m) = 1, and p being a prime. Then the Sylow’s
theorems [2] conclude the following.
1. There exists a subgroup of G having order pn called Sylow-p-subgroup of G.
2. Any two Sylow-p-subgroup of G are conjugate.
3. Number of Sylow-p-subgroups of G is np ≡ 1 (mod p) and np | |G|.
Furthermore, it is easy to see that the unique Sylow subgroups are normal and converse. In addition,
for a commutative group G, all Sylow subgroups are normal, hence unique.
In [6] Willems completely classified the group algebras which contains a self dual ideal, also in [1]
Willems established that “For G being a finite abelian group and K being a field of characteristic
p with KG contains an LCD group code C. If C is MDS, then p ∤ |G|.” Here we have proved
the same result for a larger class of groups. As we go a bit further, we see that Sylvester’s RankNullity theorem [3] provides us an estimation about the distance of an LCD group code. For T
being a linear operator from a finite dimensional vector space V (over some field K), Sylvester’s
Rank-Nullity theorem ensures the following fact dimV = dim(Range of T ) + dim(Kernel of T ), i.e.,
dimV = rank(T ) + nullity(T ).
The remaining portion of this paper consists of main results, given in Section 2 and some relevant
examples (in context of our results) in Section 3. We close our paper by drawing some conclusions
in Section 4.

2 Results
Throughout this section the cardinality of a set X is denoted as |X| and dim(KG) denotes the
dimension of the vector space KG over the field K. By “the coefficients of any element a ∈ KG” we
mean ag ∈ K and by the components of a we mean different g ∈ G associated to the different non
zero ag ’s.
Alert!!! In next two theorems we should note that the statements “components of a ∈ KG with
identity forms a subgroup of G” and “components of a ∈ KG generates a subgroup of G” are not
the same. While “the components of a ∈ KG with identity forms a subgroup of G” means when we
consider the components of a as a set together with identity, the set remains closed and associative
under the binary operation of G. The set is closed under inverse, i.e., the set together with identity
qualifies to be a subgroup of G, “the components of a ∈ KG generate subgroup of G” means the
subgroup in G generated by the components of a. As for example let G = S3 and K be any field, if we
set a = (12) then component of a with unity is already a subgroup of S3 but if we set a = () + (123),
the components of a is not a subgroup of S3 , and the subgroup generated by the components of a
is h(123)i.
Theorem 1 Suppose z ∈ KG is an element such that the non-zero coefficients of z is λ for some
fixed λ ∈ K, if components of z with identity (we include identity separately if it do not appears in
the components of z) form a normal subgroup of G . Then z ∈ C(KG).

4

Saikat Roy, Satya Bagchi

Proof Suppose z = λ(h1 + h2 + · · · + hk ) ∈ KG. Given the components of z along with identity
(we include identity separately if it do not appears in the components of z) already qualifies to be a
subgroup of G, call it Z. Now for each g ∈ G, we have gZg −1 = Z, since Z E G by our hypothesis.
Now g · z = g · λ(h1 + h2 + · · · + hk ) = λ(h1 + h2 + · · · + hk ) · g, ∀g ∈ G, since g · hi = hj · g for
1 ≤ i, j ≤ k (for elements of KG which comes from G only “·” and “∗” coincides). Therefore z
commutes with every element of the group G, since the non zero coefficients of z is λ, therefore it
commutes with every element of KG. Hence z ∈ C(KG), as desired.
Corollary 1 Because the inversion is a bijective map we get z = ẑ. In addition if such z is idempotent in KG, we can construct self-adjoint, LCD group code zKG.
Theorem 2 Let C = zKG, where z = z 2 = ẑ be a self adjoint group code in KG, then the
components of z generate a normal subgroup in G.
Proof We know that for zKG being a self adjoint LCD group code, z ∈ C(KG) and hence z
commutes with every member of G. Now for any member g ∈ G, we have P
z · g = g · z. Considering
k
G = {g1 , g2 , . . . , gn } and components of z as {h1 , h2 , · · · , hk }. Let z =
i=1 zi hi , zi ∈ K. Since
−1
z · g = g · z, ∀g ∈ G, therefore, zi (g ∗ hi ) = zj (hj ∗ g), 1 ≤ i, j ≤ k, i.e., (zi zj )(g ∗ hi ) = (hj ∗ g). Since
KG is a vector space over K, having the elements of G as a basis, hence if (g ∗ hi ) and (hj ∗ g) are
distinct in KG then (g ∗ hi ) and (hj ∗ g) are linearly independent. Therefore (zi zj −1)(g ∗ hi ) = (hj ∗ g)
holds if and only if (zi zj −1) = 1 and hj ∗ g = g ∗ hi .
Now we consider Z = hh1 , h2 , . . . , hk i, then g ∗ (hi1 ∗ · · · ∗ hik ) = (h′i1 ∗ · · · ∗ h′ik ) ∗ g where
hi1 , . . . , hik , h′i1 , . . . , h′ik are among the components of z. Therefore gZ = Zg, ∀g ∈ G, proving
Z E G.
Our next theorem ensures the existence of a self-adjoint LCD group code if the mother group G has
a normal subgroup of a particular order.
Theorem 3 Let KG be a k-algebra with characteristic of K is p, then for each subgroup H ∈ G
with |H| ≡ 1 (mod p), there exists an LCD group code in KG. Furthermore, if H E G, then the
group code becomes self-adjoint.
P
h, then it is obvious
Proof Let H be a subgroup in G. Put z = h∈HP
P that z =Pẑ. To show z is
idempotent we formally calculate z 2 , now z 2 = |H| h∈H h = (pk + 1) h∈H h = h∈H h, for some
positive integer k.
If H E G, then we set z as above, then by Theorem 1, z ∈ C(KG) and therefore zKG is self-adjoint
group code.
Corollary 2 Let G be a finite group and K be a field with characteristic p. If H ≤ G such that H is
a characteristic subgroup of G or unique Sylow subgroup of G or [G : H] = q, where q is the lowest
prime divide the order of the group G and |H| = pk + 1 for some k ∈ N. We can construct an LCD
self-adjoint group code with the help of H.
Proof If H satisfies any of three conditions stated above H qualifies to be a normal subgroup of G
having order pk + 1 for some k ∈ N. Then proceeding in exactly same manner described in Theorem
3, we can form a self-adjoint LCD group code in KG.
Theorem 4 Let (G, ∗) be a group of order pn m, with gcd(p, m) = 1 and K be a field of characteristic
p.
1. For m = 1, KG do not contains a proper LCD code.

On maximum distance separable group codes with complementary duals

5

2. Let C = zKG, where z = z 2 = ẑ, be an LCD group code then the components of z is a subset of
{∪{Sylow-p-subgroups}\{id}}c, complement of {∪{Sylow-p-subgroups}\{id}}.
Proof 1. Suppose KG contains a proper LCD code C, then C = zKG, where z = z 2 = ẑ, If identity is the only component of z then C = KG, if there are some non trivial components in z then
n
n
z p = λ · id, for some scaler λ ∈ K; but according to our hypothesis z = z 2 = · · · = z p = z, hence
contradiction, so no such code exists.
n

2. For any g ∈ Sylow-p-subgroup P of G, g p = id. So if some g ∈ P appears in the components of
n
z, we get z p 6= z. So contradiction. Hence proved.
Theorem 5 Let G be a finite group and K is a field of characteristic p and p | |G|. Suppose KG
contains an LCD and MDS group code C. Then d(C) ≥ pm + 1, where pm is the order of Sylow-psubgroup in G.
Proof Since C is an LCD and MDS code in KG so C is of the form zKG, where z 2 = ẑ = z;
Naturally, (by second part of Theorem 4) wt(z) ≤ n − pm + 1 and wt(1 − z) ≤ n − pm + 1. Now
d(C ⊥ ) ≤ n − pm + 1.
d(C ⊥ ) = n − dim(C ⊥ ) + 1 = dim(C) + 1
∴ dim(zKG) + 1 ≤ n − pm + 1 ⇒ dim(zKG) ≤ n − pm .
Since dim(zKG)+ dim((1 − z)KG) = n, therefore, dim((1 − z)KG) ≥ pm . Because d(C) = dim((1 −
z)KG) + 1, we get d(C) ≥ pm + 1. Similarly, d(C ⊥ ) ≥ pm + 1.
Corollary 3 The bounds of dimension zKG and minimum distance can be improved once the number of Sylow-p-subgroup is determined. Since, the more Sylow-p-subgroup of G implies the more
elements in G having order pr (for some integer r).
Theorem 6 Suppose G is a finite group and K is a field of characteristic p. Let C = zKG, where
z = z 2 = ẑ; be an LCD, MDS group code in KG. Define S = {g ∈ G : z · g = scaler multiple of z}.
1. S is a subgroup of G.
2. d(C) ≥ |S|.
Proof 1. Since the identity element of G lies in S, S 6= φ. Consider g, h ∈ S, therefore zg = λz, and
zh = µz for some λ, µ ∈ K. Naturally µ−1 z = zh−1 .
Now zgh−1 = λzh−1 = λµ−1 z, and λµ−1 ∈ K. So ∀g, h ∈ S, gh−1 ∈ S, proving S is a subgroup of
G.
P
2. Any element in zKG is of the form z · a = g∈G ag z · g, i.e.,
X
X
X
z·a=
ag z · g +
ag z · g = λz +
ag z · g
g∈S

g6∈S

g6∈S

for some λ ∈ K. Therefore
dim(zKG) ≤ n − |S| + 1 ⇒ n − d(C) + 1 ≤ n − |S| + 1 ⇒ d(C) ≥ |S|.
Hence proved.
Remark The lower bound of d(C), that has been obtained in Theorem 5 and 6 is useful, although
we have already assumed that our group code is LCD, MDS. The main advantage of having these
bounds is that we can still give some estimation of d(C) without knowing the dimension of C.

6

Saikat Roy, Satya Bagchi

Corollary 4 For S1 = {g ∈ G : (1 − z) · g = scaler multiple of (1 − z)}. S1 is a subgroup of G and
d(C ⊥ ) ≥ |S1 |.
Theorem 7 If characteristic of K(= p) | |G| and number of elements in G having order pr (for
some integer r) is greater than |G|
2 − 1, then KG cannot contain an LCD, MDS group code.
Proof Let C = zKG, z = z 2 = ẑ, be an LCD, MDS group code contained in KG. Let D = {g ∈
G : |g| = pr } ⊂ G (for some integer r). We have d(C ⊥ ) ≤ n − |D|, since (1 − z) ∈ C ⊥ and any
component of z cannot be an element of order pr in G.
By assumption C is MDS so d(C ⊥ ) = |G| − dim((1 − z)KG) + 1, therefore dim(zKG) + 1 ≤ n − |D|.
Similarly dim((1 − z)KG) + 1 ≤ n − |D|; adding duo we get n + 2 ≤ 2n − 2|D|, finally |D| ≤ |G|
2 − 1.
Theorem 8 dim(KG) = dim(zKG) + |linear independent (LI) right zero divisors of z|, where
z = z 2 = ẑ.
Proof Define ϕ : KG → zKG by ϕ(a) = z · a, where “·” is the usual multiplication on KG.
Claim: ϕ is a linear map. Now, for a, b ∈ KG and α, β ∈ K, we get
ϕ(αa + βb) = z · (αa + βb),
= z · (αa) + z · (βb), using distributive law,
= (z · α)(a) + (z · β)(b), using associativity,
= (α · z)(a) + (β · z)(b), since K ∈ C(KG),
= α(z · a) + β(z · b), using associativity,
= αϕ(a) + βϕ(b).
Kernel of ϕ is precisely the set of all right zero divisors of z and dimension of kernel will be the
number of linearly independent right zero divisors of z. By the construction the mapping is onto
and hence by Sylvester’s Rank-Nullity theorem we conclude the result.
Corollary 5 Proceeding in exactly similar way and putting (1 − z) instead of z we get
dim(KG) = dim((1 − z)KG) + |LI right zero dividors of (1 − z)|.
Corollary 6 For an [n, k, d]q singleton bound permits us to write d ≤ n − k + 1, so by the above
theorem if KG contains an LCD group code C of dimension k with |G| = n then n − k = |LI right
zero divisors of z|, and hence C is given by d(C) ≤ |LI right zero divisors of z| + 1. For an MDS
linear [n, k, d]q code d(C) = |LI right zero divisors of z|+1.
Theorem 9 Let G be a finite group of order n and K be a field of characteristic p and suppose
C = zKG, where z = z 2 = ẑ is an LCD group code. If C is an MDS code then the components of z
generate G.
Proof Suppose z has components h1 , h2 , . . . , ht . Now let H be the subgroup of G generated by
h1 , h2 , . . . , ht . We have,
dim(KG) − dim(zKG) + 1 = d(C).
Also, dim(KG) − dim((1 − z)KG) + 1 = d(C ⊥ ).
Adding these two equalities, we get
2 · dim(KG) − dim(zKG) + 1 − dim((1 − z)KG) + 1 = d(C) + d(C ⊥ ).

On maximum distance separable group codes with complementary duals

7

Since C is an MDS code its dual is also an MDS code and therefore, we have
n + 2 = d(C) + d(C ⊥ ).
Now,
d(C) + d(C ⊥ ) ≤ |support of z| + |support of (1 − z)|,
≤ 2 · |support of z| + 1, ∵ |support of (1 − z)| ≤ |support of z| + 1,
≤ 2 · |H| + 1;
implies |G| < 2 · |H|. And hence G = H.
Remark In [1], the Lemma 4.4 proves “For G be an abelian group and K be a field of characteristic
p. Suppose C is an LCD group code. If C is an MDS code then characteristic of K does not divide
n, the cardinality of G.” But they have not concluded anything when G is non abelian. The question
we will address here has been asked in [1], it says for G being an arbitrary finite group and KG
contains an LCD, MDS group code, then is it always true that the characteristic of K does not
divide |G|? Although we have not produced a definite answer to this question, but we have produced
a result which answers the question in affirmation, not for arbitrary groups but for a class of groups
which is quite larger than the class of finite commutative groups. And the Lemma 4.4 proved in [1]
comes as a corollary to our result.
Theorem 10 For G is a finite group such that each Sylow subgroup of G is unique, and let K be
a field of characteristic p. If KG contains an LCD group code C which is also an MDS code, then
p ∤ |G|.
αk
α2
1
Proof Suppose p = p1 | |G| and |G| = pα
1 × p2 × · · · × pk , where p1 , p2 , · · · , pk are distinct
primes. Suppose Pi denotes the Sylow-pi -subgroup of G, (1 ≤ i ≤ k). Now C is an LCD group
α1
code, so C is of the form zKG, where z = z 2 = ẑ. Since z p1 = z, so components of z ⊆ {{Sylowp1 -subgroup}\{id}}c, complement of {{Sylow-p1-subgroup}\{id}}. Again for C being an LCD and
MDS code, components of z generates G, therefore for x ∈ P1 , x = a1 ∗ a2 ∗ · · · ∗ at , where ai comes
from the components of z, and may not be distinct. Now for Pi 6= Pj are two Sylow subgroups of |G|
|P ||P |
other than P1 , then Pi Pj is also a subgroup of G, since they are normal in G, and |Pi Pj | = |Pii∩Pjj | .
Since Pi ∩ Pj = {id}, |Pi Pj | = |Pi ||Pj |. Furthermore gcd(|Pi Pj |, |P1 |) = 1. In the similar way we
can show that for Pi1 , Pi2 , . . . , Pir , being a collection of distinct Sylow subgroups of G, other than
P1 ; Pi1 Pi2 · · · Pir forms a subgroup of G and has order co-prime to p1 . As a1 , a2 , . . . , at ; come from
different Sylow subgroups of G other than P1 so, a1 ∗ a2 ∗ · · · ∗ at has order prime to p1 and hence
cannot express a member of P1 , therefore we arrive at a contradiction to our hypothesis that C is
an LCD and MDS code. So, p1 ∤ |G| and we are done.

Corollary 7 For G is a finite abelian group and let K be a field of characteristic p. If KG contains
an LCD group code C which is also an MDS code, then p ∤ |G|.
Proof Since G is finite abelian, all its Sylow subgroups are normal, hence unique. Therefore conclusion drawn from the preceding theorem.
Alert!!! There are non-commutative groups, having unique Sylow subgroups. Let U be the group of
all upper triangular matrices, having 1 in diagonal and entries from Z3 . Then |U | = 27, and consider
G = D4 × U , where D4 is the dihedral group of order 8. Then G is non abelian and |G| = 23 × 33 .
The lone Sylow-2-subgroup and Sylow-3-subgroup of G are D4 and U respectively.
Theorem 11 For G is a finite group and K is a field of characteristic p and p | |G|. Theorem 10
can be made stronger, without the requirement that Sylow-p-subgroup is unique.

8

Saikat Roy, Satya Bagchi

Proof The proof is exactly same as Theorem 10.
Corollary 8 For G is a finite group and K is a field of characteristic p (p is an odd prime) and
p | |G|. If |G| = 2 · pn , then KG cannot contain an LCD and MDS group code.
Proof If KG contains an LCD and MDS group code C, C is of the form zKG, where z = z 2 = ẑ, and
components of z generate G, but all the components of z has order 2, and therefore group generated
by them is abelian always, then by Corollary 7, we get a contradiction.
Corollary 9 For K is a field of characteristic p and G is finite group with |G| = p · q m (p and q
are distinct primes, q > p), then KG cannot contain an LCD, MDS group code.

3 Examples
In this section we are giving some examples in context of our theorems.
Example 1 Let G = S3 and K be a field of characteristic 2, since S3 contains a normal subgroup
having order 2k + 1, (k = 1), namely A3 , so it is possible to construct a self-adjoint LCD group code.
We put z = 1.e + 1.(123) + 1.(132), then z = z 2 = ẑ, and therefore zKS3 forms a self-adjoint LCD
group code.
Example 2 Let zKG is a self-adjoint group code, components of z generate a normal subgroup, but
for every normal subgroup we may not be able to construct a self-adjoint group code by the method
we have described in Theorem 3, for example if K = Z2 and G = Z8 , then G contains a subgroup
{0̄, 2̄, 4̄, 6̄}, which is isomorphic to Z4 . Since it idex in Z8 is 2 so it is normal in Z8 . But if we put
z = 0̄ + 2̄ + 4̄ + 6̄, then z is self adjoint but not an idempotent as z 2 = 0.
However, if we have had a normal subgroup of order pk + 1, where p being the characteristic of the
field k ∈ N , then we can always use the method of Theorem 3 to construct a self adjoint group code.
Example 3 Consider G = A4 and K be any field of characteristic 3. Now it can be seen very
easily that K4 ⊳ A4 , where K4 = {(), (12)(34), (13)(24), (14)(23)} is the Klien’s four group. Since
K4 has order of the form 3k + 1, (k = 1), we can form a self adjoint LCD code by setting z =
() + (12)(34) + (13)(24) + (14)(23), we see that z is idempotent, self adjoint, and its components form
a normal subgroup in A4 .
For MDS and LCD group code zKG, components of z generate G, but the converse does not hold.
The example as follows.
Example 4 Consider G = A4 , it is a well known fact that A4 generated by all three cycles. Consider
K = Z2 , and z to be the sum of all three cycles, then z = z 2 = ẑ, then zKG is an LCD group code,
where components of z generate G, but from direct verification, we see that the dimension of zKG
is 3 but minimum distance d 6= 10.
Example 5 Let G be group of order 75, and K is any field of characteristic 3. We should note 5 ≥ 3
so 5k + 1 | 75 iff k = 0, implies Sylow-5-subgroup of G is unique and hence KG can not contain an
LCD, MDS group code no matter G is abelian or not.
Remark If G = (Sylow-5-subgroup) ⋊ (Sylow-3-subgroup). G is not abelian.
Example 6 Let G be group of order 2079, and K is any field of characteristic 3. Now 2079 =
33 × 7 × 11. Here Sylow-7-subgroup and Sylow-11-subgroup are unique. Hence KG can not contain
an LCD, MDS group code no matter G is abelian or not.
Remark If we choose Sylow-3-subgroup of G as (Z3 × Z3 ) ⋊ Z3 , then G is non abelian.

On maximum distance separable group codes with complementary duals

9

4 Conclusion
In this paper, we have studied LCD group code and gave an estimation of the distance of the code,
also we explored the involvement of normal subgroups of G with a given LCD self-adjoint group
code and further we proved the Lemma 4.4 in [1] for a larger class of finite groups. We cordially
invite the readers to upgrade or counter the Theorem 11 for more larger class of finite groups.
Acknowledgement
The author Saikat Roy is thankful to CSIR, MHRD, India; for financial support to pursue his
research work and the author Satya Bagchi thanks to DST-SERB project grant EEQ/2016/000140;
for financial support.

References
1. de la Cruz J., Willems W.: On group codes with complementary duals. Designs, Codes and Cryptography,
doi=10.1007/s10623-017-0437-2 (2017).
2. Dummit D., Foote R.: Abstract Algebra. John Wiley & Sons (2004).
3. Hoffman K., Kunze R.: Linear Algebra. Prentice-Hall, Englewood Cliffs (1971).
4. MacWilliams, F.J., Sloane, N.J.: The Theory of Error-Correcting Codes. North-Holland (1977).
5. Massey J.L.: Linear codes with complementary duals. A collection of contributions in honour of Jack van Lint.
Discret. Math. 106(107), 337–342 (1992).
6. Willems W.: A note on self-dual group codes. IEEE Trans. Inf. Theory 48, 3107–3109 (2002).

