Groups & Coding Theory
Groups & Coding Theory
Groups & Coding Theory
CODING THEORY
for
[MTC - 231]
Second Year B.Sc. (Computer Science)
Mathematics - Paper I, Semester - III
New Syllabus as per CBCS Pattern Credit - 2
June 2020
M. D. Bhagat R. S. Bhamare
Ex-Head Dept. of Mathematics Ex-Head of P.G. Dept. of Mathematics
Tuljaram Chaturchand College New Arts, Science & Commerce College
Baramati (Dist. Pune) Ahmednagar
Dr. A. S. Khairnar
Assistant Professor & HOD of Mathematics
MES's Abasaheb Garware College,
Pune 411 004
Price ` 100.00
N5403
Groups & Coding Theory Maths P-I Sem. III ISBN 978-93-90225-59-0
First Edition : August 2020
© : Authors
The text of this publication, or any part thereof, should not be reproduced or transmitted in any
form or stored in any computer storage system or device for distribution including photocopy,
recording, taping or information retrieval system or reproduced on any disc, tape, perforated media or
other information storage device etc., without the written permission of Authors with whom the rights
are reserved. Breach of this condition is liable for legal action.
Every effort has been made to avoid errors or omissions in this publication. In spite of this, errors
may have crept in. Any mistake, error or discrepancy so noted and shall be brought to our notice shall be
taken care of in the next edition. It is notified that neither the publisher nor the authors or seller shall be
responsible for any damage or loss of action to any one, of any kind, in any manner, therefrom.
Published By: Polyplate Printed By:
NIRALI PRAKASHAN RACHANA OFFSETS
Abhyudaya Pragati, 1312, Shivaji Nagar S. No. 15, Arihant Marg
Off J.M. Road, PUNE – 411005 Sukhsagar Nagar, Katraj
Tel - (020) 25512336/37/39, Fax - (020) 25511379 Tel - (022) 2778 2011
Email : niralipune@pragationline.com
DISTRIBUTION CENTRES
PUNE
Nirali Prakashan : 119, Budhwar Peth, Jogeshwari Mandir Lane, Pune 411002,
(For orders within Pune) Maharashtra, Tel : (020) 2445 2044, Mobile : 9657703145
Email : niralilocal@pragationline.com
Nirali Prakashan : S. No. 28/27, Dhayari, Near Asian College Pune 411041
(For orders outside Pune) Tel : (020) 24690204; Mobile : 9657703143
Email : bookorder@pragationline.com
MUMBAI
Nirali Prakashan : 385, S.V.P. Road, Rasdhara Co-op. Hsg. Society Ltd.,
Girgaum, Mumbai 400004, Maharashtra;
Mobile : 9320129587 Tel : (022) 2385 6339 / 2386 9976,
Fax : (022) 2386 9976
Email : niralimumbai@pragationline.com
DISTRIBUTION BRANCHES
JALGAON
Nirali Prakashan : 34, V. V. Golani Market, Navi Peth, Jalgaon 425001,
Maharashtra, Tel : (0257) 222 0395, Mob : 94234 91860;
Email : niralijalgaon@pragationline.com
KOLHAPUR
Nirali Prakashan : New Mahadvar Road, Kedar Plaza, 1st Floor Opp. IDBI Bank,
Kolhapur 416 012, Maharashtra. Mob : 9850046155;
Email : niralikolhapur@pragationline.com
NAGPUR
Nirali Prakashan : Above Maratha Mandir, Shop No. 3, First Floor,
Rani Jhanshi Square, Sitabuldi, Nagpur 440012, Maharashtra
Tel : (0712) 254 7129;
Email : niralinagpur@pragationline.com
DELHI
Nirali Prakashan : 4593/15, Basement, Agarwal Lane, Ansari Road, Daryaganj
Near Times of India Building, New Delhi 110002
Mob : 08505972553, Email : niralidelhi@pragationline.com
BENGALURU
Nirali Prakashan : Maitri Ground Floor, Jaya Apartments, No. 99, 6th Cross,
6th Main, Malleswaram, Bengaluru 560003, Karnataka;
Mob : 9449043034
Email: niralibangalore@pragationline.com
Other Branches : Hyderabad, Chennai
niralipune@pragationline.com | www.pragationline.com
Also find us on www.facebook.com/niralibooks
Preface …
We have great pleasure in presenting this text book on
GROUPS AND CODING THEORY to the students of S.Y.B.Sc.
Computer Science Semester - III, Mathematics Paper - I. This book is
written strictly according to the new revised syllabus of Savitribai
Phule Pune University to be implemented from June 2020.
We have taken utmost care to present the matter systematically
and with proper flow of mathematical concepts. We begin the
Chapter by Introduction and at the end the Summary of the Chapter
is provided. We have added one significant feature: "Think Over It"
in this new edition. Here, we have posed questions of simple, difficult
and intuitive type in nature. It is expected that the students should
think over it and try to find the answers. This will assess the
understanding of the knowledge of the Chapter.
The book contains good number of solved problems and the
number of graded problems in the exercises.
We are thankful to Shri Dineshbhai Furia, Shri Jignesh Furia,
Mrs. Anagha Medhekar (Proof Reading and Co-ordination),
Mr. Ilyas Shaikh, Mrs. Anjali Mule (Figure Drawing) and the staff of
Nirali Prakashan for the great efforts that they have taken to publish
the book in time.
We welcome the valuable suggestions from our colleagues’ and
readers for the improvement of the book.
PUNE AUTHORS
AUGUST 2020
✍✍✍
Syllabus …
1. Integers (5 Lectures)
1.1 Division Algorithm (without proof)
1.2 G.C.D. using division algorithm and expressing it as linear
combination
1.3 Euclid’s lemma
1.4 Equivalence relation (revision), Congruence relation on set
of integers, Equivalence class partition
2. Groups (3 Lectures)
2.1 Binary Operation
2.2 Group : Definition and Examples
2.3 Elementary Properties of Groups
3. Finite Groups and Subgroups (10 Lectures)
3.1 Order of a group, order of an element
3.2 Examples (Zn, +) and (U(n), *)
3.3 Subgroup definition, Finite subgroup test, Subgroups of Zn
3.4 Generator, Cyclic group, Finding generators of Zn
(Corollary 3, 4 without proof)
3.5 Permutation group, Definition, Composition of two
permutations, Representation as product of disjoint cycles,
Inverse and order of a permutation, Even/Odd permutation
3.6 Cosets : Definition, Examples and Properties, Lagrange
Theorem (without proof)
4. Groups and Coding Theory (18 Lectures)
4.1 Coding of Binary Information and Error Detection
4.2 Decoding and Error Correction
4.3 Public Key Cryptography
✍✍✍
Contents …
1. Integers 1.1 – 1.54
✍✍✍
Chapter 1…
Integers
Pierre de Fermat Pierre de Fermat ( August 1601 or 1607/8 – 12
January 1665) was a French lawyer at the
Parlement of Toulouse, France, and an amateur
mathematician who is given credit for early
developments that led to infinitesimal calculus,
including his technique of adequality He is best
known for Fermat's Last Theorem. In number
theory, Fermat studied Pell's equation, perfect
numbers, amicable numbers and what would
later become Fermat numbers.
It was while researching perfect numbers that he discovered the little
theorem. He invented a factorization method—Fermat's factorization
method—as well as the proof technique of infinite descent, which he
used to prove Fermat's Last Theorem for the case n = 4. Fermat
developed the two-square theorem, and the polygonal number
theorem, which states that each number is a sum of three triangular
numbers, four square numbers, five pentagonal numbers, and so on.
1.1 Introduction
We know that the numbers … – 3, – 2, – 1, 0, 1, 2, 3, … are called
integers and the set of all these numbers is denoted by the symbol Z. The
numbers 0, 1, 2, 3, … are called non-negative integers (or whole numbers).
The numbers 1, 2, 3, … are called positive integers or natural numbers and
the set of all these numbers is denoted by the symbol ù. The natural
numbers form the primary subject matter of arithmetic, but it is often
essential to regard them as a subclass of integers.
The 'Theory of Numbers', one of the major branches of Mathematics
deals with only the set of natural numbers apart from the fact that its
study involves not only real numbers but also the complex numbers. The
set ù of all natural numbers is a very basic tool for starting the study of
mathematics. The set of integers is obtained by extending the set of
natural numbers, since the simple equation like x + 6 = 1 cannot be
solved in ù. In fact, the set of natural numbers is the foundation stone of
1.1
Groups & Coding Theory 1.2 Integers
the real number system. But, one may ask, from where the set of natural
numbers came into existence. This question raises deep logical and
philosophical problems, so we skip it to answer. However, we accept the
existence of natural numbers and let us be contended with the words of
the reknowned Mathematician Kronecker: 'God created the set of natural
numbers and all the rest is the work of human being'.
We also assume that the operations of addition and multiplication in
ù satisfy the properties like commutativity, associativity etc. familiar to
the students.
We also assume that the operations of addition and multiplication in
ù satisfy the properties like commutativity, associativity etc. familiar to
the students.
Further, we state only the following result, which will be frequently
used in this chapter.
ù, either m = n or m < n or
Law of trichotomy: For any m, n ∈ù
n < m.
Well-ordering property of ù: Every non-empty subset of ù has a
least member.
The above property can be stated as: If S is non-empty subset of ù,
then there exists an integer m ∈S such that m ≤ k, for all k ∈ S.
The Italian mathematician G. Peano showed that the algebraic system
< ù, +, × >, the set ù with usual addition and multiplication can be
defined even more simply as an algebra. He used the successor function
σ, we define it as:
Definition: A function σ : ù → ù which is defined by σ(n) = n + 1, for
n ∈ ù is called Peano's successor function.
Note that the domain of σ is ù and the range of σ is;
R(σ) = {2, 3, 4, …, n, n + 1, …}.
The set of natural numbers ù with the unary operation σ (as defined
above) is characterised by a set of three simple conditions on σ. These
conditions are the following 'Peano axioms' for the successor function:
1. If σ(m) = σ(n), then m = n (that is σ is injective on ù).
2. For no n ∉ ù, σ(n) = 1 (that is 1 is not image of any integer in ù).
3. Let S ⊂ ù satisfy (a) 1 ∈S, (b) n ∈S implies that σ(n) ∈S. Then
S = ù.
Groups & Coding Theory 1.3 Integers
1.2 Divisibility
Hereafter we will mostly be working with the set Z, of all integers, or
we will sometimes restrict ourselves to the set ù of all natural numbers.
The difference of working in Z or in N can be seen from the following
examples: We have 12 = 4.3, that is, 12 is product of 4 and 3, where 4 and
3 belong to ù. However, we can also write 12 = (– 4) (– 3), and we see
that – 4 and – 3 are in Z but not in ù. Similarly m. n = 1 iff m = 1 and
n = 1 if we are working in ù, whereas mn = 1 iff m = 1 and n = 1 or
m = – 1 and n = – 1, if we are working in Z. Thus, m.n = 12 and m.n = 1
have two solutions of each in Z, whereas each of these equations have
only one solution in ù.
Now, we shall give abstract definitions and shall deal with abstract
results, which are somewhat difficult to understand for the students. We
Groups & Coding Theory 1.4 Integers
Let S = {b – ax ∈Z | b – ax ≥ 0; x ∈Z }.
Since a > 0 implies a ≥ 1, we have,
b a ≥ b .1 (... b ≥ 0 )
∴ b+ b .a ≥ b +b≥0
⇒ ( ) .a
b– – b ≥ 0
⇒ b – (– b ) . a ∈ S.
(Since a > 0, a = a)
⇒ b = a . (– q') + r, 0 ≤ r< a
b = aq + r, where 0 ≤ r< a
On subtraction, we get,
But this is possible only if r – r' = 0, that is, r = r'. Using this fact in (4),
we get a (q' – q) = 0. ⇒ q' – q = 0; (... a ≠ 0)
⇒ q = q'
Hence, the uniqueness. This completes the proof of the theorem.
Greatest Common Divisor (g.c.d.)
What are the divisors of 12 and 16 ? The positive divisors of 12 are:
1, 2, 3, 4, 6 and 12. The positive divisors of 16 are: 1, 2, 4, 8, 16. We see
that 2 and 4 are divisors of both 12 and 16, we call 2 and 4 as common
Groups & Coding Theory 1.9 Integers
divisors (c.d.) of 12 and 16. The greatest of the common divisors 2 and 4
is 4, is called the greatest common divisor of 12 and 16. Thus, we have
the following:
Common divisor: Let a and b be any two integers not both zero. An
integer d is said to be common divisor of a and b if d | a and d | b.
Greatest common divisor: Let a and b be two non-zero integers. An
integer d is said to be greatest common divisor (g.c.d.) of a and b if (i) d is
common divisor of a and b, i.e. d | a and d | b and (ii) any common divisor
of a and b divides d, i.e. if c | a and c | b, then c | d.
For instance, it is clear that 4 is the g.c.d. of 12 and 16.
Note:
1. If d is a g.c.d. of a and b, then so is – d. By g.c.d., hereafter we will
always mean positive g.c.d. and it is denoted by (a, b). Thus, if d is
g.c.d. of a and b, then d = (a, b).
2. The term Highest Common Factor (H.C.F.) is also used for g.c.d.
Observe that 4 = (12, 16) from the discussion in the beginning.
Now, let us state and prove the theorem which establishes that g.c.d.
for any two integers exists and is unique.
{
Proof: Let S = ax + by | x, y ∈Z and ax + by > 0 }
Since a and b are non-zero, a2 + b2 > 0 and a2 + b2 = a.a + b.b > 0.
That is, a2 + b2 can be written in the form ax + by, where x = a and y = b,
and is greater than zero. Therefore a2 + b2 ∈ S. Hence S is non-empty
subset of N.
So by 'Well Ordering Principle', S has a least element, say d. That is
d∈S and d ≤ z, for all z ∈S. Also, d ∈ S implies d = ma + nb, for some
m, n ∈Z.
Now, we prove that d is common divisor of a and b.
Applying division algorithm to a and d, there exists q and r in Z, such
that
a = dq + r, where, 0 ≤ r < d … (2)
Groups & Coding Theory 1.10 Integers
If r ≠ 0, (2) gives
r = a – dq, with 0 < r < d
= a – (ma + nb) q, [using (1)]
= (1 – mq) a + (– nq) b, 0 < r < d.
Thus r > 0 and is of the form ax + by with x = (1 – mq) and y = – nq,
hence r ∈S. But this is contradiction to the choice of d, as r < d, hence
r = 0.
So from (ii) we get a = dq, which shows, d | a. Similarly, we can show
that d | b. Thus, d is common divisor of a and b.
Now, to show that d is g.c.d., we have to show that any c.d. of a and b
also divides d. Let c be any c.d. of a and b, and let a = ck1 and b = ck2 , for
k1, k2 ∈Z. Using this in (1), we get,
d = m (ck1) + n (ck2)
∴ d = c (mk1 + nk2)
which shows that c | d.
Thus, d is g.c.d. of a and b.
It is remained to show the uniqueness of d.
Suppose d' is another g.c.d. of a and b. Since d' is g.c.d., it is c.d. of a
and b. Therefore d' | a and d' | b, hence d' | d, since d is g.c.d. Similarly d
is g.c.d. of a and b, d | a, d | b, hence d | d', as d' is g.c.d. of a and b.
Thus, d | d' and d' | d, hence d' = ± d; but both d and d' are positive, so
that d' = d.
This completes the proof of the theorem.
Note: The integers m and n in the expression d = ma + nb are not
unique for instance, we know 4 = (12, 16) and we have
4 = 12 × (– 1) + 16 × 1 with m = – 1, and n = 1.
But we can also have 4 = 12 × (3) + 16 × (– 2), with m = 3 and n = – 2.
In fact, d = ma + nb, we have
d = a (m – kb) + b (n + ka) for any
k = 0, ± 1, ± 2, ……
which shows that there exist infinitely many pairs of m and n such that
d = ma + nb
Groups & Coding Theory 1.11 Integers
Exercise 1.1
Find g.c.d. d and find also two pairs of m and n such that
d = ma + nb, for each of the following : (1) a = 10, b = 18, (2) a = 31,
b = 17, (3) a = 6, b = 24, (4) a = 50, b = 101.
Euclidean Algorithm (E.A.): The process of finding g.c.d. of given
two integers by applying D.A successively, is known as Euclidean
Algorithm (E.A.). We describe this process in the following.
Let a and b be two non-zero integers. Applying D.A. to a and b, there
exist unique integers q1 and r1 such that
As we observe a > r1, > r2 > ……, we will get a remainder zero after
finite number of steps, say rn + 1 = 0.
Groups & Coding Theory 1.12 Integers
Exercise 1.2
Theorem 4 For any two non-zero integers a and b have unique L.C.M.
ab
[a, b] and [a, b] = .
(a‚ b)
Proof: Let (a, b) = d, then a = dk1 and b = dk2 where (k1, k2) = 1, by
example (2). Let g = k1 k2 d.
g = k1 k2 d = k1 . d . k2 , since d > 0, d = d.
= k1 d k2
So g = a k2 , since a = k1 d
g = ± a k2 , since a = ± a.
Again, we have, g = k1 k2 d
So gd = k1 k2 d2
= k1 d k2 d , .. d > 0
.
= a . b , . . a = k d and b = k d
. 1 2
a b ab
∴ g = i.e. [a, b] = .
d (a‚ b)
∴ g | g'
Similarly, g' is L.C.M. and a | g, b | g,
∴ g' | g (... g is L.C.M.)
Therefore g = ± g', but g and g' are positive, hence g' = g.
Modular Arithmetic :
The division algorithm can be used to determine the day after 52
days or a month after 33 months etc. For example, if today is Saturday,
what day will be after 100 days ? It is Monday, as 100 = 13 × 7 + 2, so we
count two days next to Saturday, we do not count 100 days after
Saturday.
Modular arithmetic is an abstraction of a method of counting that we
often use.
if a = qn + r, where q is quotient and r is the remainder upon dividing
a by n, we write this as a mod n = r or a = r mod n.
For example, 5 mod 3 = 2 since 5 = 1 × 3 + 2
33 mod 7 = 5 since 33 = 4 × 7 + 5
104 mod 12 = 8 since 104 = 8 × 12 + 8
Groups & Coding Theory 1.15 Integers
Illustrative Examples
Example 1.1 : The Indian Postal Service money order bears an
identification number consisting of 10 digits together with an extra digit
called a check. This check digit is the 10 digit number modulo 9. The
number 9423567879 has the check digit 6 since, 9423567879 mod 9 = 6.
If the number 9423567879 were incorrectly entered into a computer
(programmed to calculate the check digit) as say, 9423767879 (an error in
the fifth position) the machine would calculate the check as 8, whereas
the entered digit would be 6. Thus, the error would be detected.
Example 1.2: Let a, b, x, y be non-zero integers and let xa + yb = 1.
Then show that (a, b) = (x, y) = (a, y) = (x, b) = 1.
Solution: Suppose d = (a, b) and let a = dk1 and b = dk2,
for k1 k2 ∈ Z. Using this in xa + yb = 1, we get,
x (dk1) + y (dk2) = 1
⇒ d (xk1 + yk2) = 1
⇒ d | 1,
⇒ d = d≤ 1 =1
i.e. d ≤ 1, but d > 0 implies d = 1.
Thus (a, b) = 1. Similarly, we can show that (x, y) = 1 etc.
Groups & Coding Theory 1.16 Integers
Example 1.3: Let a and b be non-zero integers and let d = (a, b).
If a = dx and b = dy, show that (x, y) = 1.
Solution: Since d = (a, b), we have
d = ma + nb, for some m, n in Z.
= m (dx) + n (dy), since a = dx and b = dy
d = d (mx + ny)
⇒ mx + ny = 1, since d ≠ 0, by cancellation law.
⇒ (x, y) = 1, by Example 2.(1.1) above.
Example 1.4: If (a, m) = 1 = (b, m), then (ab, m) = 1.
(That is, if a and m are relatively prime and b and m are relatively
prime, then ab and m are also relatively prime).
Solution: By theorem 3, there exist integers x0, y0, x1, y1 such that
ax0 + my0 = 1 and bx1 + my1 = 1
Thus we write
(ax0) (bx1) = (1 – my0) (1 – my1)
= 1 – my2,
where, y2 = y0 + y1 – my0 y1, so that we obtain (ab) (x0 x1) + my2 = 1
Example 1.5: For any integer x, show that (a, b) = (a, b + ax).
(Oct. 2013)
Solution: Let (a, b) = d and (a, b + ax) = g.
Since d = (a, b), d | a and d | b, which implies that d | a and
d | (b + ax), by definition d is c.d. of a and b + ax, hence d | g. … (1)
On the other hand, since g = (a, b + ax), so g | a and g | (b + ax).
⇒ a = gk1 and (b + ax) = gk2, for k1, k2 ∈ Z
⇒ a = gk1 and b + gk1 = gk2
⇒ a = gk1 and b = g (k2 – k1)
⇒ g | a and g | b … (2)
So g is c.d. of a and b, hence g | d, as d is g.c.d. of a and b. From (1)
and (2), we get g = d, which proves the result.
Groups & Coding Theory 1.17 Integers
Continuing in this way every time we cancel one factor from both
sides. Since the number of factors is finite, we will arrive at one stage,
where factors on either side get exhausted or all factors on both sides get
exhausted simultaneously, proving that r = k and factorisation is unique.
If possible only one side of (1) gets exhausted, then it means; whatever
prime factors left on other side, their product will be equal to 1, which is
impossible. Hence, both sides must exhaust simultaneously. This
completes the proof of the theorem.
Note: The proof of the above theorem is not expected in the syllabus.
Corollary: Let a (≠ ± 1) be any non-zero integer. Then
a = ± p1, p2 … pk, where pi's are primes.
a = ± a, hence
± a = p1 p2 …pk
⇒ a = ± p1 p2 … pk
Note: 1. Let a (≠ ± 1) be any non-zero integer. The factorisation of 'a' as a
product of primes, need not yield distinct primes, hence collecting
together like primes, we may write 'a' as:
α1 α2 αr
a = ± p1 . p2 …p , … (*)
r
where, p1, p2, … pr are all distinct primes and αi ≥ 0 are integers.
For instance, 100 = 2 × 2 × 5 × 5,
So 100 = 22 × 52 × 30
Also 6750 = 2 × 3 × 3 × 3 × 5 × 5 × 5
= 2 × 33 × 53 × 70
Groups & Coding Theory 1.23 Integers
2. For any integer 'a', the expression (*) is called "Canonical form".
Using the canonical forms of the given integers, it is easy to find
g.c.d.
For example, (100, 6750) = 2 × 52 = 50
Exercise 1.3
Illustrative Examples
Example 1.10 : Let A = {a, b, c, d}. How many elements are there in
power set P(A) ? Hence write down P(A). How many relations are there on
the set A ? (Practical Problem)
4
Solution : Since, A has 4 elements, p(A) has 2 elements, that is, 16
elements.
p(A) = {φ, (a), (b), (c), (d), (a, b), (a, c), (a, d), (b, c), (b, d),
(c, d), (a, b, c), (a, b, c), (a, c, d), (b, c, d), A}
Since, there are 16 elements in A × A and the relation on the set A is
16
any subset of A × A, hence there are 2 relations on the set A.
Example 1.11 : A relation R defined in the set of all lines L in a plane
by xRY ⇒ x || y is an equivalence relation.
Solution : (i) Let L1 ∈ L be any line in L, then
L1 || L1 ⇒ L1 RL1 ⇒ R is reflexive
(ii) Let L1, L2 ∈ L
L1 RL2 ⇒ L2 || L2
⇒ L2 || L1 ⇒ L2 RL1 ⇒ R is symmetric
Groups & Coding Theory 1.28 Integers
a a
not zero which shows that = i.e. af = be. Hence, (a, b) ~ (e, f);
b f
so ~ is transitive.
Thus, ~ is an equivalence relation.
Next, for (a, b) ∈ ù × ù, we have,
(a, b) = {(c, d) ∈ ù × ù | (a, b) ~ (c, d)}
= {(c, d) ∈ ù × ù | ad = bc}
a c
= (c, d) ∈ ù × ù | = , since b ∈ 0, c ∈ 0
b d
This shows that the equivalence class of (a, b) is the set of all
c a
(c, d) ∈ ù × ù, such that = . This shows that, it is a set of all positive
d b
a
rationals which are equal to . Therefore, the equivalence classes in this
b
example are nothing but the distinct positive rationals in disguised form.
To get this more clear, consider a particular pair (2, 3) ∈ ù × ù. Then
we know that
2 4 6 8 10
= = = = … so on
3 6 9 12 15
2 4 6
So, we usually use as a representative of all these rationals , ,
3 6 9
8 10
, … It is clear that,
12 15
(2, 3) = {(2, 3), (4, 6), (6, 9), (8, 12), …}
2
Thus, (2, 3) can be viewed as rational number in disguised form.
3
Example 1.15 : Let R be defined on the set of integers Z by
xRy ⇒ 5x + 6y is divisible by 11, for x, y ∈ Z
Show that R is an equivalence relation.
Solution : xRy ⇒ 5x + 6y is divisible by 11 ⇒ 5x + 6y = 11k, k ∈ Z
(i) 5x + 6x = 11x ⇒ xRy ⇒ R is reflexive
(ii) xRy ⇒ 5x + 6y = 11 k
Now, 5y + 6x = 11y − 6y + 11x − 5x
Groups & Coding Theory 1.31 Integers
(5) {(a, d), (b), (c)} (6) {(b, c), (a), (d)}
(7) {(b, d), (a), (c)} (8) {(c, d), (a), (b)}
(9) {(a, b), (c, d)} (10) {(a, c), (b, d)}
(11) {(a, d), (b, c)} (12) {(a, b, c), (d)}
(13) {(a, b, d), (c)} (14) {(b, c, d), (a)}
(15) {(a, c, d), (b)}
Since, there are 15 partitions of A, by fundamental theorem of the
equivalence classes, theorem 2 below, there will be 15 equivalence
relations on A. The equivalence classes of each of these equivalence
relation will be the subsets of A in that corresponding partition. For
instance P = {(c, d), (a), (b)} is partition of A, which defines an equivalence
relation on A, whose equivalence classes will be : (c, d), (a) and (b).
Till this stage, we have not proved any results. Let us state and prove
some of the important results related to equivalence relations,
equivalence classes and a partition of a set.
−
(a) For every x ∈ X, x ∈ x .
− − −
(b) For x, y ∈ X, x ∈ y , if x = y .
− − − −
(c) For any x, y ∈ X, either x = y or x ∩ y = φ; i.e.
any two equivalence classes are either identical or disjoint.
Proof : (a) Since, ~ is an equivalence relation, it is reflexive, hence for
− −
any x ∈ X x ~ x . Therefore x ∈ x .
− − −
(b) First suppose x ∈ y . We have to show that x = y , the set
− −
equality. Let z ∈ x be any element. Then z ~ x, but x ∈ y implies x ~ y.
Thus, z ~ x and x ~ y and ~ is transitive relation, hence z ~ y which shows
−
that z ∈ y . Therefore,
− −
x ⊂ y … (i)
− −
On the other hand suppose z ∈ y , then z ~ y, but x ∈ y implies. So
that z ~ y and x ~ y.
⇒ z ~ y and y ~ x, (‡ ~ is symmetric)
Groups & Coding Theory 1.33 Integers
⇒ z ~ x, (‡ ~ is transitive)
−
⇒ z∈ x
− −
Therefore y ⊂ x .
From equations (i) and (ii) it follows that
− −
x = y
− −
Conversely, suppose that x = y .
− − −
From (a), we know that x ∈ x = y . Hence, x ∈ y .
− − − −
(c) Let x, y ∈ X be any two elements. If x ∩ y = φ, that is if x and y
− −
are disjoint, there is nothing to be proved. So suppose x ∩ y ≠ φ. Then
− − − −
we have z ∈ x ∩ y , which implies that z ∈ x and z ∈ y .
− − − −
⇒ z = x and z = y , by (b) above.
− − − −
⇒ x = y ; that is x and y are identical, if they are not disjoint. This
completes the proof of the theorem.
Partition of a set : Let X be a set. A partition of X is a family of
non-empty subsets of X such that each element of X belongs to exactly
one member of the family.
In other words, a partition P of a set X is a set of non-empty subsets
of X, such that :
(i) U Pi = X for all Pe ∈ P, i.e. union of all members of P is equal to X.
(ii) Pi ∩ Pj = φ, for each i ≠ j. Fig. 1.1 shows Venn diagram of a set
with partition P having eight subsets of X.
I
IV VII
VIII
III
II V
VI
Fig. 1.1
For example, (1). Let Z be the set of all integers. Then P = (U, V),
where :
U = {… −4, −2, 0, 2, 4, …}, set of all even integers
Groups & Coding Theory 1.34 Integers
a ≡ b (mod d)
(b) If ax ≡ bx (mod n) and (x, n) = 1, then
a ≡ b (mod n). [cancellation law]
(c) If (x, n) = d and ax ≡ bx (mod n), then
a ≡ b (mod w), where n = dw.
Proof: (a) Since a ≡ b (mod n), we have a – b = nk, for some k ∈Z.
Again, d | n, we have n = dk1, for k1 ∈Z. So that
a – b = nk = (dk1) k, . . n = dk
. 1
⇒ a – b = d (k1 k)
⇒ d | (a – b) ⇒ a ≡ b (mod d)
(b) If ax ≡ bx (mod n), then n | (ax – bx), i.e. ax – bx = nk, for k ∈Z.
⇒ (a – b) x = nk, for k ∈Z
⇒ n | (a – b)x
⇒ n | (a – b), since (x, n) = 1.
⇒ a ≡ b (mod n).
(c) Since (x, n) = d, let x = dk1, and n = dw, for k1, w ∈Z … (1)
and (k1, w) = 1
Now, ax ≡ bx (mod n)
⇒ n | (ax – bx)
⇒ n | (a – b) x
Groups & Coding Theory 1.38 Integers
⇒ (a – b) x = nz, for z ∈Z
⇒ (a – b) dk1 = dwz, … using (1)
ù. Then a ≡ b
Theorem 12 Let a and b be any two integers and n ∈ù
(mod n) if and only if a and b leave the same remainder when divided by
n. (April 2014)
Proof: Suppose a ≡ b (mod n). Then we have to show that a and b
leave the same remainder when divided by n.
Now a ≡ b (mod n).
⇒ a – b = nk, for some k ∈Z.
∴ a = b + nk … (1)
Applying division algorithm to b and n, there exist q and r such that
b = nq + r, 0≤r<n … (2)
i.e. r is the remainder when b is divided by n.
From equation (1) and (2), we have
a = (nq + r) + nk
= n (q + k) + r , 0≤r<n
which shows that r is also the remainder when a is divided by n.
Conversely, suppose a and b leave the same remainder when divided
by n. That is, by division algorithm, we have
a = nq + r and b = nq' + r, 0 ≤ r < nr, q, q'∈Z
Then, a – b = (nq + r) – (nq' + r)
= n (q – q')
Groups & Coding Theory 1.39 Integers
⇒ n | (a – b)
⇒ a ≡ b (mod n).
This completes the proof of the theorem.
We have seen that the relation "Congruence modulo n" is an
equivalence relation in Z. Hence we can define equivalence classes for the
elements in Z, which are called congruent classes modulo n or residue
classes modulo n.
–
Residue classes modulo: For a ∈ Z, the set a = {x ∈ Z | x ≡ a
(mod n)} is called the 'congruent class of a modulo n' or the 'residue class
of a modulo n'.
Thus, the residue class of a is the set of all integers which are
congruent to a modulo n.
Note: 1. For a ∈ Z, we have
–
a = {x ∈ Z | x ≡ a (mod n)}
= {x ∈ Z | n | (x – a)}
= {x ∈ Z | x – a = nz, z ∈ Z}
–
a = {x ∈ Z | x = a + nz, z ∈ Z} … (1)
If we apply division algorithm to a and n, we have unique q and r in
Z, such that
a = nq + r, where, 0 ≤ r < n … (2)
That is, r is the least positive remainder when 'a' is divided by n. Using
(2 ) in (1), we get
–
a = {x ∈ Z | x = r + nq + nz; q, z ∈ Z}
= {x ∈ Z | x = r + n (q + z); q, z ∈ Z}
= {x ∈ Z | x = r + nk; k ∈ Z}
This shows that, if a ∈ Z and r is the least positive integer obtained by
dividing a by n; then
–
a = {…, r – 2n, r – n, r, r + n, r + 2n, …} … (3)
2. In particular, let n = 5 and a = 2. Then by definition
–
2 = {x ∈ Z | x ≡ 2 (mod 5)}
= {x ∈ Z | x = 2 + nz, z ∈ Z}
Groups & Coding Theory 1.40 Integers
–
so that 2 = {…, – 8, – 3, 2, 7, 12, … }
Similarly, we can work-out
–
0 = {…, – 10, – 5, 0, 5, 10, …}
–
7 = {…, – 8, – 3, 2, 7, 12, …} (using note 1)
Theorem 13 There are precisely n distinct residue classes modulo n.
– –
for if i = j , for 0 ≤ i, j < n, then i ≡ j (mod n)
⇒ n | (i – j), which is impossible unless
i – j = 0, since 0 ≤ i, j < n.
Hence i–j = 0⇒i=j
– –
Thus 0 , 1 , …, n – 1 are all distinct, proving that there are precisely n
distinct residue classes modulo n.
Notation: We denote by Zn, the set of all residue classes modulo n.
That is,
– – –
Zn = {0 , 1 , 2 , ……, n – 1 }
– – – – –
In particular, Z5 = {0 , 1 , 2 , 3 , 4 } and
– – – – – – – –
Z8 = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }
Groups & Coding Theory 1.41 Integers
Note:
1. Addition and multiplication as defined above are well defined.
– – – – –
That is, if we have i = i' and j = j' for 0 ≤ i, i', j, j' < n the additions i +
– – –
j and i' + j' i.e. i + j and i' + j' should be equal. This can be worked
out by the properties of congruence relation.
– –
Since i = i' ⇒ i ≡ i' (mod n)
– –
and j = j' ⇒ j ≡ j' (mod n)
Exercise 1.4
⇒ i . j ≡ 1 (mod n)
⇒ n | (i.j – 1)
⇒ i . j – 1 = nk, for k ∈ Z
⇒ i . j – nk = 1
⇒ i . j + n (– k) = 1
⇒ (i, n) = 1
Conversely suppose (i, n) = 1, then there exist integers p and q in Z
such that
1 = iq + np
_______
–
⇒ 1 = iq + np
_____ _____
–
⇒ i = i . q + n . p , by definition of addition in Zn.
– – – – –
⇒ 1 = i . q + n . p , by definition of multiplication in Zn.
– – – – – – – –
⇒ i . q = 1 , since n = 0 , so n . p = 0
This completes the proof of the theorem.
Groups & Coding Theory 1.44 Integers
Exercise 1.5
− −
1. In ZB, list all the elements i such that there exists j ∈ ZB such
− − −
that i ⋅ j = 1.
2. Do the exercise (1) for Z12.
3. Prepare composition tables of addition and multiplication for
(i) Z6, (ii) Z11.
Illustrative Examples
Example 1.18: If p is prime and a2 ≡ b2 (mod p), then show that
either p | (a + b) or p | (a – b).
Solution: Since a2 ≡ b2 (mod p), p | (a2 – b2).
i.e. p | (a + b) (a – b)
⇒ p | (a + b) or p | (a – b); by theorem (5), since p is prime.
Example 1.19: List all integers x in the range 1 ≤ x ≤ 100 that satisfy
x ≡ 7 (mod 17).
Solution: The integers x, which satisfy x ≡ 7 (mod 17) are nothing but
– –
7, the members of 7, the residue class of 7 modulo 17 since 7 is the
remainder when 7 is divided by 17, by (3) of note of the residue class we
have
–
7 = { …, 7 – 2 × 17, 7 – 17, 7, 7 + 17, 7 + 2 × 17, …}
= {…, – 27, – 10, 7, 24, 41, …}
We want the list in the range 1 ≤ x ≤ 100, hence the required list is
{7, 7 + 17, 7 + 2 × 17, 7 + 3 × 17, 7 + 4 × 17, 7 + 5 × 17}
i.e. {7, 24, 41, 58, 75, 92}
– –
Example 1.20: Express each of the following elements of Z3 as 0, 1
–
and 2.
____ ________
– 4 – –
(2)3, 100 , (– 100) , 10 + 1 .
– – – –
Solution: (2)3 = 2 × 2 × 2
__________
= 2 × 2 × 2 , by definition of multiplication in Z3
Groups & Coding Theory 1.45 Integers
– – – –
= 8 = 2 since 2 ≡ 8 (mod 3), 2 = 8
___
100 , when 100 is divided by 3, the remainder (least positive) is 1,
hence,
___
–
100 = 1
_______
4
(– 100) , when – 100 is divided by 3, the least positive remainder is 2,
since – 100 = 3 × (– 34) + 2.
_______ 4
– – – –
∴ (– 100) = 2 , so ( – 100 ) = ( 2) 4 = (2)3 × 2
– – –
= 2 ×2=1
___ ______
– –
10 + 1 = 10 + 1 = 11 = 2 ; since 11 ≡ 2 (mod 3)
– – – –
(4)2 = 4 × 4 = 4 × 4 = 16 = 4, since 16 ≡ 4 (mod 6)
– – – –
(5)2 = 5 × 5 = 25 = 1, ‡ 25 ≡ 1 (mod 6)
– – – – –
Example 1.22: Find all pairs i and j in Z8 such that i · j = 1.
– – – – – – – –
Solution : Z8 = {0, 1, 2, 3, 4, 5, 6, 7}
– – – – –
We know that for i in Zn there is j in Zn such that i · j = 1 if and
only if (i, n) = 1. Here n = 8, and (1, 8) = 1, (3, 8) = 1, (5, 8) = 1, (7, 8) = 1.
Groups & Coding Theory 1.46 Integers
– – – – – – – – – –
For i , we have 1· 1 = 1, 3, we have 3 · 3 = 9 = 1 for 5, we have
– – – – – – – – – – – – –
5 · 5 = 25 = 1 and for 7, we have 7 · 7 = 49 = 1. Thus, 1, 3, 5 and 7 are
paired with themselves.
– – – – – –
Example 1.23 : Z12, Calculate: (i) (2 · 9 + 1 ), (ii) – 5 · (4 + 5).
– – – – – – –
Solution : (i) (2 · 9 + 1)–1 = (6 + 1)–1 = (7)–1 = 7
– – – – – – – – – –
(ii) – 5 · (4 + 5) = – 5 · 9 = 7⋅ 9 = 3 ‡–5=7
A f B g C
a
g(fa) g(fa)
gf
Fig. 1.2 : Composition of functions f and g
Definition : One-to-one Function
A function f : A → B is said to be one-to-one, if f(a1) = f(a2) implies
a1 = a2.
Groups & Coding Theory 1.47 Integers
a1 b1
a2 b2
a3 b3
b1
a1 b2
a2
b3
a3
b4
g is not one to on
Fig. 1.3 : g is not one-to-one
Definition : A function f from a set A to the set B is said to be onto
(or surjective and B if each element of B is the image of at least one
element of A. In symbols, f : A → B is onto if each element b in B there is
at least one element a in A such that f(a) = b.
f g
a1 a1
a2 b1 a2 b1
b2 b2
a3 a3
b3 b3
a4 a4
−1
4. If f is one-to-one and onto, then there is a function f : B → A,
such that
−1
(f f) (a) = a for all a in A and
−1
(ff ) (b) = b for all b in B.
Proof : We skip the proof and request students to prove the theorem
as these results are studied in earlier classes.
Note : The statements (2) and (3) can be stated alternatively as : The
composition of two one-to-one and onto functions is again one-to-one
and onto.
Think Over It
Points to Remember
• Well-ordering principle (WOP).
• Properties of divisibility.
• Division Algorithm, GCD, LCM.
• Euclid’s lemma.
• Unique factorization theorem.
• Equivalence relation, properties.
Groups & Coding Theory 1.49 Integers
• Modular arithmetic.
• Congruence relation modulo n and its properties.
• Addition and multiplication modulo n in Zn.
• Functions and composition of functions and properties.
Miscellaneous Exercise
[A] Multiple Choice Questions :
1. If a, b, c are integers and a | (bc), then ……
(a) a | b (b) a | c
(c) a divides both (d) all of these may be true
2. If gcd (a, b) = d > 1, then ……
(a) gcd
a , b = 1
d d
(b) ax + by = 1, for x, y,∈, Z
a b
(c) and are not relatively prime
d d
(d) none of these
3. For any integer a, a(a + 1) is always ……
(a) even integer. (b) odd integer.
(c) prime integer. (d) none of these.
4. For any integer a, a(a + 1) (a + 2) is ……
(a) even. (b) odd.
(c) square number. (d) none of these.
5. How many prime numbers divide 30!
(a) 10 (b) 40
(c) 25 (d) 3
6. What is the remainder when the following sum is divided by 4?
5 5 5
1 + 2 + …… + 20
(a) 0 (b) 2
(c) 3 (d) none of these
Groups & Coding Theory 1.50 Integers
2
7. If a is odd integer then the remainder when a – 1 divided by 8 is …
(a) 1 (b) 0
(c) 3 (d) 5
97
8. 25 ≡ …… (mod 97)
(a) 1 (b) 25
(c) 0 (d) none of these
9. The remainder when the sum 1! + 2! + 3! + …. + 1000 ! is divided by
12 is ……
(a) 9 (b) 5
(c) 0 (d) 11
10. If n > 4 is composite, then ……
2
(a) n | (n – 1)! (b) n | (n – 2)
2
(c) n | (n + 1) (d) none of these
11. If gcd(a, b) = 3 and lcm (a, b) = 30, if a = 6, then b = ……
(a) 30 (b) 15
(c) both 30 and 15 (d) none of these
12. If '≡n' is congruence relation modulo n on Z, then the number of
distinct equivalence classes corresponding to ≡n is ……
(a) n (b) less than n
(c) greater than n (d) none
Answers
Answers
7. If (a, b) = p, a prime, what are the possible values of (a2, b), (a3, b)
and (a2, b3)?
4 4 2
8. Evaluate (ab, p ) and (a + b, p ), given that (a, p ) = p and
3 2
(b, p ) = p , where p is pime.
9. Express in canonical form and hence find g.c.d. of 7007 and 2450.
10. List all the integers x in the range 1 ≤ x < 80, which satisfy
x ≡ 5 (mod 8).
– – – – –
11. Find all the pairs i and j , such that i . j = 1 in (a) Z3, (b) Z6,
(c) Z8, (d) Z11, (e) Z5, (f) Z12.
– – – – –
12. Express each of the following elements of Z5 as 0 , 1 , 2 , 3 , 4 .
__ __ __ __ ______
– –
– 1 , – 2 , (– 3 )2, (– 4) 3, (64 ) . (93) , 10001
13. Which elements satisfy the equation x2 = x? List all of them;
where x belongs to (a) Z6, (b) Z8, (c) Z7, (d) Z12.
Answers
(d) x = 7, y = 8;
3. x = – 12, y = 125.
4. x = – 5, y = 31.
8. p2, p
Groups & Coding Theory 1.54 Integers
9. 49.
10. 10.
– – – – – – – – – –
11. (a) 2 × 2 , (b) 5 × 5 , (c) 3 × 3 , 5 × 5 , 7 × 7
__ __
– – – – – – – – – – – –
(d) 2 × 6 , 3 × 4 , 5 × 9 , 7 × 8 , 10 × 10, (e) 2 × 3 , 4 × 4
– – – – – – – –
(f) 5 × 5 , 7 × 7 , 8 × 8 . In each case 1 × 1 is always there.
– – – – – –
12. 4 , 3 , 4 , 1 , 2 , 1 .
– – – – – –
13. (a) 1 , 3 , 4 , (b) No, (c) No, (d) 1 , 4 , 9 .
✍✍✍
Chapter 2…
Groups
In this chapter, we define the basic algebraic structure GROUP; and
see some examples of groups. Also, we will see the basic properties of the
group, which are simple consequences of the axioms that define group.
A=
a b and B = e f , where a, b, c, d, e, f, g and h are real
c d g h
numbers, then the addition of A + B is defined as :
A+B=
a b + e f = a + e b + f .
c d g h c + g d + h
2.1
Groups & Coding Theory 2.2 Groups
A⋅B=
a b e f = ae + bg af + bh
c d g h ce + dg cf + dh
5. If G = Zn, the set of all residue classes modulo n, in fact,
− − −
Zn = { 0, 1, 2, …, n − 1}.
Then, the addition modulo n tn which we have defined in
chapter 1 is a binary operation on Zn.
6. Similarly, the multiplication modulo n ‘⋅’ n is a binary operation
on Zn.
7. The usual multiplication of real numbers is a binary operation on
+
Q , the set of all positive rational numbers.
Properties of Binary Operations :
Let * be a binary operation on a set G, then :
1. * is said to be associative on G, if for any a, b, c in G.
(a * b) * c = a * (b * c) (Associativity)
2. * is said to be commutative on G if for any a, b in G,
a*b = b*a (Commutivity)
3. If there exists an element, usually denoted by e in G such that for
all a in G,
a*e = e*a=a
(Existence of identity element with respect to *)
4. For a in G, if there exists an element b in G, such that
a * b = b * a = e,
then b is called an inverse of a in G with respect to *.
In example 1, of binary operations, we know that addition ‘+’ of
numbers is associative, an it is commutative also. The number zero 0 in Z
is the identity with respect to +. For any a in Z, −a ∈ Z is the inverse fo a
in Z.
In example 3, of binary operations, the addition of matrices is
associative as the addition of numbers is associative. Also, the addition in
M2 × 2 (ú) is commutative.
Groups & Coding Theory 2.3 Groups
The matrix
0 0 in M
2 × 2 (ú) is the identity element and for
0 0
A=
a b in M (ú) −a −b is the inverse in M (ú).
c d 2×2
−b −d 2×2
Exercise 2.1
+
Similarly, the set Q , of all positive rational numbers is a
commutative group under usual multiplication of numbers.
*
Example 2.5 : The set ú of all non-zero real numbers is a group
* 1
under ordinary multiplication. The identity is 1. The inverse of a in ú is .
a
*
ú is an Abelian group.
*
Similarly Q , the set of non-zero rational numbers is a commutative
group under usual multiplication.
Example 2.6 : The set I of irrational numbers together with 1 under
usual multiplication is not a group, though it satisfies G1 and G3, satisfied
because the multiplication is not closed in I. For 2 is irrational but
2⋅ 2 = 2 which is not irrational.
Note : We have studied the topic of matrices in earlier classes. We
know how to add, multiply matrices, and many more concepts regarding
matrices. In the following, see some examples of group to matrices.
Example 2.7 : Let M2 × 2 (ú) denote the set of all 2 × 2 matrices with
real entries. Then M2 × 2 (ú) is Abelian group under matrix addition.
Note : The matrix addition is defined in example (3) of binary
operation, which is called componentwise addition.
The identity
1 0 is the identity element. The inverse of any matrix
0 1
A=
a b , det A = ad − bc is given by;
c d
detd A −b
det A d −b
ad − bc ad − bc
A
−1
= −c a
= −c a .
det A det A
ad − bc ad − bc
This is important non-Abelian group, and is called as general linear
group of 2 × 2 matrices over ú.
Remark : In above example (8), we can take entries from Q (rationals), C
(complex numbers), or Zp, where p is prime. Thus, we can obtain many
more examples of non-Abelian groups.
Example 2.9 : The set of 2 × 2 matrices with determinant 1 with
entries from ú (reals) is also a non-Abelian group. The identity element
is
1 0 and inverse − A =
a b where det A = ad − bc = 1 is
0 1 c d
−1
A =
d −b .
−c a
This is another important non-Abelian group is called a special linear
group of 2 × 2 matrices over ú and is denoted by SL(2, ú).
Note :
1. This example (9) is a special case of example (8).
2. In this case, again we can take Q, C and Zp, p-prime in place of ú
and get different examples of non-Abelian groups.
3. In example (7), we can take set of matrices of the same size m × n
over Z, or Q or C or Zk.
In example (8) and (9), we can consider matrices of size m × m
with given condition non-zero determinant and determinant 1
respectively.
Note : In chapter 1, we have studied addition and multiplication modulo
n and their properties.
− − −
Example 2.10 : The set Zn = { 0, 1, 2, …, n − 1} for n ≥ 1 of residue
classes modulo n is a Abelian group under addition of residue classes
Groups & Coding Theory 2.8 Groups
− −
modulo n. Clearly 0 is identity and for any j in Zn, n − j is the inverse of
−
j in Zn. This group is called the group of residue classes modulo n.
− − −
Example 2.11 : The set Zn = { 0, 1, 2, …, n − 1} is not group under
multiplication of residue classes modulo n, though closure axiom, the
− −
identity 1 and G1 follow, but the inverse of 0 under multiplication does
not exist.
Remark : The set M2 × 2 (ú) is not a group under matrix multiplication as
inverses do not exist. When determinant of the matrix is zero.
numbers. If w = cos
2π + i sin 2π , then by De Moivre’s, we see that,
n n
n 2 n−1 n n
U(Z = 1) = {1, w, w , …, w }, where w = 1. Then U(Z = 1) is an Abelian
i
group under complex multiplication. The identity is 1. For w , 1 < i < n,
n−i i i n−i n
w is inverse of w , since w , w = w = 1.
Note : The example (12) is a particular case of the example (13), with
n = 4. So for different values of n, we different groups of different size.
Example 2.14 : Let U(n) denote the set of all positive integers less
than n and relatively prime to n. That is.,
−
U(n) = { i ∈ Zn | 1 ≤ i < n and (i, n) = 1}.
Then we verify that U(n) is a group under multiplication modulo n.
− −
For i , j in U(n), (i, n) = 1, and (j, n) = 1, hence we know that (i ⋅ j, n) = 1.
Therefore i ⋅ j is in U(n), this proves that the multiplication modulo n is
closed in U(n). We know multiplication modulo n is associative, so G1
Groups & Coding Theory 2.9 Groups
− −
follows 1 is in U(n), which is identity. Now for any i in U(n), (i, n) = 1,
hence there exist j and k in Z s.t.
1 = i⋅j+n⋅k
Taking residues on both sides modulo n, we have
− − − − −
1 = i⋅j+n⋅k=i⋅j+n⋅k= i ⋅ j +n⋅ k
− − −
= i ⋅ j +0
− −
= i ⋅ j
− − −
Thus, there j in U(n) s.t. j is inverse of i in U(n). Thus, U(n) is a
group, in fact it is Abelian.
Note :
1. We have used the properties of residue classes, which we have
proved in chapter 1. So refer chapter 1 for this discussion.
2. In chapter 1, theorem 14, which is proved there. We can use this
theorem to show the existence of inverses in U(n).
− − − − −
Theorem 1 For i in Zn there exist j in Zn such that i ⋅ j = 1 if and
only if (i, n) = 1.
− − − −
Example 2.15 : U(12) = { 1, 5, 7, 11} is a group under multiplication
− − − −
modulo 12. Note that 1 is identity, inverse of 5 is 5 itself, inverse of 7 is
− − − − −
7 itself and inverse of π is π itself, since 5 ⋅ 5 = 25 = 1 (modulo 12).
Groups with finite number of element, we can prepare multiplication
table :
Mode 12 − − − −
1 5 7 11
− − − − −
1 1 5 7 11
− − − − −
5 5 1 11 7
− − − − −
7 7 1 11 5
− − − − −
11 11 7 5 1
Groups & Coding Theory 2.10 Groups
* − −
Example 2.16 : Zn = { 1, 2, …, n − 1} is a group under multiplication
modulo n if and only if n is prime.
*
Solution : Suppose n = p − a prime, then clearly Zn = U(n), and
hence is a group.
*
Conversely, suppose Zn is a group, to show that n is prime. Suppose
− − *
n is composite, say n = i ⋅ j, where i < i, j ≤ n − 1, so i and j are in Zn. So
− * * −
i in Zn must have inverse in Zn, but we know i in Zn has multiplicative
inverse in Zn if and only if (i, n) = 1, but we have (n, i) = j, but j > 1, hence
a contradiction. Therefore, n must be a prime.
* − − − −
Example 2.17 : In example 16, we take n = 5, so Z5 = { 1, 2, 3, 4} is a
group, similarly,
* − − − − − −
Z7 = { 1, 2, 3, 4, 5, 6} is a group.
Let us now see the simple consequences of group axioms.
OR
There is unique identity element in a group.
−
Proof : Let G be a group and suppose e and e are two identity
elements in G. Then by axiom of identity G2.
ee' = e, since e' is identity elements.
Also, ee' = e', since e' is identity element.
Thus, ee' = e = e', that is e' = e.
This proves that identity element in a group is unique.
Remark : From above theorem, we may speak of “the identity” of the
group and denote by “e”.
In a group, the right and left cancellation laws holds; that is,
ab = ac implies b = c and
ac = bc implies a = b
Groups & Coding Theory 2.11 Groups
Solution : Let A =
2 6 , then determinant of
3 5
det A = 2 × 5 − 3 × 6
det A = 10 − 18 = − 8 = 3 (mod 11)
1 −1
So, = 3 (mod 11)
det A
= 4 (mod 11) ‡ 3.4 = 12 = 1 (mod 11)
− 6.4 = 5.4 = 2.0 = 9 (mod 11)
∴ A
−1
=
5.4 − 6.4 = 9 9
− 3.4 2.4 10 8
Think Over It
Points to Remember
• Binary operation and examples.
• Definition of group and examples.
• Consequences of group axioms.
• Integral powers of elements in group.
Groups & Coding Theory 2.17 Groups
Miscellaneous Exercises
[A] Multiple Choice Questions :
1. Binary operation on a set G is a function ……
(a) from G × G → G (b) G → G
(c) G → G × G (d) None of these
2. The set of odd integers is not a group under addition because ……
(a) Addition is not associative
(b) Addition is not commutative
(c) Addition is not closed in the set
(d) None of the above
3. The set G = {5, 15, 25, 35} is a group under multiplication modulo 40,
then the identity in G is ……
(a) 5 (b) 15
(c) 25 (d) 35
4. The set {1, 2, 3, …, 10, 11} is not a group under multiplication modulo
12 because ……
(a) there is no identity
(b) multiplication is not associative
(c) 6 has not inverse in the set
(d) none of these
a a
5. The set G = a a a ∈ ú, a ≠ 0 is a group under matrix
multiplication. Then the identity element in G is ……
12 12 2 2
(a) 1 1 (b)
2 2
2 2
(c)
1 1 (d) None of these
1 1
Answers
Answers
2 2 2
5. In a group G, (ab) = a b for all a, b in G, then prove that G is
commutative group.
[D] Numerical Problems :
1. The set of natural numbers ù is not group under addition of
numbers. Which group axioms fail to hold ?
2 2 2
2. Let (a, b) be a fixed point in ú , define Ta, b : ú → ú by
T(x, y) = (x + a, y + b).
2
Then show that G = {Ta, b | a, b ∈ ú } is a group to under
composition of functions. Is G an Abelian group ?
3. Construct Cayley tables (multiplication table) for
− − − − − * − − − −
Z5 = { 0, 1, 2, 3, 4} and Z5 = { 1, 2, 3, 4} under addition and
multiplication, modulo 5 respectively.
*
4. In problem (3) above, find elements in Z5 and Z5 which are
inverses of itself.
Answers
3.
+ mod 5 − − − − − ⋅ mod 5 − − − −
0 1 2 3 4 1 2 3 4
− − − − − − − − − − −
0 0 1 2 3 4 1 1 2 3 4
− − − − − − − − − − −
1 1 2 3 4 0 2 2 4 1 3
− − − − − − − − − − −
2 2 3 4 0 1 3 3 1 4 2
− − − − − − − − − − −
3 3 4 0 1 2 4 4 3 2 1
− − − − − −
4 4 0 1 2 3
− − − − −
4. In Z5, 3, (as 3 + 3 = 6 = 1)
* − − − − −
In Z5, 4 (as 4 ⋅ 4 = 16 = 1)
5. A
−1
=
2 2
4 2
6. A=
1 −1 and B = 2 3
2 3 1 −2
7. Hint: Use mathematical induction.
8. Hint: Use induction.
9.
Mod 9 − − − −
1 3 5 7
− − − − −
1 1 3 5 7
− − − − −
3 3 1 7 5
− − − − −
5 5 7 1 3
− − − − −
7 7 5 3 1
10. One can take GL(2, ú) as one.
11. (a) 3a + 4b (b) − 3a + 2(b + c) (c) − 2(2a + b) + 3 = 0.
✍✍✍
Chapter 3…
Finite Groups and Subgroups
In this chapter, we shall study the important part of groups, namely
subgroups, we shall start with finite groups, order of an element of a
group, tests for subgroups, cyclic subgroups, generators. Next, apart from
many examples of groups that we have seen in chapter 1, in present
chapter. We will study another class of groups, namely permutation
groups in some details. Lastly, cosets of subgroups and the basic
important Lagrange’s theorem.
3.1
Groups & Coding Theory 3.2 Finite Groups & Subgroups
Illustrative Examples
Example 3.1 : State the order of the groups and find the orders of
each element in the groups :
* − − − − − −
(i) Z7 = { 1, 2, 3, 4, 5, 6} under multiplication mod 7.
− − − −
(ii) U(8) = { 1, 3, 5, 7} under multiplication mod 8.
(iii) G = {1, −1, i, −i} under complex multiplication.
− − − − − −
(iv) U(14) = { 1, 3, 5, 9, 11, 13} under multiplication modulo 14.
*
Solution : (i) The order of the group is 6 is |Z7| = 6.
*
Now, we calculate orders of elements in Z7.
−
Clearly, | 1| = 1.
− − − − − − − − − −
For 2; 2, 2 ⋅ 2 = 4, 2 ⋅ 2 ⋅ 2 = 8 = 1 (mod 7)
−3 − −
So, 2 = 1 (mod 7), hence, | 2| = 3
− − − − − −
For 3 : 3, 3 ⋅ 3 = 9 = 2 (mod 7)
− − − − − − − − − − − − − −
3 ⋅ 3 ⋅ 3 = 2 ⋅ 3 = 6, 3 ⋅ 3 ⋅ 3 ⋅ 3 = 6 ⋅ 3 = 18 = 4 (mod 7)
−5 −4 − − − −
Next 3 = 3 ⋅ 3 = 4 ⋅ 3 = 12 = 5 (mod 7)
−6 −5 − − − −
3 = 3 ⋅ 3 = 5 ⋅ 3 = 15 = 1 (mod 7)
−
Thus, | 3| = 6
− − − − −
For 4 : 4, 4 ⋅ 4 = 16 = 2 (mod 7)
−3 − − − −
4 = 2 ⋅ 4 = 8 = 1 (mod 7)
−
∴ | 4| = 3
− − −2 − −3 − − −
For 5 : 5, 5 = 4 (mod 7), 5 = 4 5 = 5 (mod 7)
−4 − − −
5 = 6 ⋅ 5 = 2 (mod 7)
−5 − − −
5 = 2 ⋅ 5 = 10 = 3 (mod 7)
−6 − − −
5 = 3 ⋅ 5 = 15 = 1 (mod 7)
Groups & Coding Theory 3.3 Finite Groups & Subgroups
−
∴ | 5| = 6
− − −2 −
For 6 : 6, 6 = 36 = 1 (mod 7)
−
∴ | 6| = 2
(ii) |U(8)| = 4
− −2 − − −
| 1| = 1, 3 = 9 = 1 (mod 8) ∴ | 3| = 2
− −2 − −
5, 5 = 25 = 1 (mod 8) ∴ | 5| = 2
− −2 − −
7, 7 = 49 = 1 (mod 8) ∴ | 7| = 2
(iii) |G| = 4
2
|1| = 1, −1, (−1) = 1 ∴ |−1| = 2
2 3 4
i, i = −1, i = −i, i = 1 ∴ |i| = 4
2 3
−i, (−i) = −1, (−i) = −1 ⋅ (−i) = i
4
(−i) = i(−i) = 1 ∴ |−i| = 4
(iv) |U(14)| = 6
− − −2 − −3
| 1| = 1, 3, 3 = 9, 3 = 27 = 13 (mod 14)
−4 −4 − − −
3 = 3 ⋅ 3 = 13 ⋅ 3 = 11 (mod 14) = − 3 (mod 14)
−5 −4 − − − − −
∴ 3 = 3 ⋅ 3 = (− 3) ( 3) = − 9 = 5 (mod 14)
−6 −5 − − − −
∴ 3 = 3 ⋅ 3 = 5 ⋅ 3 = 15 = 1 (mod 14)
−
∴ | 3| = 6
− −2 − −3 − −
5, 5 = 25 = − 3 (mod 14), 5 = − 3 × 5 = − 15
− −4 − − − −5 − −
= − 1 (mod 14), 5 = − 1 × 5 = − 5, 5 = − 5 × 5
− −
= + 3 = + 3 (mod 14)
−6 − − −
5 = + 3 × 5 = + 15 = 1 (mod 14)
−
∴ | 5| = 6
− − − −
9; 9, 9 = − 5 (mod 14)
Groups & Coding Theory 3.4 Finite Groups & Subgroups
−2 − − −
9 = − 5 × − 5 = 25 = − 3 (mod 14)
−
| 9| = 3
− 2 − − −
11 : 11 = − 3 (mod 14) ∴ 11 = − 3 × − 3 = 9 (mod 14)
2 − 3 − −
11 = − 5 (mod 14), 11 = − 5 × 11 = − 55 = 1 (mod 14)
2 − −
13 : 13 = − 1 (mod 14) ∴ 13 = − 1 × − 1 = 1 (mod 14)
∴ |13| = 2
Example 3.2 : State the order of the following groups and find
orders of the elements :
− − − − − −
(i) Z6 = { 0, 1, 2, 3, 4, 5} under addition mod 6.
− − − − − − −
(ii) Z7 = { 0, 1, 2, 3, 4, 5, 6} under addition modulo 7.
(iii) Z the group of integers under addition.
(iv) M2 × 2 (ú) under matrix addition.
−
Solution : (i) |Z| = 6. Of course | 0| = 1.
− − − − − − − − − − − − − −
For 1 : 1, 1 + 1 = 2, 1 + 1 + 1 = 3, 1 + 1 + 1 + 1 = 4
− − − − − − − − − − − − − −
1 + 1 + 1 + 1 + 1 = 5, 1 + 1 + 1 + 1 + 1 + 1 = 6 1 = 0
−
∴ | 1| = 6.
− − − − − − − − − −
For 2 : 2, 2 + 2 = 4, 2 + 2 + 2 = 6 = 0
−
∴ | 2| = 3
− − − − − − −
For 3 : 3, 3 + 3 = 2 3 = 6 = 0
−
∴ | 3| = 2
− − − − − −
For 4 : 4, 4 + 4 = 8 = 2 (mod 6) so
− − − − − − −
4+4+4=2+4=6=0
−
∴ | 4| = 3
Groups & Coding Theory 3.5 Finite Groups & Subgroups
− − − − − − −
For 5 : 5, 5 + 5 = 10 = 4 (mod 6) is 2 5 = 4 (mod 6)
− − − − − − −
∴ 4 5 = 2 5 + 2 5 = 4 + 4 = 8 = 2 (mod 6)
− − − − − −
∴ 65 = 45 + 25 + 2 + 4 = 6 = 0
−
∴ | 5| = 6.
−
(ii) |Z7| = 7, | 0| = 1
− −
It is clear that, 7 1 = 0, and 7 is smallest, hence | 1| = 7.
− − − − − − − − − −
For 2 : 2 + 2 = 4, 2 + 2 + 2 = 3 ⋅ 2 = 6 = − 1 (7)
− − − − − − −
∴ 6 ⋅ 2 = 3 ⋅ 2 + 3 ⋅ 2 = − 1 + − 1 = − 2 = 5 (mod 7)
− − − − − − −
∴ 7⋅2=6⋅2+2=5+2=7=0
−
∴ | 2| = 7.
For 0 in Z, |0| = 1.
3.2 Subgroups
It is to be noted that there are group examples which are subsets of
some group (higher) with same binary operation.
For example, the group G = {1, − 1, i, − i} under complex
*
multiplication and clearly G ⊂ C the group of non-zero complex numbers
under multiplication. The group of integers Z under addition is subset of
the group Q-set of rationals (or ú-set of reals) under addition. This
situation is described by a special term : subgroup.
Definition : Subgroup
Let G be a group. A subset H of G is said to be a subgroup of G if H
itself is group under the operation that of G.
Notation : We use the notation H ≤ G to mean that H is a subgroup
of G. The notation H < G is to mean that H is a subgroup of G but H ≠ G.
In this case, the subgroup H is called proper subgroup of G.
For any group G with identity e, {e} is clearly a group under the
operation that of G this subgroup {e} is called trivial subgroup of G. The
subgroup of G which is not {e} is called non-trivial subgroup of G.
Note : Zn under addition modulo n is not a subgroup of Z, since addition
modulo is not operation of Z.
Tests for a Subset to be a Subgroup :
Given a subset H of a group, G, to determine whether H is a
subgroup of G, we need to determine all the axioms of group. However,
this work is reduced by the following three theorems/tests.
Remark : The example 3.5 above suggest when we say that a subset of a
group is not subgroup ? The answer is that one of the group axioms fails
to hold. That is :
(i) the identity element is not in the subset.
(ii) some element in the subset has no inverse element in the subset.
(iii) there exist two elements in the subset whose product is not in it.
i j i−j
are in H. But H is finite, so we must have a = a for i > j. Then a = e, and
i−j i−j−1
since a ≠ e, i − j > 1. Thus, we have a =a⋅a = e and therefore
−1 i − j − 1 i − j − 1
a =a , but i − j − 1 ≥ 1 implies that a ∈ H, so H is closed
under inverse, by theorem 2 H is a subgroup of G.
The following theorem suggests the technique to finite some
subgroups of a groups.
Let G be a group and a is any element in G. We denote by <a> the
n n n
set {a | n ∈ Z}. In particular, <a> = {a | n ∈ Z}, then set of all a , where n
is negative as well as positive and zero also.
In addition group, this is given by <a> = {na | n ∈ Z}.
n
Since, we have defined a = e, if n = 0 and na = 0, if n = 0, clearly, the
identity element belongs to <a>.
Illustrative Examples
Example 3.7 : Find the subgroups generated by the elements of the
groups given below.
* − − − − − −
(i) Z7 = { 1, 2, 3, 4, 5, 6} under multiplication mod 7.
(ii) G = {1, −1, i, − i} under complex multiplication.
− − − −
(iii) U(14) = { 1, 3, 5, 9, 11, 13} under multiplication modulo 14.
Which of the above groups are cyclic and what are the generators ?
Solution : (i) From example 3.1, we have seen that :
− − − − − − − − − −
< 2> = { 2, 2 ⋅ 2 = 4, 2 ⋅ 2 ⋅ 2 = 8 = 1}, that is
− − − −
< 2> = { 1, 2, 4}
− − − − − − −3 − −4 − −5 −
< 3> = { 3, 3 ⋅ 3 = 9 = 2, 3 = 6, 3 = 4, 3 = 5
−6 −
3 = 15 = 1}
− − − − − − *
= { 1, 2, 3, 4, 5, 6} = Z7
− − − − − − − *
Similarly, < 5> = { 1, 2, 3, 4, 5, 6} = Z7
*
Thus, Z7 is cyclic.
− − − −
< 4> = { 1, 2, 4}
− − −
< 6> = { 1, 6}
− −
< 1> = { 1}
− − − *
Thus, we see that < 2> = < 4>, < 6> are proper subgroups of Z7.
* − − *
Z7 is cyclic group and 3 and 5 are generators of Z7. Since,
− − *
< 5> = < 3> = Z7.
− −
(ii) One can find that < 0> = { 0}
− − − − − − − − − − −
< 1> = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
− − −
= < 3> = < 7> = < 9>
− − − − − − − −
<27> = { 0, 2, 4, 6, 8} = < 8> = < 4> = < 6>
− − −
< 5> = { 0, 5}
− − − − −
Thus, { 0, 2, 4, 6, 8} is a proper subgroup of Z10 is a proper subgroup
− − − − −
of Z10 and the generators are 2, 4, 6 and 8. < 5> is also a proper
− − − −
subgroup. Z10 is cyclic group and the generators are 1, 3, 7, 9.
(iii) Z is cyclic and 1 and −1 are the only generators of Z.
For n⋅1 = 1+1+1+…+1=n if n > 0
n-times
= 0 if n = 0
= −n if n < 0
∴ Z = <1>
Similarly, we can show Z = <−1>. For any non-zero integer, say 3,
<3> = {n ⋅ 3 | n ∈ Z}
= {… 3, 0, 3, 6, …}
is a proper subgroup of Z.
<3> is denoted by 3Z - the integer multiplies of 3. Thus,
<3> = 3Z
For any integer m,
<m> = mZ = {…, −2m, −m, 0, m, 2m, …}
is a proper subgroup of Z if m ≠ 1, and m ≠ − 1.
If m = 0, mZ = {0}
Definition : Centre of a Group
Let G be a group. The subset Z(G) defined as
Z(G) = {a ∈ G | ax = xa for all x ∈ G} is called the center of G.
Thus, the center, Z(G) of a group G is the subset of elements of G
which commute with every element of G.
Groups & Coding Theory 3.13 Finite Groups & Subgroups
Illustrative Examples
− − −
Example 3.10 : Is U(12) = { 1, 5, 7, 11} under multiplication modulo
12 a cyclic group ? If yes, find its generators.
− − −
Solution : Clearly, < 1> = { 1} so 1 cannot be generator
− − −2 −
< 5> = { 5, 5 = 25 = 1 (mod 12)}
− −
= { 1, 5} ≠ U(12)
−
So, 5 is not generator of U(12).
− − −
< 7> = { 1, 7} ≠ U(12) and
−
<11> = { 1, 11} ≠ U(12)
Thus, there is no element in U(12) which generates whole of U(12).
Therefore, U(12) is not cyclic group.
Note : We have seen in example 9 that U(15) is not cyclic.
The following theorem is the first property of cyclic group.
i j
Theorem 7 Criterion for a = a
2 n−1
Claim : <a> = {e, a, a , …, a }.
n − 1 i j
Clearly, the elements of e, a, …, a are distinct. Because if a = a
i−j
with 0 ≤ j < i ≤ n − 1, then a = e; where 0 ≤ i − j ≤ n − 1 < n, which is
n
contradiction to the fact that n is least positive integer such that a = e.
n − 1
Hence, i = j. Thus, e, a, …, a are distinct elements and are in <a>.
n − 1 m
Therefore, {e, a, …, a } ⊆ <a>. To establish reverse inclusion, let a is
an arbitrary element in <a>. By applying division algorithm to m to and n,
there exist integers q and r such that
m = qn + r, with 0 ≤ r < n
m qn + r qn r n q r r
Then, a = a =a ⋅ a = (a ) ⋅ a = e ⋅ a
n
Since, a = e
m r m 2 n − 1
Thus, a = a and 0 ≤ r < n, hence a ∈ {e, a, a , …, a }, so this
proves that
2 n−1
<a> ⊆ {e, a, a , …, a }
2 n−1
Thus, we proved <a> = {e, a, a , …, a } and the claim is established.
i j
To prove that a = a implies that n divides i − j.
i j i−j
So suppose a = a , then a = e.
Again by division algorithm to i − j and n, there exist integers q and r
such that i − j = nq + r, with 0 ≤ r < n
i−j nq + r nq r n q r r
Then, a = a =a ⋅ a = (a ) ⋅ a = e ⋅ a
i−j r i−j r
Thus, a = a and a = e, so that a = e with r < n, but n is the least
n
positive integer with a = e, hence r = 0, then i − j = qn, so that n divides
i − j.
Conversely, if n divides i − j, then i − j = nq for integer q, and
i−j nq n q q i j
a =a = (a ) = e = e, so that a = a .
K
Corollary : a = e implies that |a| divides K
K
Let G be a group and let a be an element of order n in G. If a = e,
then n divides K.
K 0
Proof : Since, a = e = a , then by last part of theorem 7 shows that n
divides K − 0, i.e. n divides K.
Remark : The above theorem 7, provides the way of multiplying
two elements in a finite or infinite cyclic group. That is if |a| = n,
i j
then multiplication in <a> is similar as in Zn. For if a , a ∈ <a>, then
i j i+K i j K
a ⋅ a = a , if i + j = K mod n, then a ⋅ a = a ∈ <a>.
Groups & Coding Theory 3.18 Finite Groups & Subgroups
−2 −5 −5 −
generators of U(18) are 5 and 5 . We know, 5 = − 7 (mod 18) = 11.
−
Thus, 5 and 11 are only generators of U(18).
Classification of Subgroups of Cyclic Groups :
The following theorem gives the account of number of subgroups of
finite cyclic group and the method of finding them.
m n
Thus, r must be zero and n = mq. So k = |H| = |<a >| = Thus, it
m
n m n/k
follows that m = and H = <a > = <a >
k
Let us verify the theorem for particular example.
Illustrative Examples
Example 3.12 : Let G = <a> be a cyclic group where order of a is 36.
Then from above theorem 9; the subgroup of <a> are precisely those of
k
the form <a >, where k is divisor of 36. Moreover, if k is a divisor of 36,
36/k
the subgroup of order k is <a >.
The divisors of 36 are 1, 2, 3, 4, 6, 9, 18 and 36.
2 35 36
1 divides, so <a> = {e, a, a , … , a } of order = 36.
1
2 2 32 34 36
2 divides, so <a > = {e, a , …, a , a } of order = 18.
2
3 3 30 33 36
3 divides, so <a > = {e, a , …, a a } of order = 12.
3
4 4 28 32 36
4 divides, so <a > = {e, a , …, a , a } of order = 9.
4
Groups & Coding Theory 3.22 Finite Groups & Subgroups
6 6 30 36
6 divides, so <a > = {e, a , …, a } of order = 6.
6
9 9 18 27 36
9 divides, so <a > = {e, a , a , a } of order = 4.
9
18 8 36
18 divides, so <a > = {e, a } of order = 2.
18
36 36
36 divides, so <a > = {e} of order = 1.
36
n/k
Thus, in general, if <a> has order n and k divides n, then <a > is the
unique subgroup of order k.
−
Similarly, if the group is Zn = < 1>, then by theorem 9, we state the
following important special case.
Corollary : Subgroup of Zn
n
For each divisor k of n, the set < > is the unique subgroup of Zn of
k
order k; moreover, these are the only subgroups of Zn.
Example 3.13 : List the subgroups of Z36.
− − −
< 1> = { 0, 1, …, 35} of order 36
− − − 36
< 2> = { 0, 2, …, 34” of order 18 =
2
− − − 36
< 3> = { 0, 3, …, 33} of order 12 =
3
− − − 36
< 4> = { 0, 4, …, 32} of order 9 =
4
− − − 36
< 6> = { 0, 6, …, 30} of order 6 =
6
− − − 36
< 9> = { 0, 9, …, 27} of order 4 =
9
− 36
<18> = { 0, 18} of order 2 =
18
− 36
<36> = { 0} of order 1 =
36
Groups & Coding Theory 3.23 Finite Groups & Subgroups
−1 −1
Also, we have a = (a ) . By the same argument as above applied
−1 −1 −1 −1 −1 −1 −1
with (a ) in place a and a in place of a, we have <(a ) > ⊆ <a >.
That is,
−1
<a> ⊆ <a > ‡ (a−1)−1 = a … (ii)
From equations (i) and (ii), we get
−1
<a > = <a>
Example 3.17 : Determine the subgroup lattice for Z12 and U(12).
− − − −
Solution : We know that, < 2>, < 3>, < 6> and < 4> are the proper
− − − −
subgroups of Z12. The inclusion relation is < 4> ⊂ < 2>, < 6> ⊂ < 2> and
− −
< 6> ⊆ < 3>. Therefore, the lattice for Z12 is
<1>
<2>
<3>
<6>
<4>
<0>
Fig. 3.1
− − −
For U(12) = { 1, 5, 7, 11} under multiplication modulo 12, we have,
− − − − − − −
< 5> = { 1, 5}, < 7> = { 1, 7}, <11} = { 1, 11}
− − − −
< 1> = { 1}. So < 5>, < 7>, <11>
are proper subgroups U(12). Therefore, lattice for U(12) is
U(12)
< >
<7> 11 <5>
<1>
Fig. 3.2
Groups & Coding Theory 3.25 Finite Groups & Subgroups
1 n
Example 3.18 : Show that H = 0 1 n ∈ Z is a cyclic subgroup
of GL(2, Z).
Solution : Let A =
1 1 , then
0 1
2
A =
1 1 1 1 = 1 1 + 1 = 1 2
0 1 0 1 0 1 0 1
Let us assume that for in k ≥ 1,
k
A =
1 k , then
0 1
A
k+1 k
= A ⋅A=
1 k 1 1 = 1 1 + k
0 1 0 1 0 1
Thus, A
k+1
=
1 k + 1
0 1
Thus, by mathematical induction
n
A =
1 n ∀ n ≥ 1 integer
0 1
0
A =
1 0
0 1
For n < 0, let m = −n m is positive integer. Therefore,
n
A = A
−m m −1
= (A ) =
1 m−1
0 1
=
1 −m = 1 n
0 1 0 1
− − −
By theorem 10, the number of elements of order 10 are 4, 3 ⋅ 4, 7 ⋅ 4,
− − −
9 ⋅ 4, since, 1, 3, 7, 9 are relatively prime to 10. Therefore, 4, 12, 28, 36
are members of Z40 of order 10.
α =
1 2 3 4 5
4 5 1 3 2
Groups & Coding Theory 3.27 Finite Groups & Subgroups
Here the images of elements of the domain set are placed directly
below corresponding to each element in the domain set.
Similarly, the permutation β of the set {1, 2, 3, 4, 5, 6} is given by
β(1) = 3, β(2) = 1, β(3) = 4, β(4) = 5, β(5) = 6, β(6) = 2 can be written in
array form as
β =
1 2 3 4 5 6 .
3 1 4 5 6 2
How to find composition of two permutations ?
Let φ =
1 2 3 4
3 1 4 2
and ψ =
1 2 3 4
2 1 4 3
Then in usual composition φψ, we have
φψ(1) = φ[ψ(1)] = φ(2) = 1
φψ(2) = φ[ψ(2)] = φ(1) = 3
(φψ) (3) = φ[ψ(3)] = φ(4) = 2 and
(φψ) (3) = φ[ψ(4)] = φ(3) = 4.
Thus, φψ maps 1 to 1, 2 to 3, 3 to 2 and 4 to 4.
Thus, φψ =
1 2 3 4
1 3 2 4
We will use the convenient as follows :
1 2 3 4 1 2 3 4
fy =
3 1 4 2 2 1 4 3
=
1 2 3 4
1 3 2 4
This looks like usual multiplication and so we call it multiplication of
permutation. This multiplication (composition) is carried out from right to
left by going from top to bottom, then again from top to bottom.
Notation : The group of permutation of a set A is denoted by SA.
In particular, if A = {1, 2, 3, …, n} it is denoted by Sn. For A = {1, 2, 3},
it is denoted by S3, for A = {1, 2, 3, 4}, it is denoted by S4, and so on.
The group Sn is called the symmetric group of degree n.
Groups & Coding Theory 3.28 Finite Groups & Subgroups
Illustrative Examples
Example 3.20 : The Symmetric Group S3.
For A = {1, 2, 3}, the group of permutations of A is S3. There are six
elements (permutations) of A. These elements are given by :
ε=
1 2 3 , α = 1 2 3 , α2 = 1 2 3
1 2 3 2 3 1 3 1 2
β=
1 2 3 , αβ = 1 2 3 , α2β = 1 2 3
1 3 2 2 1 3 3 2 1
Note that α
−1 2
= α , since αα =
2 1 2 3 1 2 3 = 1 2 3 and
2 3 1 3 1 2 1 2 3
3
α = ε.
−1 −1 2 −1 2
One can work out that β = β, (αβ) = αβ and (α β) = α β; and
2 2 2 2
that β = (αβ) = (α β) = e
Also, βα =
1 2 3 1 2 3 = 1 2 3 ≠ αβ.
1 3 2 2 3 1 3 2 1
Therefore, S3 is non-Abelian group.
Let us write down the Cayley table for S3.
2 2
ε α α β αβ αβ
2 2
ε ε α α β αβ αβ
2 2
α α α ε αβ αβ β
2 2 2
α α ε α αβ β αβ
2 2
β β αβ αβ ε α α
2 2
αβ αβ β αβ α ε α
2 2 2
αβ αβ αβ β α α ε
−1
While completing the table, we are using the fact βα = α β, and the
above expressions.
The Symmetric Group Sn :
The generalization of example (20) is Sn, the group of permutations
of A = {1, 2, 3, …, n}. The element α in Sn have the form
α =
1 2 … n
… (*)
α(1) α(2) … α(n)
α(1) is image of 1 under α, α(2) is image of 2 under α, and so on.
Groups & Coding Theory 3.29 Finite Groups & Subgroups
Theorem 11 Sn, the symmetric group of degree n has order n!; that is,
|Sn| = n! and Sn is non-Abelian group when n ≥ 3.
Proof : We observe that, there are n choices of α(1). Once, α(1) has
been determined, there are n − 1 possibilities for α(2), since α is 1-to-1,
we must have α(1) ≠ α(2). After choosing α(2), there are n − 2 possibilities
for α(3). Continuing in this way, we see that Sn must have n(n − 1) (n − 2)
… 3.2.1 = n! elements. Thus, |Sn| = n!.
To see that Sn is non-Abelian for n ≥ 3, let
α =
1 2 3 4 … n
2 3 1 4 … n
and β =
1 2 3 4 … n
2 1 3 4 … n
as n ≥ 3, this is possible. Then,
αβ =
1 2 3 4 … n and
3 2 1 4 … n
βα =
1 2 3 4 … n
1 3 2 4 … n
Therefore, αβ ≠ βα
since, αβ(1) = 3 and (βα) (1) = 1,
so αβ(1) ≠ βα(1)
Thus, Sn is non-Abelian for n ≥ 3.
Note : The example 20 can viewed in other way :
Let ABC be an equilateral triangle AD, BE, CF be the meridians. We
label A vertex as 1, B vertex as 2, and C vertex as 3. Now we rotate this
triangle through 120° the orthocenter O in anticlockwise direction, then
the triangle occupies the some space on the paper as it occupied
originally. This motion of the triangle more 1 to 2, 2 to 3 and 3 to 1,
hence we can express it as permutation.
α =
1 2 3
2 3 1
Groups & Coding Theory 3.30 Finite Groups & Subgroups
E 3 D
120º 120º
1 120º 2
A B
F
Fig. 3.3
Similarly, we can rotate the triangle again through 120° in
anticlockwise direction, this gives
α =
2 1 2 3
3 1 2
Next, again if we rotate the triangle through 120° in anticlockwise
direction then the triangle comes back to its original position, which we
denote by
ε =
1 2 3
1 2 3
Similarly, reflections of the triangle through 180° along each meridian
AD, BE and CF, we get three more permutations,
β =
1 2 3 − reflection through AD
1 3 2
αβ =
1 2 3 − reflection through CF
2 1 3
αβ =
2 1 2 3 − reflection through BE.
3 2 1
Thus, the example 20, is group of motions of a triangle as asserted
above.
Any combination of those 6 motions gives rise the motion in S3 itself.
That is one reason, S3 is called the group of symmetries.
Example 3.21 : Let ABCD be a square and work out the motions
described as in the note, then we obtain 8 such motions : 4 - rotation of
the square about the center through 0°, 90°, 180°, and 270° in
anticlockwise direction. We denote by;
Groups & Coding Theory 3.31 Finite Groups & Subgroups
ε=
1 2 3 4 rotation through 0° - orthogonal position
1 2 3 4
and ρ =
1 2 3 4 rotation through 90°.
2 3 4 1
There are four more motions due reflection through 180° in the
horizontal axis, in vertical axis and in two diagonals. We denote one by
φ =
1 2 3 4
2 1 4 3
Thus, the set of all such motions of a square is denoted by D4; and
2 3 2 3
D4 = {ε, ρ, ρ , ρ , φ, ρφ, ρ φ, ρ φ} which is group under multiplication
of permutations or composition of functions. We can observe the
following formulae or expression that can be verified by actual
computations :
4 2 2 2 2 3 2
ρ = ε, φ = ε, (ρφ) = ε, (ρ φ) = ε, (ρ φ) = ε
2 2 2
that is, |ρ| = 4, |φ| = |ρφ| = |ρ φ| = |φ φ| = 2, |ρ | = 2.
−1
ρφ = φρ ≠ φρ, that is, this shows that D4 is non-Abelian group of
order 8.
−1
Note that ρ is obtained by writing the top row as bottom and
bottom row as top row and then rearrange the top in sequence, 1, 2, 3, 4
maintaining the images.
ρ
−1
=
2 3 4 1 = 1 2 3 4
1 2 3 4 4 1 2 3
In general the inverse of any element (permutation) in Sn is found in
this manner.
2 3 2 3
Thus, D4 = {ε, ρ, ρ , ρ , ρφ, ρ φ, ρ φ}
It is clear that D4 is a subgroup of S4. Note |Sn| = 24.
CYCLE NOTATION
Definition : Let A = {1, 2, …, n}. Then an expression of the form
α = (a1, a2, …, am), where a1, a2, …, am are from A, is called a cycle of
length m or an m-cycle and is a permutation α such that α(a1) = a2,
α(a2) = a3, …, α(am − 1) = am and α(am) = a1, α(b) = b, for all b’s in A, which
do not appear in α.
Groups & Coding Theory 3.32 Finite Groups & Subgroups
φ =
1 2 3 4 5 6 7 8
2 6 3 1 5 4 7 8
How to multiply two or more cycles ?
Let α = (4, 3, 5, 1) and β = (2, 3, 6, 5, 1) in S8 be cycles of length 4 and
5 respectively. Then the multiplication αβ is worked out as the product of
the corresponding permutations. In present case α is a permutation
α =
1 2 3 4 5 6 7 8
4 2 5 3 1 6 7 8
and β =
1 2 3 4 5 6 7 8
2 3 6 4 1 5 7 8
αβ =
1 2 3 4 5 6 7 8
2 5 6 3 4 1 7 8
This can be carried out as
αβ = (4, 3, 5, 1) (2, 3, 6, 5, 1)
= (1, 2, 5, 4, 3, 6)
Example 3.22 : If α = (2, 4, 6) (6, 2), β = (2, 1, 3, 7) (4, 5) are in S8.
Find the product αβ.
Solution : Here α, β are themselves product of cycles. We can find
first precise permutations α and β, then find their product. Other way is
directly, we can multiply α with β. First we have,
αβ = (2, 4, 6) (6, 2) (2, 1, 3, 7) (4, 5).
We find image of any symbol in the right most cycle, then image of
image in previous cycle and so on. We keep in mind that if the symbol is
not present in the cycle, then it fixes that symbol. Let us start with 1.
Image of 1 in (4, 5) is 1 itself, image of 1 in (2, 1, 3, 7) is 3, image of 3 in
(6, 2) is 3, image of 3 in (2, 4, 6) is 3. So ultimately, in the product 1 maps
3. This can be depicted as 1 → 1 → 3 → 3 → 3. now start with 3, and find
its in the rightmost cycle, its image of image in previous cycle, and find
ultimate image of 3 in the product, so 3 → 3 → 7 → 7 → 7, so 3 maps to
7 in the product. We continue this till we get image 1, and we stop. This
gives one cycle of the product. next we repeat the above process for the
symbol which does not occur in the first that, we have found. We process
this, we have,
αβ = (1, 3, 7, 2) (4, 5, 6) (8).
Groups & Coding Theory 3.33 Finite Groups & Subgroups
αβ =
1 2 3 4 5 6 7 8
3 1 7 5 6 4 2 8
Properties of Permutations :
In above example, we have seen how to shift from cycle notation to
permutation notation, in the following theorem, we prove converse.
Definition : Two cycles are said to disjoint if they have no symbol in
common.
Any two disjoint cycles of a finite set commute with each other.
OR
If α = (a1, a2, …, am) and β = (b1, b2, …, bn) are two disjoint cycles,
that is, they no symbol in common, then
αβ = βα
Proof : Let α and β be cycles of the set
A = {a1, a2, …, am; b1, b2, …, bm; c1, c2, …, ck}
where c’s are members of A which are fixed by both α and β. To prove
that αβ = βα, we need to show that (αβ) (x) = βα(x) for every x in A.
If x is one of a’s, xy ai, then
(αβ) (ai) = α(ai) ‡ β(ai) = ai
= ai + 1 ‡ α(ai) = ai + 1
Also, (βα) (ai) = β(ai + 1)
= ai + 1 ‡ β fixes a’s
Thus, (αβ) (ai) = (βα) (ai) for i = 1 to m
Groups & Coding Theory 3.35 Finite Groups & Subgroups
Let α = (a1, a2, …, am) be cycle of the set A, then order of α is m; that
|α| = m, the length of the cycle.
m
Proof : Observe that, α = α ⋅ α … α … (i)
m-factors
So, if we start with a1 and find the image of a1 in the right most cycle
th
(− m factor), which is of course a12, then image of a2 in the previous
th
factor ((m − 1) factor) in (1), which is a3, and continuing this way, we
arrive with am as the image of am − 1 in the second factor, then image of
m
am in the first factor is a1, thus α maps a1 to a1 itslef. Similar argument
m m
show that image of any ai, 1 ≤ i ≤ m is ai itself under α . Thus, α fixes all
a1, a2, …, am, and rest of the symbols in A are fixed by α itself, hence
m
α = ε - the identity permutation. Therefore, |α| = m, the length of the
cycle.
Theorem 15 Order of a Permutation
k
that, a = e in a group then |a| divides k. Now; since α and β are disjoint
k k k k k
αβ = βα, therefore (αβ) = α ⋅ β = ε, since α = ε, β = ε. Therefore, the
order of αβ say l must divide k. But,
l l l l −l
(αβ) = α ⋅ β = ε, so that α = β .
However, it is clear that if α and β have no common symbols, the
l − l
same is true for α and β , since raising a cycle to a power does not
l −l
introduce any new symbol. But a and β are equal and have no common
l
symbols, they must both be the identity, because every symbol in α is
−l
fixed by β and vice versa. It follows, then, that both m and n must divide
l. This means that k, the least common multiple of m and n, divides l also.
This shows that k = l.
Thus, we proved theorem when the permutation is a product of two
disjoint cycles or a single cycle. The general case involving more than 2
cycles can proved.
We have seen that a cycle of length 2 is called 2-cycle or
transposition. It is denoted by (a, b), by theorem 14 order of (a, b) is 2. It
is interesting to note that 2-cycle interchanges the images of a and b;
that, a maps to b and b maps to a. We have the following theorem
related to 2-cycles.
(ii) β =
1 2 3 4 5 6 7 8 9
4 5 6 2 1 7 8 9 3
Solution : (i) α = (1, 2, 4, 5, 6, 7, 3)
= (1, 3) (1, 7) (1, 6) (1, 5) (1, 4) (1, 2)
(ii) For β, we need to express it as product of disjoint cycles. We have
β = (1, 4, 2, 5) (3, 6, 7, 8, 9)
= (1, 5) (1, 2) (1, 4) (3, 9) (3, 8) (3, 7) (3, 6)
Note :
1. The number of 2-cycles in the expression of a permutation as
2-cycles is not unique.
For example, we take α as given in the above example 23, we have
α = (1, 2, 4, 5, 6, 7, 3)
= (1, 3) (1, 7) (1, 6) (1, 5) (1, 4) (1, 2) … (i)
= (1, 3) (1, 7) (1, 6) (1, 5) (1, 4) (1, 2) (2, 4) (4, 2) … (ii)
In expression (i) α is a product of 6. 2-cycles, whereas in (ii)
expression it is product of 8-cycles. In expression (ii) the addition (2, 4)
(4, 2) is just identity so makes no change in α.
The number of 2-cycles in any expression of a permutation is always
odd or even. This is important result we will prove a particular case first.
Lemma : If ε = β 1, β 2, …, β r, where β’s are 2-cycles, then r is even.
Proof : Since, 2-cycles are not identity elements, s r ≠ 1. If r = 2, we
are done. So suppose r > 2 and we proceed by induction. We know that
(i, j) = (j, i), so the product β 1β 2 can be expressed in one of the following
forms shown on the left :
(a, b) (a, b) = ε
(a, b) (a, c) = (b, c) (a, b)
(a, b) (c, d) = (c, d) (a, b)
(a, b) (b, c) = (b, c) (a, c)
If the first case occurs, we may delete β 1β 2 from original product
and will obtain ε = β 3β 4 … β r and therefore, by induction Principle
Groups & Coding Theory 3.38 Finite Groups & Subgroups
(17) and the definitions of even and odd permutation assures the
following.
Observations :
1. The product of two even permutations is even.
2. The product of two odd permutations is even.
3. The product of one even and one odd permutations must be
odd.
4. The identity permutation ε is even permutation.
−1
5. if a permutation α is even then α must be even.
We justifies this observation.
−1
Since, αα = ε and ε is even permutation, α is even permutation,
−1
the third observation above asserts that α must even.
−1
6. If a permutation β is odd, then β must be odd permutation.
−1 −1
Since, ββ = ε, is even permutation and β is odd permutation β
must odd permutation.
The above observations appeal the following theorem.
n!
Theorem 19 For n > 1, the order of the alternating group An is , that
2
n!
is |An| = .
2
Proof : Suppose α1, α2, …, αk be the total even permutations in Sn
and β 1, β 2, …, β r be the total odd permutations in Sn. Since, we know
|Sn| = n!, so we must have k + r = n!.
Now the 2-cycle (1, 2) is odd permutation and αi’s are even
permutations, (1, 2) α1, (1, 2, 2α2, … (1, 2) αk must be all odd
permutations but there are only r-odd permutations, so we must have
k ≤ r … (i)
Similarly, (1, 2) β 1, (1, 2) β 2, … (1, 2) β r all even permutations since, all
β i’s are odd permutation but there are only k-even permutations hence
we must have,
r ≤ k … (ii)
From equations (i) and (ii), we get k = r.
n!
∴ k = ; that
2
n!
|An| =
2
β =
1 2 3 4 5 6 7
7 6 1 2 3 4 5
γ = (1, 2, 3, 4) (3, 5, 2, 1)
(i) Express each permutation as a product of disjoint cycles.
(ii) Find the order of each permutation.
(iii) Check each permutation whether it is even or odd permutation.
Solution : (i) α is already a product of disjoint cycles
β = (1, 7, 5, 3) (2, 6, 4)
γ is not a product of disjoint cycles, hence we have
γ = (1, 4) (2) (3, 5) = (1, 4) (3, 5)
(ii) |α| = order of α
= l.c.m. of the lengths of disjoint cycles of α
Groups & Coding Theory 3.41 Finite Groups & Subgroups
= l.c.m. (3, 4) = 12
= 12
|β| = l.c.m. (4, 3) = 12
|γ| = l.c.m. (2, 2) = 2
∴ |γ| = 2
(iii) We have, α = (1, 2, 4) (5, 3, 7, 8)
= (1, 4) (1, 2) (5, 8) (5, 7) (5, 3)
There are five 2-cycles hence, α is odd permutation
β = (1, 7, 5, 3) (2, 6, 4)
= (1, 3) (1, 5) (1, 7) (2, 4) (2, 6)
There are five 2-cycles hence β is odd permutation.
γ is clearly even permutation.
β=
1 2 3 4 5 6 .
6 2 3 1 4 5
−1
Compute (a) α , (b) βα, (c) αβ.
Solution : (a) α
−1
=
4 1 2 3 6 5 interchanging the rows in α.
1 2 3 4 5 6
Now, write top row in sequence 1, 2, 3, 4, 5, 6 maintaining their
images in the bottom row.
α
−1
=
1 2 3 4 5 6 .
2 3 4 1 6 5
(b) βα =
1 2 3 4 5 6 1 2 3 4 5 6
6 2 3 1 4 5 4 1 2 3 6 5
=
1 2 3 4 5 6
1 6 2 3 5 4
(c) αβ =
1 2 3 4 5 6 1 2 3 4 5 6
4 1 2 3 6 5 6 2 3 1 4 5
=
1 2 3 4 5 6
5 1 2 4 3 6
Groups & Coding Theory 3.42 Finite Groups & Subgroups
αβ =
1 2 3 4 5 6
5 1 2 4 3 6
= (1, 5, 3, 2) (4) (6) ∴ |αβ| = 4.
βα =
1 2 3 4 5 6
1 6 2 3 5 4
= (1) (2, 6, 4, 3) (5) ∴ |βα| = 4.
(b) To determine even and odd permutation, we express the
permutation as a product of 2-cycles. For this, we use (a) above and we
have,
α = (1, 4, 3, 2) (5, 6)
= (1, 2) (1, 3), (1, 4) (5, 6)
There are 4. 2-cycles, so α is even permutation.
β = (1, 6, 5, 4) (2) (3)
= (1, 4) (1, 5) (1, 6), so β is odd.
−1
α = (1, 2, 3, 4) (5, 6)
= (1, 4) (1, 3) (1, 2) (5, 6)
−1
∴ α is even.
αβ = (1, 5, 3, 2) (4) (6)
= (1, 2) (1, 3) (1, 5)
∴ αβ is odd permutation.
βα = (1) (2, 6, 4, 3) (5)
= (2, 3) (2, 4) (2, 6)
∴ βα is odd permutation.
Groups & Coding Theory 3.43 Finite Groups & Subgroups
Solution : Let α =
1 2 3 and β = 1 2 3 . Then αβ = 1 2 3
2 1 3 3 2 1 3 1 2
So we have α = (1, 2), β = (1, 3) and αβ = (1, 3, 2). ∴ |α| = 2, |β| = 2 and
|αβ| = 3.
Example 3.32 : Find the group elements α and β, so that |α| = 3,
|β| = 3 and |αβ| = 5.
Solution : For |α| = 3 = |β|, α and β must be 3-cycles. |αβ| = 5, so αβ
must be a 5-cycle. Therefore, we choose α, β 3-cycles such that the αβ is
5-cycle. This can be done in many ways. For example, α = (2, 3, 5) and
β = (2, 6, 7), so that αβ = (2, 6, 7, 3, 5), and |α| = 3 = |β| and |αβ| = 5.
− − −
Example 3.33 : Let H = { 0, 4, 8} be a subgroup of
− − − −
Z12 = { 0, 1, 2, 3 …, 11}
−
For 1 ∈ Z12, the coset (left ) of H is
− − − − − − − − − −
1 + H = { 1 + 0, 1 + 4, 1 + 8} = { 1, 5, 9}
− − − − − − − − −
2 + H = { 2 + 0, 2 + 4, 2 + 8} = { 2, 6, 10}
− − − − − − − − −
3 + H = { 3 + 0, 3 + 4, 3 + 8} = { 3, 7, 11}
− − − − − − − − − −
4 + H = { 4 + 0, 4 + 4, 4 + 8} = { 4, 8, 0} = H
One compute in similar manner, and see that
− − − − − − − − − −
0 + H = { 0 + 0, 0 + 4, 0 + 8} = { 0, 4, 8} = H
− − − − − −
1 + H = { 1, 5, 8} = 5 + H = 9 + H
− − − −
2 + H = { 2, 6, 10} = 6 + H = 10 + H
− − − −
3 + H = { 3, 7, 11} = 7 + H = 11 + H
Thus, there are only four distinct left cosets of H in G, usually we write
− − − − − −
these as 0 + H, 1 + H, 2 + H and 3 + H, 1 + H 1 is the representative of
− − −
1 + H, 5 + H and 9 + H. Thus, the set of cosets of H in G is written as
− − −
{H, 1 + H, 2 + H, 3 + H}.
Example 3.34 : We know that the symmetric group S3 is given by
2 2
S3 = {ε, α, α , β, αβ, α β}, where, ε - is identity
α =
1 2 3 = (1, 2, 3)
2 3 1
α =
2 1 2 3 = (1, 3, 2)
3 1 2
β =
1 2 3 = (2, 3)
1 3 2
αβ =
1 2 3 = (1, 2)
2 1 3
2
αβ =
1 2 3 = (1, 3)
3 2 1
Groups & Coding Theory 3.46 Finite Groups & Subgroups
−1 −1
x = ah1 and x = bh2. x = ah1 gives a = xh1 = (bh2)h1 , since
−1
x = bh2. That is a = b(h2h1 ).
−1 −1 −1
Therefore, aH = b(h2h1 ) H = b(h2h1 ) H = bH, since h2h1 ∈ H, by
−1
property (2), (h2h1 )H = H. Thus, we get aH = bH.
−1
4. We have aH = bH if and only if (b a) H = H, then by property (2)
−1
b a ∈ H.
5. To show that |aH| = |bH|, we define a correspondence f : aH → bH
by f(ah) = bh, for h ∈ H.
Suppose f(ah1) = f(ah2) for h1, h2 ∈ H.
This gives, bh1 = bh2. Then by cancellation law in group implies
that h1 = h2. Therefore, ah1 = ah2. So f is 1-to-1. Next suppose
y ∈ bH is any element then y = bh2, for some h2 in H, then we
have x ∈ ah2 ∈ aH, such that f(x) = f(ah2) = bh2 = y. Thus, f is
onto. Thus, there is 1-to-1 correspondence from aH onto bH,
therefore, |aH| = |bH|.
6. We have, aH = Ha if and only if
−1 −1 −1
(aH)a = (Ha)a = H(aa ) = He = H
−1
∴ aHa = H
7. Suppose aH is a subgroup of G then aH contains the identity
element e, so e = ah for some h ∈ H.
−1 −1
This gives a = eh = h ∈ H.
so a ∈ H.
Conversely, suppose a ∈ H, then by property (2) aH = H is a
subgroup of G.
Definition : Partition of a Set
Let S be a set. A set of subsets A1, A2, …, Ak of a S is said to form a
partition of S if :
(i) A1 ∪ A2 ∪ … ∪ Ak = S and
(ii) Ai ∩ Aj = φ, for each i ≠ j.
For example, let S = {a, b, c, d, e, f} and A1 = {a, d, f}, A2 = {b},
A3 = {c, e}.
Then S = A1 ∪ A2 ∪ A3 and A1 ∩ A2 = φ, A1 ∩ A3 = φ and A2 ∩ A3 = φ.
So, A1, A2 and A3 form a partition of S.
Note : The properties 1, 3 and 5 of the theorem 20 and definition of a
partition of a set, we see that the left cosets of a subgroup H of G
partition G into block (sets) of equal size.
Groups & Coding Theory 3.49 Finite Groups & Subgroups
Example 3.38 : If G = GL(2, ú) and H = SL(2, ú). Then for any matrix A.
x y ∈ GL(2, ú) | H = H
AH = B =
z w B A
−1
But, AH = BH ⇒ B A ∈ H.
−1 −1 −1 1
Therefore det (B A) = 1 or det B det A = 1. or det B = . or
det A
det A = det B.
Thus, AH is the set of matrices (2 × 2) with the same determinant as A.
For example, if A =
1 0 , then H is the set of all 2 × 2 matrices in
0 3 A
G of determinant B.
And if A =
3 1 , then H is the set of all 2 × 2 matrices in G with
2 5 A
determinant 13.
Now, we are in position to state the important theorem of Lagrange
for finite groups. In the syllabus, the proof of theorem is not
expected.
Illustrative Examples
15 13
Example 3.39 : Compute 5 modulo 7 and 7 modulo 11.
7
Solution : By Fermat’s little theorem 7 is prime, so 5 = 5 modulo 7.
7 7
∴ 5 ⋅ 5 = 5 ⋅ 5 modulo 7
14
That is, 5 = 4 modulo 7
15
or 5 = 4 × 5 modulo 7
15
5 = 6 modulo 7.
Similarly, 11 is prime,
10
7 = 7 mod 11
2
7 = 5 mod 11
13 10 2
∴ 7 = 7 ⋅ 7 ⋅ 7 = 7 ⋅ 5 ⋅ 7 mod 11
13
∴ 7 = 2 mod 11.
The Converse of Lagrange’s Theorem is False.
Example 3.40 : Show by an example that the converse of Lagrange’s
theorem is not true.
Solution : The alternating group A4 of degree 4, is a subgroup of S4
and is of order 12. |A4| = 12 and 6 divides 12, but A4 has no subgroup of
order 6. For, suppose H be a subgroup of A4 of order 6. As, we know that
A4 is a subgroup of S4 which contains all the even permutations in S4, and
3-cycles are even permutations. H being of order 6 and |A4| = 12, we
must have 3-cycles in H. If a is any 3-cycle, then |a| = 3. |A4 = H| = 2.
Groups & Coding Theory 3.53 Finite Groups & Subgroups
Since, we know that there are only two distinct left coset of H in A4.
2
Therefore at most two cosets H, aH and a H are distinct. That is, one of
the cosets must be equal to any one of the other two. But H = aH implies
2 2 3 2
a ∈ H, H = a H ⇒ aH = a(a H) = a H = H implies that a ∈ H and aH = a H
2
implies a H = H which implies a ∈ H. Thus, equality of any pair of three
cosets implies that a ∈ H. This shows that all eight cycles belong H, which
is impossible. Therefore, A4 has no subgroup of order 6.
Applications of Cosets to Permutation Groups :
Definition : Stabilizer of a Point
Let G be a group of permutation of a set S. For each i in s, let
stabG(i) = {φ ∈ G | φ(i) = i}
We call stabG(i) the stabilizer of i in G.
For example, S3 = {ε, (1, 2, 3), (1, 3, 2), (1, 3), (1, 2), (2, 3)} is a group
of permutations of the set S = {1, 2, 3}.
Then stabS3(1) = {φ ∈ S3 | φ (i) = i}
Think Over It
• G = GL(2, ú) and A =
1 1 . The centralize of A. Center of G.
1 0
• U(50) = {i | 1 ≤ i < 50, (i, 50) = 1}. Is U(50) cyclic ?
• Five examples of non-Abelian groups.
• View S3, the symmetric group of degree as a result of motions of
equilateral triangle.
• D4, as motions of a square.
3
• Cosets of a plane passing through origin in ú .
Groups & Coding Theory 3.56 Finite Groups & Subgroups
Points to Remember
• Order of a group, order of an element.
• Subgroup and subgroup tests.
• Examples of subgroup, center of a group.
• Cyclic groups, generators of cyclic groups.
• Classification of subgroups of cyclic groups.
• Permutation of a set, permutation group of a set. Examples.
• Cycle notation, Disjoint cycles, 2-cycles.
• Properties of permutations.
• Order of a permutation.
• Even and odd permutations.
• The alternating group of degree n An.
• Cosets of subgroup in a group.
• Properties of cosets.
• Lagrange’s theorem and its corollaries.
• Stabilizer and orbit of a point.
Miscellaneous Exercise
[A] Multiple Choice Questions :
1. Let H = {(1), (1, 2) (3, 4), (1, 3) (2, 4), (1, 4) (2, 3)} be a subgroup of A4.
Then the number of cosets of H in A4 is ……
(a) 3 (b) 4
(c) 2 (d) 6
2. Let G be a group of order 12, then which is not the possible order of
elements in G is ……
(a) 4 (b) 6
(c) 3 (d) 8
3. Let H = {…, −9, −6, −3, 0, 3, 6, 9, …} be a subgroup of Z under
addition. 2 + H is coset of H in Z. Which of the following is identical
coset with 2 + H ?
(a) 3 + H (b) 4 + H
(c) 5 + H (d) 7 + H
Groups & Coding Theory 3.57 Finite Groups & Subgroups
6. Let α =
1 2 3 4 , then α−1 is ……
2 3 1 4
(a)
1 2 3 4
(b)
1 2 3 4
4 1 3 2 3 1 2 4
(c)
1 2 3 4
(d) None of the above
1 3 2 4
7. The order of the alternating group A4 of degree 4 is ……
(a) 24 (b) 12
(c) 4 (d) 6
8. The alternating group An of degree n contains ……
(a) all even permutations in Sn.
(b) all odd permutations in Sn.
(c) exactly half even and half odd permutations.
(d) none of these
9. Let G be a cyclic group of order 20, then the generator of G is ……
(a) 10 (b) 15
(c) 17 (d) 5
10. The number of generators of Z13 is ……
(a) 12 (b) 10
(c) 11 (d) 5
11. The order of U(14) is ……
(a) 14 (b) 6
(c) 5 (d) 10
12. Which of the following statements is true ?
(a) Every group of order 4 is cyclic.
(b) Every group of order 5 is cyclic.
(c) Any group of order 7 is Abelian but not cyclic.
(d) None of the above.
Groups & Coding Theory 3.58 Finite Groups & Subgroups
13. Let G be an Abelian group, Z(G) the center of G, and for a ∈ G, C(a) is
the centralizer of a in G. Then ……
(a) Z(G) ≠ C(a) (b) Z(G) = C(a) = G
(c) C(a) ≠ G (d) Z(G) ≠ G
Answers
3. The order of
−1 0 in SL(2, ú) is 2.
0 −1
4. U(12) = {1, 5, 7, 11} is cyclic group.
5. Z6 has two proper subgroups.
n
6. If in a group G, a = e, then |a| ≥ n.
7. Every permutation can be written as product of disjoint cycles.
8. Inverse of odd permutation is odd.
9. Any group of prime order is cyclic.
10. Let H = {…, −8, −4, 0, 4, 8, …} be a subgroup of Z under
addition. Then the number of cosets of H in Z is 5.
Answers
17. State only Lagrange’s theorem for finite groups. Is the converse
of the Lagrange’s theorem true ? Justify.
18. State and prove orbit stabilizer theorem.
[D] Numerical Problems :
1. Find the order of the group order of each element in the group.
Z10, U(8), U(12), S3.
2. Prove that an Abelian group that contains two elements of order
2 must have a subgroup of order 4.
3. Suppose that H is a proper subgroup of Z under addition and H
contains 18, 30 and 40. Determine H.
4. Let A =
0 −1 , B = 0 1 be matrices in SL(2, ú). Find |A|,
1 0 −1 −1
|B|, |AB| .
n/k
5. If |a| = n and k divides n, prove that |a | = k.
6. Find a cyclic subgroup of order 4 in U(40).
7. Find the order of the group U(15) and order of each element in
U(15).
8. Prove that in a group, an element and its inverse have the same
order.
9. Find all the generators of U(50).
10. Find an example of a non-cyclic group, all of whose proper
subgroups are cyclic.
11. Let G = <a> and |a| = 24. List the generators for the subgroups
of order 8.
−1
12. Let G be a group and a ∈ G, then prove that <a > = <a>,
13. If a cyclic group has an element of infinite order, how many
elements of finite order does it have ?
14. For any element a in any group G, prove that <a> is a subgroup
of C(a).
15. Let n = 5, 9, 10, 14. Determine for which value of n U(n) is cyclic,
list all the generators in case cyclic.
16. List all the elements of Z40, that have order 10.
Groups & Coding Theory 3.61 Finite Groups & Subgroups
1 n
17. Prove that H = n ∈ Z is a cyclic subgroup of GL(2, ú).
0 1
18. Let α =
1 2 3 4 5 and β = 1 2 3 4 5 , then find βα.
2 4 3 5 1 5 4 1 2 3
19. If α =
1 2 3 and β = 1 2 3 . Then show that βα = α−1β.
2 3 1 1 3 2
20. Let α =
1 2 3 4 and β = 1 2 3 4 , show that βα = α−1β.
2 3 4 1 2 1 4 3
21. Let α and β be as in example (20), find the order of α and β.
23. Express α =
1 2 3 4 5 as product of disjoint cycles. Then
2 4 3 5 1
express α as product of 4. 2-cycles and as product of 6 2-cycles.
(c)
1 2 3 4 5 6 7
7 6 1 2 3 4 5
(d) (1, 5, 6, 8), (2, 7, 3, 9, 10), (4, 12).
(a) (1, 3, 7, 6, 5)
(c)
1 2 3 4 5 6 7 8
1 3 8 7 6 5 2 4
(d)
1 2 3 4
2 3 4 1
27. Let α =
1 2 3 4 5 6 7 8 . Find α−1 and |α−1| .
1 3 8 7 6 5 2 4
Groups & Coding Theory 3.62 Finite Groups & Subgroups
28. Let α = α =
1 2 3 4 5 6 7 and
4 5 6 7 2 3 1
β=
1 2 3 4 5 6 7 . Express α and β as :
6 3 1 5 4 2 7
(a) product of disjoint cycles.
(b) product of 2-cycles.
29. Show that, if H is a subgroup of Sn, then either every permutation
in H is an even permutation or exactly half of them are even.
30. Do the odd permutations in Sn form a group > Why ?
−1
31. Let α and β belong to Sn. Then prove that, βαβ and α are both
even or both odd.
32. Let n be positive integer. If n is an odd, is an n-cycle an odd or an
even permutation ? If n is even, is an n-cycle an odd or an even
permutation.
33. Show that a permutation with odd order must be an even
permutation.
34. Let G = {(1), (1, 3, 2) (4, 6, 5) (7, 8), (1, 3, 2) (4, 6, 5), (1, 2, 3)
(4, 5, 6), (1, 2, 3) (4, 5, 6) (7, 8), (7, 8)}
Then for each i in S = {1, 2, 3, 4, 5, 6, 7, 8}, find OrbG(i) and
StabG(i).
35. Let H = {…, −15, −10, −5, 0, 5, 10, 15, …}, find all the left cosets
of H in Z.
3
36. Suppose that a has order 15. Find all the left cosets of <a > in
<a>,
37. Let G be a group of order 50. What are possible orders of the
subgroups of G ?
38. Suppose that K is a proper subgroup of H and H is proper
subgroup G. If |K| = 42, |G| = 420, what are the possible orders of
H?
39. Suppose that |G| = 65, prove that every proper subgroup of G is
cyclic.
40. If |G| = 33. What are the possible orders of for the elements of G?
41. Let |G| = 8. Show that G must have an element of order 2.
Groups & Coding Theory 3.63 Finite Groups & Subgroups
Answers
17. A =
1 1 and H = <A>.
0 1
18. βα =
1 2 3 4 5 .
4 2 1 3 5
Groups & Coding Theory 3.64 Finite Groups & Subgroups
27. α
−1
=
1 2 3 4 5 6 7 8 , |α1| = 10.
1 7 2 8 6 5 4 3
28. (a) α = (1, 4, 7), (2, 5), (3, 6)
β = (1, 6, 2, 3) (4, 5), (7)
(b) α = (1, 7), (1, 4), (2, 5), (3, 6)
β = (1, 3), (1, 2), (1, 6), (4, 5)
30. No, closures fails.
34. OrbG(1) = {1, 3, 2} = OrbG(2) = OrbG(3).
OrbG(4) = {4, 6, 5} = OrbG(5) = OrbG(6)
OrbG(7) = {7, 8} = OrbG(18)
StabG(7) = {(1), (1, 3, 2), (4, 5, 6), (1, 2, 3), (4, 5, 6)}
StabG(1) = StabG(20 = StabG(3) = StabG(4) = StabG(5) =
StabG(6) = {(1), (7, 8)}.
35. H, 1 + H, 2 + H, 3 + H, 4 + H.
3 3 6 9 12
36. <a > = {e, a , a , a , a }
3 4 7 10 13
a + <a > = {a, a , a , a , a }
2 3 2 5 8 11 14
a + <a > = {a , a , a , a , a }
3
These are the only three left cosets of <a > in <a>
37. 1, 2, 5, 10, 25, 50.
38. 84, 210.
40. 1, 3, 11, 33.
✍✍✍
Chapter 4…
Coding Theory
The American mathematician Claude E.
Shannon (1916 - 2001), who worked at the
Bell laboratories, published a paper in 1948
that described a mathematical theory of
communication and thereby founded the field
of communication and thereby founded the
field of information theory. Shortly thereafter,
Richard Hamming and his colleagues at Bell
Claude E. Shannon
laboratories laid the foundations for error
(1916 - 2001) correcting codes.
In 1949, Shannon published the paper “The Communication Theory of
Secretary Systems”, which broke new ground in the field of cryptology.
The field was dormant until 1975, when two researchers at Stanford
University discovered public key cryptology, which resulted in a burst of
activity in this area. In 1976 three researchers at M.I.T. discovered public
key cryptosystem, known as the RSA (Rivest, Shamir, and Adelman)
system, which was widely used.
4.1 Introduction
In today’s modern world lot information (data) is transformed front
one place (device) to another place (device). This transformation of data is
called transmission of the data and the channel used is called
transmission channel. The transmission of data may be a simple task of a
computer terminal interacting with mainframe computer 200 metre away
via a satellite that is orbiting in space 30,000 km from the earth or from
telephone call or a letter to another part of the country. The basic
problem in transmission of data is that of receiving the data as sent and
not receiving a distorted piece of data. The distortion (error) may be
caused by a umber of factors like whether equipment used, human error,
thermal noise or any sort of noise.
4.1
Groups & Coding Theory 4.2 Coding Theory
m
through the transmission channel and is received as an element x1 ∈ B .
In actual practice, the transmission may suffer disturbances, which are
generally called noise, due whether, electrical problems and so on, that
may cause at 0 to be received as 1 or vice versa. Thus, because of noise,
we get a situation where word received is different from the word that
was sent, that is, x ≠ x1. If an error occurs then x1 could be any element of
m
B . This situation is shown in the following Fig. 4.1.
Word Word
m m
xÎB xt Î B
transmitted received
Fig. 4.1
The basic task in the transmission of information is to reduce the
likelihood of receiving a word that differs from the word that was sent.
This is enhanced by encoding functions.
Encoding function : Choose an integer n > m and a one-to-one
m n
function e : B → B . This function e is called an (m, n) encoding
m
function and we view it as a means of representing every word in B as a
n m
word in B . If b ∈ B , then e(b) is called the code word representing b.
The additional 0’s and 1’s can provide the means to detect or correct
errors. The following Fig. 4.2 depicts, what we defined.
m Word
Word b Î B Encoded Word transmission m
e
n xt Î B
to be sent x = e(b) Î B channel
received
Fig. 4.2
n
Note : If transmission channel is noiseless, then x1 = x for all x ∈ B . In
m
this case, x = e(b) is received for each b ∈ B , since e is known function, b
can be identified.
We say that a code word x = e(b) has been transmitted with k or
fewer errors if x and x1 differ in at least 1 but not more than k positions.
m n
We say that the (m, n) encoding function e : B → B detects k or
fewer errors if whenever x = e(b) is transmitted with k or fewer errors,
then x1 is not a code word, that is, x1 ≠ x = e(b).
n
For x ∈ B , the number of 1’s in x is called the weight of x and is
denoted by |x|.
Groups & Coding Theory 4.4 Coding Theory
Illustrative Examples
6
Example 4.1 : Find the weight of each of the following words in 3 .
(a) x = 011000, (b) x = 010101, (c) x = 111000, (d) x = 000000,
(e) x = 111110.
Solution : (a) |x| = 2, (b) |x| = 3, (c) |x| = 3, (d) |x| = 0 and (e) |x| = 5.
m m + 1
Example 4.2 : The encoding function e : B → B is called the
m
parity (m, m + 1) check code, where for b = b1 b2 … bm ∈ B define.
e(b) = b1b2 … bm bm+1, with
0 if |b| is even
bm+1 =
1 if |b| is odd
Observe that bm+1 is zero if and only if the number of 1’s in b is an
even number. From this it follows that the every code word e(b) has even
weight. A single error in transmission of a code word will change the
received word to word of odd weight and therefore can be detected. In
similar way, we see that any odd number of errors can be detected.
For a concrete illustration of this encoding function, let m = 2. Then
e(00) = 000
e(01) = 011
Code words
e(10) = 101
e(11) = 110
Suppose, that b = 11. Then x = e(b) = 110. If the transmission channel
transmits x as x1 = 111, then |x1| = 3 and we know that an odd number of
error has occurred.
Note : For the above encoding function, if the received word has even
weight, then we cannot conclude that the code word was transmitted
correctly.
n
Hamming distance : Let x and y be the words in B . The Hamming
distance δ(x, y) between x and y is the weight |x ⊕ y| of x ⊕ y. Thus, the
distance between x = x1, x2, …, xm and y = y1, y2, …, ym is the number of
values of i such that x ≠ y, that is the number of positions in which x and y
differ.
Example 4.3 : Find the distance between x and y.
(a) x = 10110101, y = 11100110
(b) x = 11100011, y = 11001011
Groups & Coding Theory 4.5 Coding Theory
m n
Theorem 2 Let e : B → B be an (m, n) encoding function. Then e can
detect k or fewer errors if and only if its minimum distance is at least
k + 1.
3 6
Example 4.5 : Consider the (3, 6) encoding function e : B → B
define by
e(000) = 000000
e(001) = 110101
e(010) = 110000
e(100) = 011010
Code words
e(011) = 111000
e(101) = 101111
e(110) = 001110
e(111) = 111111
How many errors will e detect ?
Solution : Now in this case, there are 56 distinct pairs of code
words, so we need to calculate 56 distances in all. But looking at the
theorem 6 (a), the distance is a symmetric function. So, we need to find
only 28 distances. one can compute some of these 28 distances and see
that these are : 4, 2, 3, 3, 5, 3, 6, 2, 5, 3, 3, 5, 2, 3, 1. Since, we come across
the minimum distance of one of the pairs is 1,
3
so min {(δ(e(x), (e(y)) | x, y ∈ B } = 1.
Therefore, no error can be detected by this encoding function.
Example 4.6 : Consider the encoding function given in example 4.22.
As we have seen that the minimum distance of e is 2. Therefore, in this
case, e can detect k or fewer errors if k + 1 ≤ 2, that is k ≤ 1.
Therefore, e can detect one or no error.
GROUP CODES :
n
We know that, <B , ⊕> is an abelian group, here we consider
n
encoding functions that make use of this property of B .
m n
An (m, n) encoding function e : B → B is called a group code, if
m m
e(B ) = {e(b) | b ∈ B } = Range of e
n
is a subgroup of B .
Groups & Coding Theory 4.7 Coding Theory
Note :
n
(i) From definition of subgroup, we know that N is a subgroup of B
n
if (a) the identity of B is N, (b) for any x, y in N, x ⊕ y ∈ N and
(c) for any x ∈ N its inverse is in N. The property, (c) need not be
n
verified, since every element of B is inverse of itself.
n n
(ii) As B is Abelian, every subgroup of B is a normal subgroup.
(iii) By Lagrange’s theorem of finite groups, the possible number of
n n n
subgroups of B is the number divisors of |B | = 2 .
2 6
Example 4.7 : Consider (2, 6) encoding function e : B → B defined
by e(00) = 000000
e(10) = 110111
Code words
e(01) = 011100
e(11) = 101011
Show that this encoding function is a group code.
Solution : We must show that the set of all code words
N = {000000, 110111, 011100, 101011}
6 6
is a subgroup of B . Clearly the identity of B is in N. If we verify all the
possibilities for any x, y, in N, x ⊕ y in N follows. Hence, N is a subgroup
6
of B , hence e is a group code.
2 6
Example 4.8 : Consider the encoding function e : B → B defined by
e(00) = 000000, e(10) = 111100, e(01) = 001100 and e(11) = 100001.
Show that e is not a group code.
6
Solution : Though the identity of B is in N, N is not a subgroup
6
of B . As can be seen that x = 111100 and y = 001100 are in N but
x ⊕ y = 110000 is not in N. Hence, this encoding function is not a group
code.
m n
Theorem 3 Let e : B → B be a group code. Then the minimum
distance of e is the minimum weight of a non-zero code word.
2 6
Example 4.9 : Consider the (2, 6) encoding function e : B → B
defined as in example 4.28. then by actual computations the minimum
distance between the distances of the district pairs of the code is 3 and
on the other hand the minimum weight among the weights of non-zero
code words of e is 3. Thus, the theorem 8 is verified.
Groups & Coding Theory 4.8 Coding Theory
10 1
1
1
1
0
0
0
0
0
1
1 1 0 0 1 1is a 4 × 6 Boolean matrix.
0 0 1 1 0 0
Example 4.10 : Let A and B 3 × 4 Boolean matrices, where
1 0 1 1 0 0 1 1
A = 0 1 1 0 and B = 1 1 1 0
0 0 0 1 1 1 0 0
1 0 1 1 0 0 1 1
then
A⊕B = 0 1 1 0 ⊕ 1 1 1 0
0 0 0 1 1 1 0 0
1 + 0 0 + 0 1 + 1 1 + 1
= 0+1 1+1 1+1 0+0
0 + 1 0 + 1 0 + 0 1 + 0
1 0 0 0
= 1 0 0 0
1 1 0 1
Thus, if A = [aij] and B = [bij] are m × n Boolean matrices, the addition
of A and B is defined as mod 2 sum A ⊕ B as m × n Boolean matrix
C = [cij], where,
cij = aij + bij, 1 ≤ i ≤ m, 1 ≤ j ≤ n (+ is addition in B).
Let D = [dij]m × f ad E = [cij]p × n be Boolean matrices. Then
D * E = F = [fij]m × n where fij = dij ⋅ eij + di2 ⋅ e2j + … + dip ⋅ epi
(1 ≤ i ≤ m, 1 ≤ j ≤ n)
is Boolean product of D and E.
1 1 0
1 0
1 1 =
0 1
Example : Consider,
0 1 1 * 1 0
0 1
Groups & Coding Theory 4.9 Coding Theory
h
h11 h12 … h1r
!
21 h22 … h2r
! !
h hm2 … hmr
H =
m1
1 0 … 0
0 1 … 0
!
n − m = r rows
! !
0 0 … 1
Whose last r rows from the r × r identity matrix, is called a parity
check matrix.
m n
We use H to define an encoding function eH : B → B as follows :
m
If b = b1 b2 … bn ∈ B , let
x = eH(b) = b1b1 … bm x1 x2 … xn
where, x1 = b1h11 + b2 h21 + … + bm hm1
x2 = b1h12 + b2h12 + … + bmhm2 … (1)
! !
xr = b1 h1r + b1 h2r + … + bm hmr
n −
Theorem 6 Let x = y1 y2 … ym x1 x2 … xr ∈ B . Then x + H = 0 if and
m
only if x = eH(b) for some b ∈ B , where H is the parity check matrix.
−
Proof : Suppose x + H = 0
Let bi = yi for i = 1, 2, …, m
∴ x = eH(b)
Groups & Coding Theory 4.11 Coding Theory
10 0 1
Example 4.11 : Let m = 2,
n = 5 and H = 1
1
0
1
0
0 1 0
0 0 1
2 5
Determine (2, 5) the group code eH : B → B .
2
Solution : We have, B = {00, 10, 01, 11}
Then e(00) = 00 x1 x2 x3 by definition of eH.
Now using equations (1) with b1 = 0, b2 = 0, h11 = 1, h12 = 0, h13 = 1,
h21 = 1, h21 = 0, h22 = 1, h23 = 1, it is clear that, x1 = 0, x2 = 0 and x3 = 0.
∴ eH(00) = 00000
Next, eH(10) = 10 x1 x2 x3 with b1 = 1, b2 = 0,
x1 = 1 ⋅ 1 + 0 ⋅ 0 = 1,
x2 = 1 ⋅ 0 + 0 ⋅ 1 = 0,
x3 = 1 ⋅ 1 + 0 ⋅ 1 = 1.
So, we find that x1 = 1, x2 = 0, x3 = 1.
eH(10) = 10101 ⋅ e(01) = 01011
Similarly, we can find, and eH(11) = 11110
2 5
Thus, eH = B → B is defined by
eH(00) = 00000
eH(10) = 10101
code words
eH(01) = 01011
and eH(11) = 11110
2
It can be seen that eH(B ) = {00000, 10101, 01011, 11110} is a
5
subgroup of B , hence eH is a group code.
Groups & Coding Theory 4.12 Coding Theory
00
1 1
Example 4.12 : Let H =
1
1 1
0 0
be a parity check matrix.
0
1 0
0
0 1
2 5
Determine (2, 5) group code eH : B → B .
2
Solution : We have, B = {00, 10, 01, 11}
Then, we have eH(00) = 00 x1 x2 x3 by definition of eH. Using equation
(1), with b1 = 0, b2 = 0, clearly we obtain x1 = 0, x2 = 0 and x3 = 0.
eH(00) = 00000
Next to compute eH(10), we have
eH(10) = 10 x1 x2 x3, by definition of eH
Using equation (1) with b1 = 1, b2 = 0, h11 = 0, h12 = 1, h13 = 0,
h21 = 0, h22 = 1 and h23 = 1, we get
x1 = 1 ⋅ 0 + 0 ⋅ 1 = 0
x2 = 1 ⋅ 1 + 0 ⋅ 1 = 1
x3 = 1 ⋅ 1 + 0 ⋅ 1 = 1
Thus, eH(10) = 10011
Similarly, we compute eH(01) and eH(11), where we get,
eH(01) = 01011
and eH(11) = 11000
2
Thus, eH(B ) = {00000, 10011, 01011, 11000}
5
is a subgroup of B and hence eH is a group code.
Exercise 4.1
10 1 0
9.
Let m = 2, n = 5 and H = 1
1
0
1
0 .
0 1 0
0 0 1
2 5
Determine the group code eH : B → B .
11 0 1
10. Let m = 2,
n = 5 and H = 1
1
0
0
0 .
0 1 0
0 0 1
2 5
Determine the (2, 5) group code eH : B → B . How many error
will eH detect ?
Groups & Coding Theory 4.14 Coding Theory
Answers 4.1
m n
If e : B → B is a group code, we now describe the following
procedure for obtaining a maximum likelihood decoding function
associated with e.
m n
Step 1 : Determine all the left coset of N = e(B ) in B .
Step 2 : For each coset, find a coset leader (a word of least weight).
Step 3 : If the word x, is received, determine the coset of N to which
n
xt belongs. Since N is normal subgroup of B , it follows from group theory
n n
that the cosets of N form a partition of B , so each element of B belongs
n
n 2 r
to one and only one coset of N in B . Moreover,there are m = 2 distinct
2
n
cosets of N in B .
We illustrate the above procedure by an example so that, it will
helpful to understand it.
Step 4 : Let ε be a coset leader for the coset determined in step 3.
Compute x = xt ⊕ ε. if x = e(b), we let d(xt) = b. That is, we decode xt as b.
2 4
Example 4.15 : Consider the encoding function e : B → B , which is a
group code, defined by e(00) = 0000, e(10) = 0011, e(01) = 1101 and
e(11) = 1110. Then here N = {0000, 0011, 1101, 1110} is a normal
4
4 4 4 2
subgroup of B . Since, |B | = 2 and |N| = 4, we see that there are =4
4
4
distinct left cosets of N in B and one of these is N itself. We will
prepare table which is called decoding table whose rows are the cosets
4
of N in B . Thus, in present case there will four rows in a decoding table,
−
the first row being the elements of N itself, starting with 0 = 0000 on left
hand side.
Thus, 0000 0011 1101 1110 (First row)
4
We have to exhaust all the elements of B in four rows, to get the
4
next row we look at the elements of B , which are not listed in first row,
out of these we pick-up the one of smallest weight.
We see that there are four words of smallest weight 1, namely, 0001,
0010, 0100, 1000. Let us consider any one of these say 0001. This will be a
coset leader of the next coset (row), which is obtained by adding 0001 to
each of the elements of the first row, second row is
0001 ⊕ 0000 0001 ⊕ 0011 0001 ⊕ 1101 0001 ⊕ 1110
or 0001 0010 1100 1111 (Second row)
Groups & Coding Theory 4.18 Coding Theory
Since, there are two elements left of weight 1, which are not listed in
first row and second row, namely, 0100 and 1000. We choose one of
these say 0100, which is a coset leader of third coset and we obtain third
row as :
Table 4.2
0000 0011 1101 1110
1000 1011 0101 0110
0100 0111 1001 1010
0010 0001 1111 1100
If the word received is 1100, the according to the table 4.2, the word
1110 is transmitted and is received as 1100 and as we know e(11) = 1110,
hence d(1100) = 11 … (i)
But according to the table 4.1, if 1100 is the received word, then the
transmitted word is 1101 and as e(01) = 1101, we see that
d(1100) = 01 … (ii)
Thus, it is clear that these two tables give two different decoding
4 2
functions from B onto B .
m n
Suppose that the (m, n) group code is eH : B → B , where H is a
parity check matrix. In this case, the decoding technique above can be
simplified.
Recall that with m < n, r = n − m, and H be the n × r parity check
n r
matrix as discussed in section 4.3 and the function fH : B → B defined by
n r
fH(x) = x * H is a homomorphism from the group B to the group B .
n
Theorem 10 Let x and y be elements in B . Then x and y lie in the same
n
coset of N in B if and only if fH(x) = fH(y) that is, if and only if they have
the same syndrome.
n
Proof : x and y lie in the same left coset of N in B if and only if
x ⊕ y = (−x) ⊕ y ∈ N. Since, N = ker (fH), therefore x ⊕ y ∈ N if and only if
− − r
fH (x ⊕ y) = 0 B, i.e. fH(x) ⊕ fH(y) = 0 B i.e. fH(x) = fH(y).
The decoding procedure given previously can be modified as follows.
Suppose that we compute the syndrome of each coset leader. If the
word xt is received, we also compute the syndrome of xt, fH(xt). By
comparing fH(xt) and the syndromes of the coset leaders, we find the
coset in which xt lies. Suppose the coset leader of this coset is ε, we now
compute x = xt ⊕ ε. If x = e(b), we then decode xt as b. Thus,we need only
the coset leaders and their syndromes in order to decode.
We state the new procedure in details.
n
Step 1 : Determine all the left cosets of N in B .
Step 2 : For each coset, find a coset leader, and compute the
syndrome of each coset leader.
Step 3 : If xt is received word, compute the syndrome of xt and find
the coset leader ε having the same syndrome.
Then xt ⊕ ε = x is a code word eH(b), d(xt) = b.
Let us illustrate this technique by an example.
2 5
Example 4.16 : Consistent the encoding function eH : B → B , where,
1 0 1
0 1 1
the parity check matrix is H = 1 0 0 , which generates a group code.
0 1 0
0 0 1
2
From example (4.32), we have obtained eH(B ) = N = {00000, 01011,
11110}. Use the above technique (procedure) to decode the words (a)
11101 and (b) 01110.
5
5 |B | 32
Solution : Since |B | = 32 and |N| = 4, there are = = 8 left
|N| 4
5
cosets of N in B . We use the technique to write down all the 8-left cosets
of N in table form with their coset leaders as the first elements of the
Groups & Coding Theory 4.21 Coding Theory
rows of the table. One can see that decoding table for this can be
computed as below.
Table 4.3
Syndrome
Coset
of coset
leader
leader
000 00000 10101 01011 11110
001 00001 10100 01010 11111
010 00010 10111 01001 11100
100 00100 10001 01111 11010
011 01000 11101 00011 10110
101 10000 00101 11011 01110
111 10010 00111 11001 01100
110 11000 01100 10011 001100
Now we calculate syndromes of all coset leaders. Let ε1 = 00000,
ε2 = 00001, ε3 = 00010, ε4 = 00100, ε5 = 01000, ε6 = 10000, ε7 = 10010
and ε8 = 1100 - the coset leaders. Then the syndrome of ε1 is given by
ε1 * H, it is easy to see that ε1 * H = 000.
Syndrome of ε2 is ε2 * H, we have
10 0 1
[00001] * 1
1
0
1
0 = 001
0 1 0
0 0 1
Syndrome of ε3 is ε3 * H = [00010] * H = 010
Syndrome of ε4 is ε4 * H = [00100] * H = 100
Syndrome of ε5 is ε5 * H = [01000] * H = 011
Syndrome of ε6 is ε6 * H = [10000] * H = 101
Syndrome of ε7 is ε7 * H = [10010] * H = 111
Syndrome of ε8 is ε8 * H = [11000] * H = 110
The first column of table 4.3 represents the syndromes of the
corresponding coset leaders which we computed above.
Groups & Coding Theory 4.22 Coding Theory
= 101
th
which is 6 entry in the first column of table 4.3. This means that xt lies in
the coset whose leader is 10000 = ε6. So we compute
Exercise 4.2
4 3
1. Let d be the (4, 3) decoding function defined by d : B → B , for
4
y = y1y2y3y4 d(y) = y1y2y3. Determine d(y) for the word y in B .
(a) y = 0110, (b) y = 1011.
2. Let d be the (9, 3) decoding function defined by
y = y1y2y3 … y9, d(y) = z1z2z3
1 if {yi, yi + 3, yi + 6} has at least two i's
where, z1 =
0 if {yi, yi + 3, yi + 6} has less than two i's
9
Determine d(y) for the word y in B .
(a) y = 101111101 (b) y = 100111100
2 4
3. Let e : B → B be the (2, 4) encoding function defined by
e(00) = 0000, e(01) = 1011, e(10) = 0110, e(11) = 1101. Construct
4
a table of left cosets in B for N = <0000, 1011, 0110, 1101}. Place
the coset leader a the beginning of each row.
4. Let e be the encoding function defined by e(00) = 0000,
e(10) = 0110, e(01) = 1011, e(11) = 1100. Let d be the associated
maximum likelihood decoding function. Determine the number
of errors that (e, d) will correct.
Groups & Coding Theory 4.23 Coding Theory
2 5
5. Let e be the encoding function defined by e : B → B ,
e(00) = 00000, e(10) = 10101, e(01) = 01110, e(11) = 11011. Let d
be an associated maximum likelihood decoding function.
Determine the number of errors that (e, d) will correct.
6. Consider the group code defined in above example 5. Decode
the following words relagive to a maximum likelihood decoding
function.
(a) 11110, (b) 10011, (c) 10100.
7. Let G be a group and H a subgroup of G :
(a) Show that for g1, g2 ∈ G, either e1H = g2H or g1H ∩ g2H = φ.
(b) By using part (a) show that the left cosets of H form a
partition of G.
01 1 1
8.
Let H = 1
0
0
1
0 be the parity check matrix.
0 1 0
0 0 1
m
Determine the coset leader for N = eH(B ).
11 00
Let H =
1 0
9. be the parity check matrix. Determine the coset
0 1
m
leaders for H = eH(B ). Also compute the syndrome for each
coset leader.
01 1 1
10. Let H =
1 0
0
1
0
be a parity check matrix. Decode the
0 1 0
0 0 1
following words relative to a maximum likelihood decoding
function associated with eH.
(a) 10100, (b) 01101, (c) 11011.
Answers 4.2
3.
00 01 10 11
0000 1011 0110 1101
1000 0011 1110 0101
0100 1111 0010 1001
0001 1010 0111 1100
4. 0
5. 1
the message into letters pairs ψθ and represent each pair as a number
x = 26ψ + θ in the range 0 to 675. Then replace each of these numbers x
s
by the unique integer y between 0 and m − 1 for which y ≡ x (mod m)
and send as the resulting number sequence. Note this number must be at
least 675.
−
Decoding : Since, s is chosen relatively prime to n, s , the remainder
−
class of s mod n, has a multiplicative inverse t in Zn. Thus for some
integer t, we have st ≡ 1 (mod n) or st − 1 = k(p − 1) (q − 1) for some
integer k, since s, n, k are known. We can find t, by using Euclidean
Algorithm.
s
Now, if we receive the integer y = x (mod m), we compute
t
y (mod m) and apply the theorem 15, since m = pq, theorem (15) (a)
guarantees that
t st 1 + k (p − 1) (q − 1)
y = x =x ≡ x (mod m)
t
Since, x does not exceed m, we have y (mod m) = x, sowe have
recovered the original integer x. Do this to all the received integers and
thus decode the message.
We illustrate all this discussion in the following example.
2
We have, 352 = 123904 ≡ 43 (mod 779)
8 4
352 ≡ 43 (mod 779)
≡ 549 (mod 779)
16 2
∴ 352 ≡ 549 (mod 779)
≡ 707 (mod 779)
49 16 3
Now, 352 = (352 ) × 352
3
≡ 707 × 352 (mod 779)
≡ 672 × 352 (mod 779)
≡ 236544 (mod 779)
≡ 507 (779)
The encoded message received is 507.
(b) Here n = 720, s = 49 and s is relatively prime to 720, so we use
Euclidean Algorithm to express 1 as a linear combination of 720 and 49,
to find t.
We have, 720 = 49 × 14 + 34 … (v)
49 = 34 × 1 + 15 … (iv)
34 = 15 × 2 + 4 … (iii)
15 = 4 × 3 + 3 … (ii)
4 = 3×1+1 … (i)
Now from (i), 1 = 4−3×1
= 4 − (15 − 4 × 3) × 1 Using (ii)
= 4 × 4 − 15 × 1
= (34 − 15 × 2) × 4 − 15 × 1 Using (iii)
= 34 × 4 − 15 × 9
= 34 × 4 − (49 − 34 × 1) × 9 using (iv)
= 34 × 13 − 49 × 9
= (720 − 49 × 14) × 13 − 49 × 9 Using (v)
= 720 × 13 + 49 (− 191)
∴ t = − 191
≡ 529 (mod 779)
529
Now, we compute 507 (mod 779).
Groups & Coding Theory 4.28 Coding Theory
4
We have, 507 = 66074188401
≡ 441 (mod 779)
16 4
∴ 507 ≡ 441 (mod 779)
≡ 693 (mod 779)
32 2
507 ≡ 693 (mod 779)
≡ 385 (mod 779)
128 32 4 4
Next (507) = [(507) ) ≡ 385 (mod 779)
≡ 264 (mod 779)
512 4
And 507 ≡ 264 (mod 779)
≡ 16 (mod 779)
512 16
Next 507 × 507 ≡ 693 × 16 (mod 779)
≡ 182 (mod 779)
529 512 16
∴ 507 = 507 × 507 × 507
≡ 182 × 507 (mod 779)
≡ 352 (mod 779)
Thus, x = 352. Dividing by 26, we obtain (division algorithm)
x = 352 = 26 × 13 + 14
So that we can recover the original message NO (as N = 13, O = 14 is
representation).
Exercise 4.3
704
1. Verify that 12 ≡ 1 (mod 391)
1123
2. Compute the remainder, when 17 is divided by 1189.
3750
3. Compute the remainder when 23 is divided by 3869.
4. Let p = 23, q = 41. Apply the RSA method to encode the measure
BEAR and to decode the message 371, 640.
5. Let m = 779 and s = 49 be public key use RSA method to encode
the message NO.
6. The public key m = 19781, s =19 has been published. Suppose
you discover that n for this cryptosystem is 19500. Find p and q.
Groups & Coding Theory 4.29 Coding Theory
Answers 4.3
2. 157
3. 211
4. ACED
5. 507
6. 151, 131
Illustrative Examples
Example 4.20 : Find the number of code words generated by the
following parity check matrix H. Also find the code words generated.
01 1 0
H
= 1
0
0
1
0
0 1 0
0 0 1
Solution : In the given matrix H the last three rows form 3 × 3
2 5
identity matrix. So we have to find encoding function e : B → B which is
a group code.
2
Now, B = {00, 01, 10, 11}
2 2
∴ e(B ) contains 4 code words. For any b1b2 ∈ B , we have e(b1b2) =
b1b2 x1x2x3 where b1, b2 are information bits and x1, x2, x3 are parity bits.
Consider the equation x*H = 0
01 1 0
[b1b2
xxx]* 1
0
0
1
0
= 0
0
2 2 3
1 0
0 0 1
∴ b2 +2 x1 = 0
b1 +2 x2 = 0
b2 +2 x3 = 0
∴ x2 = b2, x2 = b1, x3 = b2 [a +2 a = 0]
There 2 information bits.
Groups & Coding Theory 4.30 Coding Theory
2
So we prepare a table of values containing 2 = 4 rows.
b1 b2 x1 = b2 x2 = b1 x3 = b2
0 0 0 0 0
0 1 1 0 1
1 0 0 1 0
1 1 1 1 1
e(00) = 00000
e(01) = 01101
e(10) = 10010
e(11) = 11111
1 0 1 1 0 0
H = 1 1 0 0 1 0
1 1 1 0 0 1
What is the minimum weight of non-zero code word ? How many
errors can be detected by this group code ?
1 1 1
0 1 1
t 1 0 1
Now, H =
1 0 0
0
0
1
0
0
1
3
If b = b1b2b3 ∈ B then x = e(b) = b1b2b3 x1x2x3
t
Now, x * H = 0 gives
Groups & Coding Theory 4.31 Coding Theory
01
1 1 1
=0
1 1
0 1
[b b b x x x ]
10
1 2 3 1 2 3
0 0
0 1
0
0
1
∴ b1 +2 b3 +2 x1 = 0
b1 +2 b2 +2 x2 = 0
b1 +2 b2 +2 b3 + x3 = 0
∴ x1 = b1 +2 b3
x2 = b1 +2 b2
x3 = b1 +2 b2 +2 b3
Now, we prepare a table for values of b1, b2, b3 and x1, x2, x3
3
containing 2 = 8 rows.
b1 b2 b3 x1 = b1 +2 b3 x2 = b1 +2 b2 x3 = b1 +2 b2 +2 b3
0 0 0 0 0 0
0 0 1 1 0 1
0 1 0 0 1 1
0 1 1 1 1 0
1 0 0 1 1 1
1 0 1 0 1 0
1 1 0 1 0 0
1 1 1 0 0 1
3
∴ e(B ) = {000000, 001101, 010011, 011110, 100111, 101010,
110100, 111001}
It is a group code.
The minimum weight of non-zero code word is 3.
∴ The minimum distance of group code is 3.
We know that a group code can detect k or fewer errors if and only if
the minimum distance is ≥ k + 1.
Groups & Coding Theory 4.32 Coding Theory
∴ 3 ≥ k+1
∴ 2 ≥ k
∴ k ≤ 2
Thus, 2 or less than 2 errors can be detected.
Example 4.22 : Determine the code words generated by the parity
check matrix.
1 0 1 1 1 0 0
H = 1 1 0 0 0 1 0
1 0 0 1 0 0 1
How many errors are detected by this group code ?
Solution : From a given matrix, we get
0
1 1 1
1 0
H
t
= 1
1 0
0
0
1
10 0 0
0 1
0
0
1
4 2
We have to find (4, 7) encoding function e : B → B .
i.e. to find x = e(b1b2b3b4) = b1b2b3b4 x1x2x3.
t
The matrix equation x * H = 0 gives
0
1 1 1
1 0
[b b b b x x x ] 1
1 0
0
0
1
=0
10
1 2 3 4 1 2 3
0 0
0 1
0
0
1
∴ b1 +2 b3 +2 b4 +2 x1 = 0
b1 +2 b2 +2 x3 = 0
b1 +2 b4 +2 x3 = 0
∴ x1 = b1 +2 b3 +2 b4
x2 = b1 +2 b2
x3 = b1 +2 b4
Groups & Coding Theory 4.33 Coding Theory
4 s
Now, we prepare a table of 2 = 16 rows since information bits b are
4 in number.
b1 b2 b3 b4 x1 = b1 +2 b3 x2 = b1 +2 b2 x3 = b1 +2 b4
+2 b4
0 0 0 0 0 0 0
0 0 0 1 1 0 1
0 0 1 0 1 0 0
0 0 1 1 0 0 1
0 1 0 0 0 1 0
0 1 0 1 1 1 1
0 1 1 0 1 1 0
0 1 1 1 0 1 1
1 0 0 0 1 1 1
1 0 0 1 0 1 0
1 0 1 0 0 1 1
1 0 1 1 1 1 0
1 1 0 0 1 0 1
1 1 0 1 0 0 0
1 1 1 0 0 0 1
1 1 1 1 1 0 0
4
The group code e(B ) consists of 16 code words.
0000000, 0001101, 0010100, 0011001,
0100010, 0101111, 0110110, 0111011,
1000111, 1001010, 1010011, 1011110,
1100101, 1101000, 1110001, 1111100.
The minimum weight of the non-zero code word is 2.
∴ The minimum distance of the group code is 2.
We know that e can detect k or fewer errors if minimum distance is
≥ k + 1.
∴ 2 ≥ k+1
Groups & Coding Theory 4.34 Coding Theory
∴ 1 ≥ k
∴ k ≤ 1
∴ e can detect 1 or less errors. Hence, e can detect only one error.
Example 4.23 : Show that (2, 4) encoding function given by
e(00) = 0000, e(01) = 0111, e(10) = 1001, e(11) = 1110 is a group code.
How many errors will be detected by e ?
Decode the words 0011, 1100 and 1101.
Solution : Let us prepare a composition table for a w.r.t. ⊕
separation.
⊕ 0000 0111 1001 1110
0000 0000 0111 1001 1110
0111 0111 0000 1110 1001
1001 1001 1110 0000 0111
1110 1110 1001 0111 0000
From the composition table, we see that ⊕ of any two elements of
the given set is again element of the set.
4
Therefore, it is a subgroup of B .
∴ Given set is a group.
The minimum distance of
e = minimum weight of non-zero code word
= 2
If minimum distance is at least k + 1 then k or fewer errors can be
detected.
Now, k + 1 = 2. ∴ k = 1.
∴ e can detect only one error.
4
2 16
Now, we prepare a decoding table. There are 2 = = 4 cosets.
2 4
0000 0111 1001 1110 (first row)
For the next coset the coset leader is taken as 0001 that does not
appear in the first row
0001 ⊕ 0000 = 0001, 0001 ⊕ 0111 = 0110
0001 ⊕ 1001 = 1000, 0001 ⊕ 1110 = 1111
0001 0110 1000 1111 (second row)
Groups & Coding Theory 4.35 Coding Theory
For the next coset choose the coset leader 0010 which does not
appear in above two rows.
0010 ⊕ 0000 = 0010, 0010 ⊕ 0111 = 0101
0010 ⊕ 1001 = 1011, 0010 ⊕ 1110 = 1100
∴ 0010 0101 1011, 1100 (third row)
For the next coset choose the coset leader 0100 which does not
appear in above three rows.
0100 ⊕ 0000 = 0100, 0100 ⊕ 0111 = 0011
0100 ⊕ 1001 = 1101, 0100 ⊕ 1110 = 1010
∴ 0100 0011 1101 1010 (fourth row)
Decoding Table
0000 0111 1001 1110
0001 0110 1000 1111
0010 0101 1011 1100
0100 0011 1101 1010
Received Word Transmitted Word
0011 0111
1100 1110
1101 1001
Example 4.24 : Show that (2, 5) encoding function e(00) = 00000,
e(10) = 10101, e(01) = 01110, e(11) = 11011 is a group code.
Decode the following received words by applying minimum distance
decoding criterian.
(i) 11110 (ii) 10011 (iii) 10100.
Solution :
⊕ 00000 10101 01110 11011
00000 00000 10101 01110 11011
10101 10101 00000 11011 01110
01110 01110 11011 00000 10101
11011 11011 01110 10101 00000
Groups & Coding Theory 4.36 Coding Theory
From the table, we see that the ⊕ of any two elements of given four
elements is again element of that set. Therefore, the set {00000, 10101,
01110, 11011} is closed under the operation ⊕. Therefore, it is a subgroup
5
of B .
∴ Given set is a group code.
We now prepare a decoding table. Given group code has 4 elements
5 5 32
and B has 2 = 32 elements, hence there are = 8 distinct coset of G in
4
5
B and G is one of them. First row of the table is
00000 10101 01110 11011 (first row)
Consider 00001 of minimum weight 1 which does not appear in the
above row and it is a coset leader for next coset.
00001 ⊕ 00000 = 00001, 00001 ⊕ 10101 = 10100
00001 ⊕ 01110 = 01111, 00001 ⊕ 11011 = 11010
∴ 00001 10100 01111 11010 (second row)
Next consider 00010 as the next leader which does not appear in
above two rows and has weight 1 i.e. minimum.
00010 ⊕ 00000 = 00010, 00010 ⊕ 10101 = 10111,
00010 ⊕ 01110 = 01100, 00010 ⊕ 11011 = 11001
∴ 00010 10111 01100 11001 (third row)
Next available leader is 01000, which does not appear in above four
rows.
01 1
1
Example 4.25 : A parity check matrix is H = 1
0
0
1
0 .
0 1
0
0 0
1
Decode the word (i) 01110, (ii) 11100.
Solution : In the given matrix the last 3 rows form 3 × 3 identity
2 5
matrix. So we have to find the encoding function e : B → B .
2
For b1b2 ∈ B , we have e(b1b2) = b1b2 x1x2x3
01 1 1
[b1b2
xxx]* 1
0
0
1
0
= 0 gives
0
1 2 3
1 0
0 0 1
b1 +2 x1 = 0
b1 +2 x2 = 0
b1 +2 b2 +2 x3 = 0
∴ x1 = b2
x2 = b1
x3 = b1 +2 b2
Consider the following table.
b1 b2 x1 x2 x3
0 0 0 0 0
0 1 1 0 1
1 0 0 1 1
1 1 1 1 0
∴ e(00) = 00000
e(01) = 01101
e(10) = 10011
e(11) = 11110
This forms a group code and N = {00000, 01101, 10011, 11110} is a
5
normal subgroup of B .
Groups & Coding Theory 4.39 Coding Theory
6
2 32
Now, we find = = 8 cosets such that the coset leaders are in
2 4
increasing order of their weights.
The cosets are as follows :
00000 01101 10011 11110
00001 01100 10010 11111
00010 01111 10001 11100
00100 01001 10111 10110
01000 00101 11011 10110
10000 11101 00011 01110
11000 10101 01011 00110
10100 11001 00111 01010
The coset leaders are listed in the first column above.
Now we find syndromes of coset leaders
Clearly syndrome of 00000 is 000.
01 1 1
Syndrome of 00001 is [00001] * 1
0
0
1
0
= 001
0 1 0
0 0 1
01 1
1
1
Syndrome of 00010 is [00010] * 1
0
0
0 = 010
0 1 0
0 0 1
01 1
1
1
Syndrome of 00100 is [00100] * 1
0
0
0 = 100
0 1 0
0 0 1
01 1
1
1
Syndrome of 01000 is [01000] * 1
0
0
0 = 101
0 1 0
0 0 1
Groups & Coding Theory 4.40 Coding Theory
01 1 1
Syndrome of 10000 is [10000] * 1
0
0
1
0
= 011
0 1 0
0 0 1
01 1 1
Syndrome of 11000 is [11000] * 1
0
0
1
0
= 110
0 1 0
0 0 1
01 1 1
Syndrome of 10100 is [10100] * 1
0
0
1
0
= 111
0 1 0
0 0 1
Coset Leader Syndrome
00000 000
00001 001
00010 010
00100 100
01000 101
10000 011
11000 110
10100 111
(i) Received word is xt = 01110. Syndrome of xt = 01110 is
01 1 1
[01110] * 1
0
0
1
0
= 011
0 1 0
0 0 1
From the table of coset leaders and syndromes the coset leader
corresponding to 011 is 10000.
This means xt = 01110 lies in the coset whose leader is 10000.
∴ x = xt +2 10000 = 01110 +2 10000 = 11110
Groups & Coding Theory 4.41 Coding Theory
01 1 1
[11100] * 1
0
0
1
0
= 010
0 1 0
0 0 1
From the table of coset leader and syndromes the coset leader
corresponding to 010 is 00010.
This means xt = 11100 lies in the coset whose leader is 00010.
∴ x = xt +2 00010 = 11100 +2 00010 = 11110.
Finally, we know e(11) = 11110.
Hence, 11100 is decoded as 11.
Example 4.26 : Consider (6, 7) parity check code. For each of the
received word, determine whether an error will be detected.
(a) 1101010, (b) 1010011, (c) 0011111, (d) 1001101.
6 7
Solution : The parity check code e : B → B is defined as
6
e(b) = b1b2 … b6b7, where, b = b1b2 … bθ ∈ B .
0 if |b| is even
and b7 =
1 if |b| is odd
where, |b| = number of 1’s in b and it is called as its weight.
Observe that 7 is zero iff the number of 1’s in b is an even number.
∴ We conclude that every code word e(b) has even weight.
∴ A single error in the transmission of a code word will the received
word to a word of odd weight and therefore can be detected.
In general in the same way any odd number of errors can be
detected.
(a) e(b) = 1101010
has it weight equal to 4 which is even.
∴ No error will be detected by e in this case.
(b) e(b) = 1010011
has weight equal to 4 which is even.
∴ No error will be detected by e.
Groups & Coding Theory 4.42 Coding Theory
2 5
Example 4.28 : Show that the (2, 5) encoding function e : B → B
defined by :
e(00) = 00000, e(10) = 10101, e(01) = 01110, e(11) = 11011.
Also find the minimum distance of the group code.
m n
Solution : We know that, (m,n) encoding function e : B → B is a
group code iff
m m n
range (e) = e(B ) = {e(b) | b ∈ B } is subgroup of < B , ⊕ >.
Now consider composition table for range (e).
⊕ 00000 10101 01110 11011
00000 00000 10101 01110 11011
10101 10101 00000 11011 01110
01110 01110 11011 00000 10101
11011 11011 01110 10101 00000
5
From composition table, we see that range (e) is subgroup of <B , ⊕>
2 5
Hence, e : B → B is group code.
m n
We know that, of e : B → B is a group code then the minimum
distance is minimum of weights of non-zero code word.
Now consider weights of non-zero code words.
| 10101 | = 3
| 01110 | = 3
| 11011 | = 4
∴ The minimum distance of given encoding function is 3, which is
minimum of weight of above non-zero code words.
10 1 0
Example 4.29 : Consider H = 1
1 1
0 0 . Determine the group code
0 1 0
0 0 1
2 5
eH : B → B , where h is called as parity check matrix of eH.
2 2 5
Solution : We have, B = {00, 10, 01, 11}. Here eH : B → B is a
function.
Now, we have group code eH is computed as below ;
e(00) = 00 x1 x2 x3
Groups & Coding Theory 4.44 Coding Theory
1
1 1 0
x
0 1 1
x = [0 0 0 0 0] 1 0 0
2
x3
0 1 0
0 0 1
∴ x1 = x2 = x3 = 0
∴ eH(00) = 00000
Now, eH(10) = 10 x1 x2 x3
where, x1, x2, x3 satisfy.
1
1 1 0
x
0 1 1
x = [1 0 0 0 0] 1 0 0
2
x3
0 1 0
0 0 1
∴ x1 = 1, x2 = 1, x3 = 0
∴ eH(10) = 10110
Similarly, eH(01) = 01011, eH(11) = 11101
Alternative :
5 − 3
Range (eH) = {x ∈ B | x ⋅ H = 0 in B }
10 1
0
0
= {x1x2x3x4x5
| [x x x x x ] 1
1
0
1
0 = 0
0
1 2 3 4 4
1 0 0
0 0
1
= {00000, 10110, 01011, 11101}
Example 4.30 : Find group code eH corresponding to parity check
1 1 0
1 0 1
0 1 1
matrix H = and find maximum likelihood decoding function
1 0 1
0 1 0
0 0 1
d. How many errors (eH, d) correct ?
Groups & Coding Theory 4.45 Coding Theory
3 6
Solution : Now we find eH : B → B .
Let eH(000) = 000 x1 x2 x3
where x1, x2, x3 given by
t
x1
x = [0 0 0 0 0 0] ⋅ H
2
x3
∴ x1 = x2 = x3 = 0
∴ eH(000) = 0000000
Now, let eH(100) = 100 x1 x2 x3
where, x1, x2, x3 given by,
x1
x = [1 0 0 0 0 0] ⋅ H
2
x3
∴ x1 = 1, x2 = 1, x3 = 0.
∴ eH(100) = 100110
Similarly, eH(010) = 010101
eH(001) = 001011
eH(011) = 011110
eH(101) = 101101
eH(110) = 110011
eh(111) = 111000
∴ Range (e) = N = {000000, 001011, 010101, 011110, 100110,
101101, 110011, 111000} is group code.
6
Consider coset leader of cosets of N in B and their syndromes in
following table :
Coset leader x Syndrome x ⋅ H
000000 000
000001 001
000010 010
001000 011
000100 100
010000 101
100000 110
0001100 111
Groups & Coding Theory 4.46 Coding Theory
= 19 × 13 + (− 6) × 41
= (− 6) × 41 + (880 − 41 × 21) 13
= (− 279) × 41 + 880 × 13
∴ 1 ≡ (− 279) × 41 (mod 880)
∴ t = − 279 ≡ 601 (mod 880)
Now, to encode massage BEAR with pair of letters, i.e. we have to
encode BE and AR. The pairs BE and AR are represented as integers as
below :
BE ~ 1 × 26 + 4 = 26 + 4 = 30
AR ~ 0 × 26 + 17 = 17 with base as 26.
5 5
Now, we want to compute, 30 ≡ x (mod m) and 17 ≡ y (mod m)
So, we get encoded massage x, y.
We have, s = 41
2
(30) ≡ 900 ≡ (− 43) (mod 843)
4 2
(30) ≡ (− 43) ≡ (− 37) (mod 943)
5
(30) ≡ (− 37) × (30) ≡ − 1110 ≡ − 167 (mod 943)
10 2
(30) ≡ (− 167) ≡ 27889 ≡ (− 401) (mod 943)
40 4
(30) ≡ (− 401) ≡ 160801 ≡ 491 (mod 943)
41
(30) ≡ 491 × 30 ≡ 585 (mod 943)
∴ x = 585 is encoded massage of 30.
4
Now, (17) ≡ 537 mod (943)
5
(17) ≡ (− 301) (mod 943)
20 4
(17) ≡ (− 301) (mod 943)
20 4
(17) ≡ (− 301) (mod 943)
≡ (73) (73) (mod 943)
≡ (− 329) (mod 943)
40 2
(17) ≡ (− 329) (mod 943)
40
(17) ≡ (− 204) (mod 943)
41
(17) ≡ (− 204 × 17) (mod 943)
≡ (− 3468) (mod 943) ≡ (304) (mod 943)
∴ y = 304 is encoded message of 17.
Now, x = 585 = 26 × 22 + 13
= WN
y = 304 = 26 × 11 + 18 = LS in terms of alphabets.
Now, we decode the message 371, 640 with pairs of letters.
We have, inverse of s is t.
Groups & Coding Theory 4.48 Coding Theory
1226
Example 4.33 : Compute the remainder when 58 is divided by 91.
Solution : We have, 91 = 13 × 7
Since, 13 + 58 and 7 + 58.
We have, (58, 13) = 1, (58, 7) = 1
∴ (68, 91) = 1
By Euler’s theorem, 58φ(91) ≡ 1 (mod 91)
But φ(91) = φ(13) φ(7) = 12 × 6 = 72
72
∴ 58 ≡ 1 (mod 91)
Now, 1226 = 72 × 17 + 2
1226 72 17 2
∴ 58 = (58 ) ⋅ (58)
17 2
≡ (1) (58) (mod 91)
2
≡ (− 33) (mod 91) ≡ 88 (mod 91)
∴ Required remainder is 88.
Example 4.34 : (m, 3m) encoding function with m = 4. For each
received words, determine whether an error will be detected.
(a) 0011 0010 0011
(b) 1101 1100 1101
(c) 0101 1101 0011.
Solution : Now given encoding function is defined as
e(b1b2b3b4) = b1b2b3b4 b1b2b3b4 b1b2b3b4
∴ e(0000) = 0000 0000 0000
e(0001) = 0001 0001 0001
e(0010) = 0010 0010 0010
e(0100) = 0100 0100 0100
e(1000) = 1000 1000 1000
e(0011) = 0011 0011 0011
e(0101) = 0101 0101 0101
e(1010) = 1010 1010 1010
e(0110) = 0110 0110 0110
e(1100) = 1100 1100 1100
e(1001) = 1001 1001 1001
e(0111) = 0111 0111 0111
Groups & Coding Theory 4.50 Coding Theory
Think Over It
Points to Remember
• Product group with examples.
n
In particular B = B × B × … B (n-factors) where R = {0, 1} a group
under addition modulo 2.
• Binary encoding functions, examples.
• Error detection, parity check code (m, m + 1).
• Weight a of word, Hamming distance between two words, minimum
distance of encoding functions with examples.
• Group codes, examples, generation of group codes by parity check
matrix.
• Decoding of encoded messages, definition and examples.
• Maximum likelihood technique for decoding.
• Decoding of group order codes using cosets, coset leaders.
• Use of parity check matrix in decoding of group codes. Syndrome of
a word.
• Public key cryptology.
Miscellaneous Exercise
[A] Multiple Choice Questions :
2 3
1. If e : B → B is a parity (2, 3) check code, then, which of the following
is not correct.
(a) e(00) = 000 (b) e(10) = 101
(c) e(01) = 011 (d) e(11) = 11
2. If x = 110110 and y = 000101, then the distance between x and y is
……
(a) 1 (b) 2
(c) 4 (d) 3
2 6
3. Let e : B → B is the (2, 6) encoding function, given by
{000000, 011110, 101010, 111000}
Then the minimum distance of e is ……
(a) 4 (b) 2
(c) 3 (d) none of these
Groups & Coding Theory 4.52 Coding Theory
4. If A =
1 0 1 and B = 1 1 1 be the Boolean matrices, then the
0 1 1 0 1 1
Boolean sum A ⊕ B is ……
(a)
0 1 0
(b)
1 0 1
0 0 0 1 0 0
(c)
1 1 0
(d)
1 1 2
0 1 1 0 2 2
5. Let m and n be non-negative integers with m < n, r = n − m and let
n r
H be n × r Boolean matrix, then the function fH : B → B defined by
n
fH(x) = x * H, where x ∈ B and x + H denote the Boolean
multiplication, with x considered as a n × r now matrix. Then fH is ……
(a) group homomorphism (b) group code
(c) encoding function (d) none of these
2 5
6. Let e : B → B be a group code given by {00000, 10110, 01011,
11101}. Then the minimum distance of e is ……
(a) 0 (b) 2
(c) 3 (d) 4
Answers
Answers
10
1 1 1
0 1
1 1
1. Let H = be the parity check matrix. Find the encoding
10 0 0
0 1 0
0 1
3
6
function. eH : B → B . How many errors will it correct ?
2. Find the Hamming distance between the code words of
S = {0000, 0101, 1011, 0111}.
1 1 0 1 0 0
3. Given the parity check matrix, H = 0 1 1 0 1 0 . Find the
1 0 1 0 0 1
minimum distance of the code generated by H. How many errors
it can detect the correct.
4. Suppose the code C is given by C = {0000, 0011, 1101, 1110},
2 4
which is the range of the encoding function e : B → B . Decode
the code word 1001.
2 5
5. Find the minimum distance of an encoding function e : B → B
given as :
e(00) = 00000, e(10) = 01110, e(11) = 10011, e(11) = 11111.
11 10
Let the parity check matrix be H =
1 0
6. .
0 1
2 4 2
(a) Find the group code eH : B → B , N = eH(B ).
(b) Find all 4 cosets of N with coset leaders.
(c) Find the syndrome of the coset leaders.
(d) Decode the word xt = 0011.
Groups & Coding Theory 4.54 Coding Theory
Answers
✍✍✍
MODEL QUESTION PAPER
S.Y.B.Sc. Computer Science
MTC - 231 : GROUPS AND CODING THEORY
(2020 Pattern) Semester - III : Paper - I
Time : 2 Hours Total Marks : 35
Note : 1. All questions are compulsory.
2. Figures to the right indicate full marks.
1 1 0 1 0 0
(e) Given the parity check matrix, H = 0 1 1 0 1 0 . Find the
1 0 1 0 0 1
minimum distance of the code generated by H.
Q.2. (A) Attempt any one of the following : [6]
(a) Let G be a group and let a belongs to G. If a has finite order n,
2 n−1 i j
then prove that <a> = {e, a, a , …, a } and a = a , if and only if
n divides i − j.
(b) Let H be a subgroup of G,then for any a and b, prove that :
(i) either aH = bH or aH ∩ bH = φ, and
−1
(ii) aH = bH if and only if if a b ∈ H.
(B) Attempt any one of the following : [4]
−1
(a) (i) If α is even permutation, then show that α is also even.
(ii) Let α =
1 2 3 4 5 6 , find α−1 and α is even or odd.
2 1 3 5 4 6
M.1
Groups & Coding Theory M.2 Model Question Paper
a a
(b) Let G = a a a ∈ ú and a ≠ 0 . Show that G is group under
matrix multiplication.
Q.3. (A) Attempt any one of the following : [6]
(a) (i) Let G be a group and H a non-empty subset of G, then prove
−1
that H is subgroup of G if and only if ab ∈ H, for all a, b in
H.
(ii) State the condition for additive groups.
11 10
Let the parity check matrix, H =
1 0
(b) .
0 1
2 4 2
(i) Find the group code eH : B → B , N = eH(B ).
(ii) Find all 4 cosets of N with coset leaders.
(iii) Find the syndrome of the coset leaders.
(iv) Decode the word xt = 0011.
(B) Attempt any one of the following : [4]
(a) Prove that, the intersection of the two subgroups of a group is
again a subgroup. What about the union of two subgroups ?
Justify.
(b) Apply RSA method to encode the message “BE” where p = 23,
q = 41 and s = 41.
✍✍✍