Mat 501
Mat 501
Master of Science
(FIRST SEMESTER)
MAT 501
ADVANCED ABSTRACT ALGEBRA
DEPARTMENT OF MATHEMATICS
SCHOOL OF SCIENCES
UTTARAKHAND OPEN UNIVERSITY
HALDWANI, UTTARAKHAND
263139
COURSE NAME: ADVANCED ABSTRACT
ALGEBRA
Department of Mathematics
School of Science
Uttarakhand Open University
Haldwani, Uttarakhand, India,
263139
ADVANCED ABSTRACT ALGEBRA MAT501
Editor
Dr. Jyoti Rani
Assistant Professor
Department of Mathematics,
School of Sciences, Uttarakhand Open University
Edition : 2023
*NOTE: The design and any associated copyright concerns for each unit in this book are the
sole responsibility of the unit writers.
ADVANCED ABSTRACT ALGEBRA MAT501
COURSE INFORMATION
The present self learning material “Advanced Abstract Algebra” has been designed for
M.Sc. (First Semester) learners of Uttarkhand Open University, Haldwani. This self learning
material is writing for increase learner access to high-quality learning materials.This course is
divided into 14 units of study. The first unit is devoted to the normal subgroups and quotient
groups, Unit 2 explained about Conjugate element, Normalizer and Center of group and Unit 3
explained about the homomorphism and isomorphism mapping between the groups. Unit 4
explained to Cayley’s theorem and concept of class equation Unit 5 explain about the direct
product of groups and Cauchy’s theorem for finite abelian groups and Unit 6 are focused on
Sylow’s theorems and their application. The aim of Unit 7, 8 and 9 are to introduce the concept
composition series, jordan holder theorem and solvable group. Unit 10 and Unit 11 explain
about the important concept and their related theorems of rings, ideal, integral domain and
fields. Unit 12 explained about the unique factorization domain, principal ideal domain and
euclidean domain and Unit 13 explain the polynomial ring and irreducibility criteria. Unit 14
will explain the field extension, Galois groups and Galois extension. This material also used
for competitive examinations. The basic principles and theory have been explained in a simple,
concise and lucid manner. Adequate number of illustrative examples and exercises have also
been included to enable the leaner’s to grasp the subject easily.
Department of Mathematics
Uttarakhand Open University Page 1
ADVANCED ABSTRACT ALGEBRA MAT501
Contents
Department of Mathematics
Uttarakhand Open University Page 2
ADVANCED ABSTRACT ALGEBRA MAT501
BLOCK I
Department of Mathematics
Uttarakhand Open University Page 3
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
1.1 Introduction
1.2 Objectives
1.5 Summary
1.6 Glossary
1.7 References
1.1 INTRODUCTION
Department of Mathematics
Uttarakhand Open University Page 4
ADVANCED ABSTRACT ALGEBRA MAT501
In the previous sessions, we have already learned that how any set G can be formed a group
with respect to (w.r.t.) the given operation. We have also learned about various types of groups and
their properties. Some applications of group like subgroup, cyclic group, order of the group,
permutation group, homomorphism, isomorphism, center of the group, cosets and Lagranges theorem
are already studies in previous classes. In this unit we will learn about the Normal subgroups and its
use to construct the quotient group.
As we know that, in a group G, it is not always true that gH = Hg for all g G where, H is a
subgroup of a group G.
Example 1: Let G be a permutation group of degree 3 on three symbol 1, 2, 3 and H {I ,(1 2)} is a
subgroup of G. Since a (2, 3) G then the left coset of a in G i.e.,
1.2 OBJECTIVES
Department of Mathematics
Uttarakhand Open University Page 5
ADVANCED ABSTRACT ALGEBRA MAT501
of G.
Theorem 1: If G be a group and H is the subgroup of G. Then the following statement are equivalent.
1. The subgroup H is normal in G
2. For all a G, aHa1 H
given h H , a G there exist h' H such that ah h'a . Since a G and G is the group then a 1 G
.
(ah)a 1 (ha)a 1
aha 1 h H
So, aHa1 H a G
Department of Mathematics
Uttarakhand Open University Page 6
ADVANCED ABSTRACT ALGEBRA MAT501
(2) (3) Let a G and H is normal subgroup of G, then we have already prove that aHa 1 H .
Since a G a 1 G
Therefore we have a 1 H a 1 H a G
1
a 1Ha H a G
aa 1 Ha a 1 aHa 1 a G
aa 1 Ha a 1 aHa 1 a G
H aHa 1 a G
Ha aHa 1 a a G
Ha aH a G
each left coset of H in G is a right coset of H in G.
H is normal subgroup of G.
Theorem 2: A subgroup H of a group G is normal in G iff the product of two right or left coset of H in
G is again a right or left coset of H in G.
Proof: Suppose H is a normal subgroup in G and Ha, Hb are two right coset of H in G where, a, b G .
Then
( Ha)(Hb) H (aH )b
H ( Ha)b [ H is normal Ha aH ]
HHab [ HH H ]
Hab [ a G, b G ab G ]
Therefore, Hab is also a right coset of H in G.
Conversely, we will suppose that the product of two right cosets of H in G is again a right coset of H
in G. Let x be any arbitrary element of G then x 1 will also an element of G. So, Hx and Hx 1 are two
distinct right cosets of H in G. Thus, HxHx 1 is also a right coset of H in G. Therefore we must have,
HxHx1 H x G
Department of Mathematics
Uttarakhand Open University Page 7
ADVANCED ABSTRACT ALGEBRA MAT501
1
1
h1 h1 xhx 1 h1 H x G and h1 , h H
1 1
xhx1 H x G and h H [ h1 H H as h1 H since h1 H ]
H is a normal subgroup of G.
Theorem 3: Intersection of two normal subgroup of a group is also a normal subgroup of the group.
Solution: Let G be a group and H, K are of its two normal subgroup of G. Now, we have to prove that
H K is also a normal subgroup of G. Let a be any element of H K i.e.,
x H K x H and x K
Similarly, a G, x K axa1 K
H n is the arbitrary intersection of the family of normal subgroups which is also a normal subgroup
n
of G.
Solved Examples
Example 3: Show that each subgroup of the Abelian group G is a normal subgroup of the group.
Solution: Let G be a Abelian group and H is a subgroup of the group. Suppose that h H and x G .
Now consider, xhx1 x( x 1h)
( xx1 )h
eh h H
So, x G, h H , xhx1 H H is a normal subgroup of G.
Example 4: Prove that the alternating subgroup An is the normal subgroup of the symmetric group S n
Solution: Suppose that S n and An . As we know that An is collection of all even permutation of
Case I: If is odd permutation then 1 is also an odd permutation. As we know that product of odd
and even permutation is odd permutation, it means is odd permutation. Similarly, product of two
Department of Mathematics
Uttarakhand Open University Page 8
ADVANCED ABSTRACT ALGEBRA MAT501
Case II: If is even permutation then 1 is also an even permutation. As we know that product of
two even permutation is even permutation, it means is even permutation. Similarly, product of two
Department of Mathematics
Uttarakhand Open University Page 9
ADVANCED ABSTRACT ALGEBRA MAT501
Again, let hn HN where n N , h H . We can rewrite hn hnh1h hnh1 h . Since, N is normal
Consider the element nmn1m1 . As we know mnm1 N because N is normal and n N therefore,
nmn 1m1 N .
Again, as we know nmn1 M because M is normal and m M therefore, nmn 1m1 M .
Now, nmn 1m1 N and nmn 1m1 M nmn1m1 N M
nmn1m1 {e} [Because, N M e]
nm mn m M , n N
i.e., every element of N commutes with every element of M.
Example 11: If in a group G, H is the only subgroup of finite order m then H is normal in G.
Solution: We have given H is subgroup of G such that O(H) = m. To prove this example, first we
consider the set xHx1 xhx1 : h H and we will prove that this set is the subgroup of G. As we
Department of Mathematics
Uttarakhand Open University Page 10
ADVANCED ABSTRACT ALGEBRA MAT501
know by the theorem that any set H will subgroup of G if ab 1 H a, b H . Let h1 , h2 H then
1
h1h2 xHx 1 h1 , h2 xHx 1 . Hence, xHx1 is subgroup of G.
Now we will prove that O ( xHx 1 ) m . Let H h1 , h2 , h3 ,..., hm where all hi , i 1to m are distinct
then xHx 1 xh1 x 1 , xh2 x 1 , xh3 x 1 ,..., xhm x 1 . Here, no element in xH x 1 are same because if it is,
But we have H is the only such subgroup of order m. Therefore we must have, xHx1 H x G .
Thus, H is normal subgroup of G.
Example 12: By an example verify that if H is normal in G and K is normal in H then K may not be
normal in G.
Solution: Let us consider the following subgroup of the group S 4 on the four symbols a, b, c, d.
Department of Mathematics
Uttarakhand Open University Page 11
ADVANCED ABSTRACT ALGEBRA MAT501
Thus h N (H ) i.e., H N (H ) . So, H is subgroup of N(H). To show that H is normal in N(H). Let
x N (H ) , then xHx1 H
xH Hx x N (H )
H is normal in N(H).
Now, we have to prove that N(H) is largest such subgroup in which H is normal. For it, let K is a
subgroup of G in which H is normal then we have only to prove that K N (H ) .
Let k K , since H is normal in K, therefore we have Hk kH
kHk 1 H k K
k N (H )
K N (H )
2: Let H is the normal subgroup of G and x G . Then xH Hx x G
xHx1 H x G
x N (H ) therefore G N (H ) but we know N ( H ) G .
Thus, G N (H )
Conversely, let G N (H ) then x G x N (H )
xHx1 H x G
xH Hx x G
H is normal in G.
Definition: If H is a normal subgroup of a group G. Then the collection of all distinct cosets of H in G
denoted by G/H is a group with respect to the operation multiplication of cosets defined as,
Department of Mathematics
Uttarakhand Open University Page 12
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 13: Set of all distinct cosets of normal subgroup of a group is a group with respect to
composition multiplication of cosets.
Proof: Let us consider collection of distinct right (left) cosets of normal subgroup H under G is
G / H Ha : a G
and the composition multiplication of cosets is
(Ha)(Hb) = Hab a, b G
Closure axioms: Let Ha, Hb G / H where a, b G then
( Ha)(Hb) H (aH )b H ( Ha)b HHab Hab G / H
Since we know that if H is normal subgroup of G then
(i) Ha aH a G
(ii) HH H
And also if G is a group then it will satisfy closure property i.e., if a, b G ab G
Associativity: Let Ha, Hb, Hc G / H where a, b, c G
Now consider, ( Ha)[(Hb)(Hc)] ( Ha)[H (bH )c] ( Ha)[H ( Hb)c] ( Ha)(Hbc)
Ha(bc) H (ab)c H (ab)(Hc) [(Ha)(Hb)](Hc)
[Because G is group so it will satisfy associative property]
Existence of identity: We know that H He G / H where e is the identity element of G, then we
have only to prove that H is the identity element of the group G / H .
Let Ha G / H then ( He)(Ha) H (ea) Ha
H is the identity element of the group G / H .
Existence of inverse: Let Ha G / H . Then Ha 1 G / H [Because if a G then
a 1 G Ha 1 G / H ]
Now, ( Ha)(Ha 1 ) H (aa 1 ) He H
group S3 I , (12), (13), (2 3), (12 3), (13 2) then S3 / A3 A3 , (2 3) A3 is the quotient group.
Department of Mathematics
Uttarakhand Open University Page 13
ADVANCED ABSTRACT ALGEBRA MAT501
2 3Z ...,4,1, 2, , 5, 8,11...
Here, Z (0 3Z ) (1 3Z ) (2 3Z )
The composition table of the group Z / 3Z is given below.
0 3Z 1 3Z 2 3Z
0 3Z 0 3Z 1 3Z 2 3Z
1 3Z 1 3Z 2 3Z 0 3Z
2 3Z 2 3Z 0 3Z 1 3Z
In general, the cosets of nZ in Z are
Z (0 nZ ) (1 nZ ) (2 nZ ) (3 nZ ) ... ((n 1) nZ ) then
G / nZ (0 nZ ), (1 nZ ), (2 nZ ), (3 nZ ),..., ((n 1) nZ )
The sum of the cosets k Z and l Z is k l Z . Notice that we have written our cosets additively,
because the group operation is integer addition.
O(G )
Example 16: If H is a normal subgroup of the finite group G then O[G / H ] .
O( H )
Solution: As we know that O[G / H ] Number of distinct right coset of H in G.
O[G / H ] Index of H in G.
Number of element in G
O[G / H ]
Number of element in H
O(G )
O[G / H ]
O( H )
Example 17: Prove that corresponding to every Abelian group its quotient group is Abelian but their
converses need not to be true.
Solution: Let G be a Abelian group and H is its normal subgroup. If elements a, b G are such that
Ha, Hb are distinct right cosets of quotient group G / H .
Now, ( Ha)(Hb) H (ab) H (ba) ( Hb)(Ha) [Since G is Abelian ab ba a, b G ]
G / H is Abelian group.
But converse is need not be true. Since S3 / A3 A3 , (2 3) A3 is Abelian group because order of
O[S3 / A3 ] 6 / 3 2 which is prime and we know that every group of prime order is Abelian while S 3
is not a Abelian group.
Example 18: If H is normal in G and a be any element of order n in G then order of the element Ha in
G/H is divisor of n.
Department of Mathematics
Uttarakhand Open University Page 14
ADVANCED ABSTRACT ALGEBRA MAT501
Solution: As we know that the identity element of the quotient group G/H is H itself. We have given
in a group G, a G s.t. O (a ) n i.e. a n e . Let us assume O( Ha) m .
Now consider,
( Ha) n ( Ha)(Ha)(Ha).....upto n times H (aaa...upto n times) Ha n He H
1.5 SUMMARY
In this unit, we have studied the basic definition of Normal subgroup, Simple group and Quotient
group. We have also learn about the above discussed group’s related theorems and there
implementation in various examples. The overall summarization of this units are as follows:
1.6 GLOSSARY
1.7 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
Department of Mathematics
Uttarakhand Open University Page 15
ADVANCED ABSTRACT ALGEBRA MAT501
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
1. Prove that alternating group ( An ) is the normal subgroup the symmetric group ( S n ).
3. Suppose that a group G has a subgroup of order n . Prove that the intersection of all subgroups
of G of order n is a normal subgroup of G .
symmetric group S 3 .
Department of Mathematics
Uttarakhand Open University Page 16
ADVANCED ABSTRACT ALGEBRA MAT501
1.10 ANSWERS
1. 4 2. 3. Yes
Department of Mathematics
Uttarakhand Open University Page 17
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
2.1 Introduction
2.2 Objectives
2.6 Summary
2.7 Glossary
2.8 References
2.1 INTRODUCTION
The main purpose to learn about the conjugate element in a group is that to differentiate any group into
different conjugate classes by its property of satisfying the condition of equivalence relation. After
partition group into different conjugate classes we will learn about the important definition of
normalizer of any element in a group and centre of the group which will help us to define the class
equation.
In this unit we will also learn various theorems of conjugate element, normalizer and centre of
the group and their related application to solve different types of examples.
Department of Mathematics
Uttarakhand Open University Page 18
ADVANCED ABSTRACT ALGEBRA MAT501
Cayley table for D4 showing elements of the center, {e, a2}, commute with all other elements
(this can be seen by noticing that all occurrences of a given center element are arranged
symmetrically about the center diagonal or by noticing that the row and column starting with
a given center element are transposes of each other).
∘ E B a a2 a3 ab a2b a3b
E E B a a2 a3 ab a2b a3b
B B E a3b a2b ab a3 a2 a
A a Ab a2 a3 e a2b a3b b
a2 a2 a2b a3 e a a3b b ab
a3 a3 a3b e a a2 b ab a2b
Ab ab A b a3b a2b e a3 a2
2.2 OBJECTIVES
Definition: Two elements a and b in a group G are said to be conjugate to each other or b is said to be
conjugate to a if x G s.t.
b x 1ax
Then b is called transform of a by x. Symbolically, it is denoted by b ~ a and this relation in G is
called relation of conjugacy.
Theorem 1: Conjugacy relation is an equivalence relation on G.
Proof: Reflexivity: Let a be any arbitrary element of a group G and e is the identity of the group.
Then
a e 1ae a ~ a a G . Therefore the relation is reflexive.
Symmetry: We have to prove if a ~ b then b ~ a . Let a ~ b then x G s.t.
a x 1bx
Department of Mathematics
Uttarakhand Open University Page 19
ADVANCED ABSTRACT ALGEBRA MAT501
As we know if x G then x 1 G
Transitivity: Let a ~ b and b ~ c then a x 1bx, b y 1cy for some x, y G .
Again, a x 1 y 1cy x
a x 1 y 1cyx ( yx) 1 c( yx) [Since G is a group then yx G, yx G ]
1
For the finite group G, number of distinct element in C(a) will be denoted by ca.
Definition: If G is a group and a be any arbitrary element of a group then normalizer of a is the
collection of such elements in G which commutes with a. It is denoted by N(a) and defined as:
N (a ) x G ax xa
y 1a ay 1
y 1 N ( a )
Department of Mathematics
Uttarakhand Open University Page 20
ADVANCED ABSTRACT ALGEBRA MAT501
Consider, a ( xy 1 ) (ax) y 1
a( xy 1 ) x( y 1a) [ y 1a ay 1 ]
xy 1 N (a)
Hence, normalizer of any element a G i.e., N (a) is the subgroup of G.
Theorem 3: Any two elements of a group give rise to same conjugate to a G iff they belong to the
same right coset of normalizer of a in G.
Proof: Let us consider, x, y G then x N (a) x and y N (a) y . Since x, y are in the same right coset
of N(a) in G.
N ( a) x N ( a) y [If H is subgroup and x H then Hx H ]
x 1ax( y 1 y) ( x 1 x) y 1ay
x 1axe ey 1ay
x 1ax y 1ay
x, y give rise to same conjugate of a.
O (G )
Theorem 4: If G is a finite group then the number of distinct element in C(a) are .
O ( N (a ))
O(G )
Then further prove that O(G ) , where summation runs over one element of each
O( N (a))
conjugate class.
Proof: By the previous theorem 6, we know that two elements of a group give rise to same conjugate
to a G if they belong to the same right coset of normalizer of a in G. In the other sense it means,
different conjugate to a G belongs to different right coset of N(a) in G. Thus we get a “one-to-one
correspondence between the conjugates of a G and right cosets of N(a) in G”.
Thus, ca = Number of distnict element in C(a)
= Number of distinct right coset of N(a) in G.
Department of Mathematics
Uttarakhand Open University Page 21
ADVANCED ABSTRACT ALGEBRA MAT501
O (G )
= The index of N(a) in G =
O ( N (a ))
Further, If C (a1 ), C (a2 ), ..., C (ak ) are k distinct conjugate class in G, Then
O(G )
O(G )
O( N (a))
Hence proof the result.
Definition: An element a G is said to be self conjugate if a x 1ax x G i.e, C(a) contains only
singleton element {a}. In other manner, we can say those self conjugate elements are those elements of
G which commutes with every element of G. Sometimes self conjugate element is also called invariant
element of G.
Definition: Collection of all self conjugate element of a group is called centre of group G. It is denoted
by Z(G) and defined as,
Z (G ) x G xa axa G
e.g.: The centre of the quaternion group Q8 1,1, i,i, j, j, k ,k is Z (Q8 ) 1,1,.
Department of Mathematics
Uttarakhand Open University Page 22
ADVANCED ABSTRACT ALGEBRA MAT501
1
x2 Z (G )
1
Now consider, x1 x2 a x1 ( x2 a )
1
1 1 1 1
x1 (ax2 ) [ x2 Z (G ) x2 a ax2 ]
1
( x1a ) x2 [By associativity]
1
(ax1 ) x2 [ x1 Z (G) x1a ax1 ]
1
a ( x1 x2 ) [By associativity]
1
x1 x2 Z (G )
Hence Z(G) is subgroup of G.
Now we have only to prove that Z(G) is always normal in G. For it let x Z (G), a G then,
axa1 (ax)a 1
( xa)a 1
x(aa 1 )
x(e) x Z (G)
Where, summation runs over one element a in each conjugate class containing more than one element.
Proof: As we know by the previous theorem that class equation of G is
O(G )
O(G ) , where, summation runs over one element a in each conjugate class.
O( N (a))
Department of Mathematics
Uttarakhand Open University Page 23
ADVANCED ABSTRACT ALGEBRA MAT501
O(G )
Since, O( Z (G ))
aZ ( G ) O ( N ( a ))
O(G )
Hence, O(G ) O( Z (G ))
aZ ( G ) O ( N ( a ))
…(1)
Note: This equation (1) is called the class equation of any finite group G.
Example 1: Find the class equation for the group S3.
Answer: We know the symmetric group ( S 3 ) on three symbols 1, 2, 3 is
containing more than one element. We have given O(G) P n so, the divisor of O(G) are
Department of Mathematics
Uttarakhand Open University Page 24
ADVANCED ABSTRACT ALGEBRA MAT501
Pn Pn
Pn m k
aZ ( G ) P
m P n
k where1 k n
aZ ( G ) P
… (1)
Since P | P n so, P will divide each term of the right hand side of the equation (1)
P|m
Therefore centre of G must contain element other then identity. Therefore Z (G) {e} .
1, P, P 2 . By the previous theorem 11 we know that if O(G) P n , where P is a prime number, then
Z (G) {e} . It means, O(Z (G)) 1. As we know that centre of the group is subgroup of G and by
Lagrange’s theorem “Order of every subgroup of a finite group is divisor of the order of the group”. So
either O(Z (G)) P or O(Z (G)) P 2 .
Hence, O(Z (G)) P 2 G is Abelian group because Z (G) is always Abelian group.
Example 2: Is a group of order 121 is Abelian?
Answer: Since, O(G) 121 112 , where 11 is a prime number. Hence G will be Abelian group.
Example 3: Prove that corresponding to every cyclic group its quotient group is cyclic but their
converses need not to be true.
Solution: Let G be a cyclic group such that G a i.e., a is the generator of G and H is its
subgroup. Then according to theorem every subgroup of G will be normal subgroup of G. If elements
a n G then Ha n ( Ha) n will be element of quotient group G / H .
Department of Mathematics
Uttarakhand Open University Page 25
ADVANCED ABSTRACT ALGEBRA MAT501
O[S3 / A3 ] 6 / 3 2 which is prime and we know that every group of prime order is cyclic while S 3 is
not a Abelian group.
Theorem 10: If G / Z (G) is cyclic if and only if G is Abelian.
Proof: Let us consider G / Z (G) is cyclic. It means, if the element a is the generator of G then Z (G)a
will be generator of G / Z (G) .
Let x, y G then Z (G) x, Z (G) y G / Z (G) positive integers m, n such that
Z (G ) x Z (G )a Z (G )a m & Z (G ) y Z (G )a Z (G )a n
m n
Case Ist: We know by previous theorem if O(G) P n , where P is a prime number, then
Z (G) {e} O[Z (G)] 1 .
Case IInd: Let O[Z (G)] P 2 OG / Z (G) P3 / P 2 P
G / Z (G) is cyclic and by theorem we can say that G is Abelian which is a contradiction. So our
assumption is wrong.
Case IIIrd: Let O[Z (G)] P3 OG / Z (G) P3 / P3 1
G / Z (G) {e} is cyclic and by theorem we can say that G is Abelian which is again a
contradiction. So again our one of the assumption is wrong.
So, the only possibilities is left that O[Z (G)] P i.e., Z(G) has exactly P element.
Department of Mathematics
Uttarakhand Open University Page 26
ADVANCED ABSTRACT ALGEBRA MAT501
2.6 SUMMARY
In this unit, we have studied the definition and theorems related to conjugate of an element, normalizer
of an element and centre of the group and also learn their implementation on various examples. We
have also learn in this unit how these subgroup are essentials in the formation of class equation which
will further discussed briefly in the upcoming units. The overall summarization of this units are as
follows:
2.7 GLOSSARY
2.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Department of Mathematics
Uttarakhand Open University Page 27
ADVANCED ABSTRACT ALGEBRA MAT501
Prakashan Media.
https://en.wikipedia.org/wiki/Center_(group_theory)#:~:text=By%20definition%2C%20the%2
0center%20is,of%20each%20element%20of%20G.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
1. Prove that any two conjugate classes of a group are either disjoint or identical.
4. If G be a non-Abelian group of order O(G) 1331 then prove that number of elements in
centre of group Z(G) are 11.
5. If G be a group of order O(G) 121 then find the number of elements in its centre.
8. Find the number of elements of the in the centre of the group having order
O(G) 5, 7, 25, 31, 49 .
9. Prove that centre of the group is an abelian group
10. If G is a non-abelian of order 8 then prove that Z (G) has exactly 2 element.
11. Find number of element which are conjugate to (1 2) S 3 .
13. Two elements a and b in a group G are such that b x 1ax then b will called ……… to a.
Department of Mathematics
Uttarakhand Open University Page 28
ADVANCED ABSTRACT ALGEBRA MAT501
16. If G is non-abelian group of order 125 then Z(G) has …….. elements.
2.11 ANSWERS
1. 4 2. 4 3. 1+1+1+1
Department of Mathematics
Uttarakhand Open University Page 29
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
3.1 Introduction
3.2 Objectives
3.3 Homomorphism
3.4 Isomorphism
3.6 Summary
3.7 Glossary
3.8 References
3.1 INTRODUCTION
Department of Mathematics
Uttarakhand Open University Page 30
ADVANCED ABSTRACT ALGEBRA MAT501
In this section we introduce the reader to the idea of an isomorphism which could also be
termed as an ‘indirect’ equality in algebraic systems. Indeed, if two systems have the same
number of elements and behave exactly in the same manner, nothing much is lost in calling
them equal, although at times the idea of equality may look little uncomfortable, especially in
case of infinite sets.
3.2 OBJECTIVES
Understand the concept of special types of mapping between two groups named as
homomorphism and isomorphism. It may be possible these groups are under the different
binary operations.
Know that under the isomorphism mapping how the properties of two groups are same.
Understand about the other type of mapping like endomorphism, automorphism.
Understand the basic properties of homomorphism and isomorphism and their related other
theorems and definitions.
3.3 HOMOMORPHISM
Definition: A mapping f from a group (G,) into the group (G ' , .) is said to be a homomorphism if it
preserve the composition under f i.e.,
f (a * b) f (a). f (b) a, b G
Or
A mapping f : G G ' is said to be homomorphism if,
f (a * b) f (a). f (b) a, b G
where, G and G ' are the groups under the operation ' ' and ' . ' respectively.
2: In general, we take both the groups G and G ' under the same operation multiplication and write f is
a homomorphism between G to G ' if, f (ab) f (a) f (b) a, b G , without the loose of generality.
Example 1: A mapping f : Z E , from set of integer to the set of even integer such that
f ( x) 2 x x Z
is a homomorphism.
Department of Mathematics
Uttarakhand Open University Page 31
ADVANCED ABSTRACT ALGEBRA MAT501
1, if x is even
f ( x)
1, if x is odd
is a homomorphism.
Answer: Case I: If x, y Z both are even integers. It means f ( x) 1, f ( y) 1 then their sum will also
an even integer i.e.,
f ( x y) 1 1.1 f ( x) f ( y) x, y Z
Case II: If x, y Z both are odd integers i.e., f ( x) 1, f ( y) 1 then their sum will be even integer
i.e.,
f ( x y) 1 (1).(1) f ( x) f ( y) x, y Z
Case III: If x, y Z are such that x is even integer and y is odd integer i.e., f ( x) 1, f ( y) 1 then
their sum will be odd integer then,
f ( x y) 1 1.(1) f ( x) f ( y) x, y Z
Case IV: If x, y Z are such that x is odd integer and y is even integer i.e., f ( x) 1, f ( y) 1 then
their sum will be odd integer then,
f ( x y) 1 (1).(1) f ( x) f ( y) x, y Z
Hence the given mapping f is an homomorphism.
Example 3: Show that the Mapping f : R R , from set of positive real numbers to the set of real
Answer: As we know that set of positive real numbers ( R ) is form group under the operation
multiplication and the group R is form group under the operation addition.
Here, clearly the mapping is well-defined since, for
x y
Department of Mathematics
Uttarakhand Open University Page 32
ADVANCED ABSTRACT ALGEBRA MAT501
f ( x) f ( y) x, y R
Now, xy y 1 x 1 f y 1 x 1 f y 1 f x 1 yx
1
G is Abelian group.
Theorem 1: If f : G G ' be a homomorphism then,
(iv)
If K is subgroup of G ' , then f 1 ( K ) k G f (k ) G ' is a subgroup of G. Furthermore, if
Now, e' f (e) f (e) f (ee) f (e) f (e) , then by the right cancellation law
e ' f (e)
(ii): Let a be any element of G then a 1 will be also in G because G itself a group. Since we have,
e' f (e) f (aa 1 ) f (a) f (a 1 ) … (1)
Department of Mathematics
Uttarakhand Open University Page 33
ADVANCED ABSTRACT ALGEBRA MAT501
As we know that if a G f (a) G ' and G ' is also a group then f (a ) G '
1
So, f (a ) f (a )
1
f (H ) is subgroup of G ' .
(iv): Let K is subgroup of G ' and define H to be f 1 ( K ) ; that is H is the set of all g G such that
But, f ( g hg ) f ( g ) f (h) f ( g ) f ( g )
1 1 1 1
f (h) f ( g ) f ( g )1 f ( g ) f (h) f ( h) K
f (a ) e '
m
OR
If f : G G ' is a homomorphism then,
Department of Mathematics
Uttarakhand Open University Page 34
ADVANCED ABSTRACT ALGEBRA MAT501
ker f x G | f ( x) e'
ker f x G | f ( x) e' then first we will prove that ker f is a subgroup of G. for it let
xy 1 ker f
xgkg 1 ker f
Hence, ker f is normal subgroup of G.
Proof: We have given f : G G ' is an homomorphism and let mapping is ono-one. If x ker f be
any element
Then f ( x) e ' and also f (e) e '
Since f is one-one so, f ( x) f (e) x e x ker f
Hence, ker f {e} .
Conversely, let ker f contains only the identity element.
For it let, f ( x) f ( y)
f ( xy 1 ) e '
xy 1 ker f {e}
xy 1 {e}
x y
f is one-one.
Department of Mathematics
Uttarakhand Open University Page 35
ADVANCED ABSTRACT ALGEBRA MAT501
3.4 ISOMORPHISM
Definition: A mapping f from a group (G,) into the group (G ' , .) is said to be isomorphism if it
satisfies the following condition,
elog x elog y
x y
f is one-one mapping.
On-to: If y R be any real number then clearly e y R . It means for each y R we have e y R
x x
f 2
2 2
x x
f f 2 [Since, f preserve the compostion]
2 2
x x
f f 2
2 2
Department of Mathematics
Uttarakhand Open University Page 36
ADVANCED ABSTRACT ALGEBRA MAT501
x
y 2 2 where, y f , which is a contradiction because there is no rational number which is
2
the solution of quadratic equation x 2 2 0 . Hence our assumption is wrong. So, there is no map
f : Q Q {0} which is an isomorphism.
Theorem 4: Let N be a normal subgroup of a group G. A mapping f , f : G G / N defined as
f ( x) Nx x G then f is a homomorphism of G onto G / N and ker f N .
Proof: We have given the mapping f : G G / N such that f ( x) Nx x G . As we know if x G
then Nx G / N .
First we will check that f is a onto homomorphism from G to G / N . For it, let a, b G / N then,
f (ab) Nab ( Na)( Nb) f (a) f (b) [ N is normal subgroup of G]
f is a homomorphism from G to G / N .
Since for each element Nx G / N there exist an element x G such that f ( x) Nx x G .
Hence, f is on-to mapping.
Let ker f is the kernel of this homomorphism then, ker f x G | f ( x) N
Now, we have only to prove that ker f N . Let x be any element of ker f . Then f ( x) N , where N
is the identity of G / N . But according to mapping f ( x) Nx N i.e., Nx N x N
[Because if H is normal subgroup of G and Hx H then x H ]
So, x ker f x N . Therefore ker f N
Conversely, let y be any element of N . Then Ny N
We have f (n) Nn N . Therefore n ker f
Thus, n N n ker f . Therefore N ker f
Hence, ker f N .
OR
In other word, “Every homomorphic image of a group G is isomorphic to some quotient group of G”.
Department of Mathematics
Uttarakhand Open University Page 37
ADVANCED ABSTRACT ALGEBRA MAT501
G
Proof: We have given a on-to homomorphism f from G to G ' . Let we define a map : G ' s.t.
K
( Ka) f (a), a G
First, we have to show that is an isomorphism. For it initially we shall show the mapping is well-
defined by, Ka kb
ab1 K ker f
f (ab 1 ) e '
f (a) f (b 1 ) e'
f (a ) f (b) e '
1
f (a) f (b)
( Ka) ( Kb)
On retracing theses steps backwards, we will get that is one-one.
Again as ( KaKb) ( Kab) f (ab) f (a) f (b) ( Ka) ( Kb)
is an homomorpshism.
Now we will check is onto, let g ' G ' be any element. Since f : G G ' is onto then there exist
g G such that,
f (g) g '
Department of Mathematics
Uttarakhand Open University Page 38
ADVANCED ABSTRACT ALGEBRA MAT501
f (k ) Hk
Then as k1 k2 Hk1 Hk2 f (k1 ) f (k2 )
Which shows the mapping is well-defined.
Again, f (k1k2 ) Hk1k2 Hk1Hk2 f (k1 ) f (k2 )
f is an homomorphism.
Obviously, the mapping is on-to also then by using the first fundamental theorem we find that
HK K
H ker f
Since, k ker f f (k ) H
Hk H
k H [As H is normal subgroup of G]
k H K [ k K as ker f K ]
So, ker f H K
Hence the theorem is proved.
K
Lemma: Let in a group G , if H, K are normal in G such that H K , then is a normal subgroup of
H
G
and converse of the theorem is also true.
H
K G
Proof: is a non empty subset of , by definition.
H H
K
Now, for any Hk1 , Hk 2
H
1 1 K
( Hk1 )( Hk 2 ) 1 ( Hk1 )( Hk 2 ) Hk1k 2
H
K
is a subgroup.
H
K G
Again for any Hk and Hg , we notice that
H H
K
( Hg ) 1 ( Hk )( Hg ) Hg 1 HkHg Hg 1kg
H
as g G, k K , K is normal in G gives g 1kg K .
Conversely, let any element x G and k K . In order to prove that K is normal in G we must show
that xkx1 K .
Department of Mathematics
Uttarakhand Open University Page 39
ADVANCED ABSTRACT ALGEBRA MAT501
G K K
We know that Hx where x G and Hk where k K . Since we have given is a normal
H H H
G
subgroup of , therefore
H
K
( Hx)( Hk )( Hx) 1
H
K
Hxkx1 [As H is normal in G]
H
xkx1 K
K
K is normal subgroup of G . Also the quotient group implies that H is normal in G. Therefore, K
H
is normal subgroup of G and H K .
Theorem 7: (Third isomorphism theorem). If two subgroups H, K are normal in G such that
H K , then
G G\H
K K\H
K
Proof: By the above lemma we know that if H, K are normal in G such that H K , then is a
H
G G\H
normal subgroup of and, therefore, we can talk about .
H K\H
G G
First, we will define a map f : s.t.,
H K
f ( Ha) Ka, a G
Since, H is well defined as
Ha Hb
ab1 H K
Ka Kb
f ( Ha) f ( Hb)
Now, we will check f is a homomorphism as
f ( HaHb) f ( Hab) Kab ( Ka)(Kb) f ( Ha) f ( Hb) .
Here, ontoness of f is obvious.
Using first fundamental theorem of group homomorphism we can write that,
G G/H K
, so, we will claim that ker f .
K ker f H
Department of Mathematics
Uttarakhand Open University Page 40
ADVANCED ABSTRACT ALGEBRA MAT501
G
A member of ker f will be some member of .
H
Now, Ha ker f f ( Ha) K
Ka K
aK
K
Ha
H
G G/H
Hence we find
K K/H
Hence our result is proved. This theorem is also named as “Freshman’s Theorem”.
K K
Remarks: In the above theorem, since we have put ker f because we have notice that is
H H
G G/H K
normal in and hence we are talking about . Thus we do not need to prove separately that
H K/H H
G
is normal in .
H
Theorem 8: Let the mapping f : G G ' be an onto homomorphism with ker f K . Let the
f ( x), f ( y) H '
f ( x) f ( y ) H '
1
f ( xy 1 ) H '
xy 1 H
Department of Mathematics
Uttarakhand Open University Page 41
ADVANCED ABSTRACT ALGEBRA MAT501
Thus H is subgroup of G.
Since x ker f K f ( x) e' H '
Hence for each x K we have x H K H .
(ii): Suppose H is normal subgroup of G . Let the elements g ' G ' , h ' H ' . Since the given mapping
g 1hg H
i.e., H is normal in G
G'
(iii) Let us defining a mapping : G s.t.,
H'
(g) H ' f (g)
Since is well define as g1 g 2 f ( g1 ) f ( g 2 )
H ' f ( g1 ) H ' f ( g 2 )
( g1 ) ( g 2 ) , which shows mapping is well defined.
Now, we will verify that the mapping preserve the composition as
Department of Mathematics
Uttarakhand Open University Page 42
ADVANCED ABSTRACT ALGEBRA MAT501
H ' f ( x) H '
f ( x) H ' x H
Hence ker H
(H ' ) H
Where H is x G | f ( x) H ' for any H ' in S ' by (i) we know that it is subgroup of G, containing K
and thus a member of S. is well defined mapping.
H x G | f ( x) H '
T x G | f ( x) T '
Now for any h' H ' G ' , since f : G G ' is onto, we can find h G, s.t.,
For it we have to show H x G | f ( x) H '
Department of Mathematics
Uttarakhand Open University Page 43
ADVANCED ABSTRACT ALGEBRA MAT501
x x G | f ( x) H '
Or that H x G | f ( x) H '
Again, if x x G | f ( x) H '
Then f ( x) H ' f ( H )
h H , s.t. f ( x) f (h)
f ( xh1 ) e'
xh1 ker f K
x Kh H K H
Thus x G | f ( x) H ' H
Hence H x G | f ( x) H '
Or that ( H ' ) H and so is onto
Hence the theorem proved.
Example 7: Show that any infinite cyclic group is isomorphic to G Z , the group of integers.
Solution: Let G a be any infinite cyclic group.
Define, f : G Z , s.t.,
f ( a i ) i, i Z
Again f (a i ) f (a j ) i j a i a j f is 1-1.
f (a i .a j ) f (a i j ) i j f (a i ) f (a j )
Shows that f is a homomorphism.
f is obviously onto and hence the isomorphism is established.
Corollary: Every subgroup of an infinite cyclic group is an infinite cyclic group which is isomorphic
to the group itself.
Example 8: Any finite cyclic group of order n is isomorphic to Z n the group of integers
addition modulo n.
Solution: Let G a be a cyclic group s.t.,
O(G) O(a) n
Department of Mathematics
Uttarakhand Open University Page 44
ADVANCED ABSTRACT ALGEBRA MAT501
then G e, a, a 2 ,..., a n1 , Z n 0, 1, 2, ...., n 1
Define f : G Z n s.t., f (a i ) i
f is clearly well defined 1-1 onto mapping.
Again f (a i .a j ) f (a i n j ) i n j f (a i ) n f (a j )
3.6 SUMMARY
In this unit, we have studied about the mapping like homomorphism, isomorphism and also learn their
implementation on various examples. After completions of this unit we have learned that two groups if
isomorphic to each other than their all properties in terms of cardinality, order of elements, cyclic will
be same. On the other manner we can say that if two groups are isomorphic in which one group is
completely given then on the basis of given group we can unfold the unknown group completely even
these groups are under the different binary operations. We have also learned about the fundamental
theorems of isomorphism which are helpful to solve out various problems.
One of the important concept we have learned in this unit that every infinite cyclic group is
isomorphic to the set of integers (Z).
3.7 GLOSSARY
3.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
N. Herstein,(1975), Topics in Algebra, Wiley Eastern Ltd., New Delhi.
Department of Mathematics
Uttarakhand Open University Page 45
ADVANCED ABSTRACT ALGEBRA MAT501
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
https://en.wikipedia.org/wiki/Center_(group_theory)#:~:text=By%20definition%2C%20the%2
0center%20is,of%20each%20element%20of%20G.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
1.
If f : G G ' is an homomorphism then prove that the set A x G | f ( x) e' where e ' is
2. Prove that every finite cyclic group of order n is isomorphic to the set of integer under the
operation addition modulo n.
3. Prove that every infinite cyclic group is isomorphic to Z .
4. Prove that if H and K are two subgroups of the group G where H is normal subgroup of G
HK K
then, .
H H K
5. Prove that every homomorphic image of a group G is isomorphic to some quotient group of G.
7. If f : G G ' is an homomorphism then order of any element f (a ) G ' is divisor of the order
of a G .
Department of Mathematics
Uttarakhand Open University Page 46
ADVANCED ABSTRACT ALGEBRA MAT501
11. If f is a homomorphism from f : G G ' then prove that f is one-one if and only if ker f {e} .
12. Prove that any finite cyclic group of order n is isomorphic to the quotient group Z / N , where
N n
13. An endomorphism f in a group G such that f ( x) x 1 then G is abelian.
Fill in the blanks:
16. If two groups G ,G ' of finite order are isomorphic then number of elements of order n in G are
= ………….
17. If f : G G ' be a homomorphism and e is the identity element of G then identity element of
3.11 ANSWERS
Department of Mathematics
Uttarakhand Open University Page 47
ADVANCED ABSTRACT ALGEBRA MAT501
BLOCK II
Department of Mathematics
Uttarakhand Open University Page 48
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
4.1 Introduction
4.2 Objectives
4.6 Summary
4.7 Glossary
4.8 References
4.1 INTRODUCTION
Department of Mathematics
Uttarakhand Open University Page 49
ADVANCED ABSTRACT ALGEBRA MAT501
Theorizing that every square matrix is a root of its own characteristic polynomial, he established what
is now known as the Cayley-Hamilton theorem for matrices of orders 2 and 3. He was the first to
introduce the contemporary definition of a group as a set with a binary operation that complies with
certain rules. Mathematicians used to refer to permutation groups when they used the term "groups." In
honour of Cayley, Cayley's theorem, Cayley tables, and Cayley graphs all bear his name.
4.2 OBJECTIVES
Proof: A(G) is the collection of all permutations of the set G, where G is the any group. Let us define a
map f a : G G such that
f a ( x) ax , where a G
First we will check the mapping is well defined as,
x y ax ay f a ( x) f a ( y)
One-One: f a ( x) f a ( y)
ax ay
xy [By cancellation rule in G]
mapping is one-one
Onto: For any y G , since f a (a 1 y ) a (a 1 y ) y . Here we can easily see that a 1 y is pre-image of
Thus, f a A(G )
Assume that K be set of all such permutations. Now we will show that K is a subgroup of A(G) .
Since K is non-empty set because f e K .
Department of Mathematics
Uttarakhand Open University Page 50
ADVANCED ABSTRACT ALGEBRA MAT501
Let f a , f b K
ex f e ( x) x
We find f b1 f b
1
[Note f e I , identity of A(G) ]
We find f ab f a f b
K is subgroup of A(G) .
Define mapping : G K , s.t.,
( a) f a
then is well defined as well as one-one map as,
a b
ax bx
f a ( x) f b ( x) x
f a fb
a b
Obviously, is onto and
Department of Mathematics
Uttarakhand Open University Page 51
ADVANCED ABSTRACT ALGEBRA MAT501
Thus, f 6 I and K f 2 , f 4 , f8 , f 6 I
If we identify f 2 with the permutation (1 2 3 4) , other permutations are (13) (2 4) , (14 3 2) . Hence
f a (a ) a 2 , f a (a 2 ) a 3 , f a (a 3 ) a 4 e, f a (ab) a 2 b
Again, f a 2 (a ) a 3 , f a 2 (a 2 ) e, f a 2 (a 3 ) a, f a 2 (ab) a 3b
In the unit 2 we have already learned about some important theorems of class equations and their proof
which are as follows:
Department of Mathematics
Uttarakhand Open University Page 52
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 2: If G be the finite group and Z(G) be the centre of the group G. Then class equation of G
can be written as
O(G )
O(G ) O[ Z (G )]
aZ ( G ) O[ N ( a )]
In this section we will learn applications part of class equation in different type of examples. Example
3: If n is the index of Z (G) in a group G then the conjugate class has at most n elements.
O(G ) O(G )
Answer: We have n and O(cl (a))
O( Z (G )) O( N (a))
Since, Z (G) N (a) always
O(Z (G)) O( N (a)) O( N (a)) k.O(Z (G))
O(G ) n.O( Z (G )) n
i.e., O(C (a))
O( N (a)) k .O( Z (G )) k
Hence, maximum value of O(C (a)) is when k 1 .
Example 4: If P3 be order of a non-abelian group then determine O(Z (G)) and also number of
conjugate classes of G.
Solution: We have given group (G) is non-abelian, a G , s.t., Z (G ) N (a ) G
Similarly O( N (a)) 1, P, P 2 , P 3
But by the previous theorems we know that O(Z (G)) 1 . Since group is non-abelian then
p 3 O( Z (G )) O(C (a))
aZ ( G )
Department of Mathematics
Uttarakhand Open University Page 53
ADVANCED ABSTRACT ALGEBRA MAT501
O(G ) p3
O(C (a)) p
O( N (a)) p 2
Hence, p3 p k p p k p 2 p 1
Example 5: Write the class equation of quaternion group Q8 1, i, j, k
First we determine the conjugate class of i . Since we know that in any group a N (a)
Solution: Since we have given that group G has number of conjugate classes are 3. If these conjugate
classes are of order 1, then O(G) 3 , which is of order prime that means group will be cyclic. If G has
a class of order >1 then G is non-abelian because if G will abelian then there does not exist any class
of order >1.
Department of Mathematics
Uttarakhand Open University Page 54
ADVANCED ABSTRACT ALGEBRA MAT501
O(C3 ) 1 O(C2 )
O(C3 ) O(C 2 )
Or O(C2 ) 1 O(C3 )
If O(C3 ) 1 O(C2 )
Department of Mathematics
Uttarakhand Open University Page 55
ADVANCED ABSTRACT ALGEBRA MAT501
Then O(a m ) m
then a 2 e a 2 C (a)
(a 2 ) 2 ( g 1ag ) 2 g 1a 2 g
(a 2 ) 2 ( g 1ag ) 2 g 1 ( g 1ag ) g g 2 ag 2
Since O( g ) O(a) p
a 2 eae a
p
1
a2 e O(a) p | 2 p 1
p
By Fermat’s theorem, p | 2 p 2
p | (2 p 1) (2 p 2) 1, a contradiction
p2
O(a) 2 . So, O(b) 2 for all e b G
G is abelian.
So, each conjugate class in G is of length one. Since G has only two classes, which means G is of
order 2.
Department of Mathematics
Uttarakhand Open University Page 56
ADVANCED ABSTRACT ALGEBRA MAT501
Note: There are infinite group having non-trivial element has finite order and group has only 2
conjugate classes. Therefore, it is necessary to assume that e a G s.t. O(a) finite.
Let n be a positive integer. A sequence of positive integers n1 , n2 , ..., nk where n1 n2 ... nk such
that n n1 n2 ... nk is called a partition of n and n1 , n2 , ..., nk are called parts of partition.
The number of partition of any integer n is denoted by P(n) . For example, P(1) 1,
P(2) 1, P(3) 4, P(4) 5 e.tc.
Theorem 3: The number of conjugate classes in S n is P(n) .
Assume that as product of disjoint cycles as (a1 ... an1 )(b1 ... bnk ) where n1 ... nk n .
the selection of cycles in a pattern such that n1 ... nk . This gives a partition
n1 , n2 ,..., nk of n.
Now we define f : A B s.t.,
f (C( )) n1 , n2 ,..., nk
f is well defined as C( ) C( )
, C ( )
, are conjugate in S n
Department of Mathematics
Uttarakhand Open University Page 57
ADVANCED ABSTRACT ALGEBRA MAT501
, are similar in S n
a1 ,..., an1 ... b1 ,..., bnk
a1' ,..., a ' n 1 ...b ,..., b
'
1
'
nk
f (C( )) f (C( ))
f is one-one
f is onto for, let n1 , n2 ,..., nk B be a partition of n . Then n n1 n2 ... nk
Define a1 ,..., an1 ... b1 ,..., bnk S n
Then C( ) A
And f (C( )) n1 , n2 ,..., nk
Example 8: Verify the class equation in S 4 and also find its all conjugate classes.
Answer: By the theorem 4 we know that number of conjugate classes in S 4 are P(4) which is 5. Also
we know that two conjugate classes of any group are either disjoint or identical. In other word we can
say that two permutations are conjugate if and only they are similar. In S 4 the base elements of
conjugate classes are I , (1 2), (1 2 3), (1 2 3 4), (1 2)(3 4)
1 n!
As we know that in the permutation group S n number of distinct r-cycle are . So, in S 4
r (n r )!
1 4!
number of distinct cycle of length 2 are 6
2 (4 2)!
1 4!
Similarly, in S 4 number of distinct cycle of length 3 are 8
3 (4 3)!
Department of Mathematics
Uttarakhand Open University Page 58
ADVANCED ABSTRACT ALGEBRA MAT501
1 4!
Similarly, in S 4 number of distinct cycle of length 4 are 6
4 (4 4)!
in S 4 number of permutation of type (a b)(c d ) are (1 2)(3 4), (13)(2 4), (1 4)(2 3)
so, O(C((1 2)(3 4)) 3
Since centre of S 4 contains only identity element so, O(Z (S4 )) 1 i.e., O(C ( I )) 1
i.e., 24 1 6 8 6 3
Example 9: Find the class equation of a group of order 6.
Answer: Let G be a group of order 6. So, there are two cases arises that either group is abelian or not.
Case I: Let group is abelian then we know that G will be isomorphic to Z6 i.e.,
G Z 6 or G Z 2 Z3
Since G is abelian then O(Z (G)) 6
So, the class equation will be, 6 1 1 1 1 1 1
Case II: If group is non-abelian then we know that G will be isomorphic to S 3 or D3 i.e.,
G S 3 D3
Initially we examine the conjugacy classes of S 3 for it first we will find center element of S 3 .
Since, (1 2)(13) (13 2) (1 2 3) (13)(1 2) and (12)(2 3) (12 3) (13 2) (2 3)(12) and so
O(Z (S3 )) 1 .
Now observe that for the element (12) we have that:
(12)(12)(12) 1 (12)(12)(21) (12)
Department of Mathematics
Uttarakhand Open University Page 59
ADVANCED ABSTRACT ALGEBRA MAT501
S3 C( I ) C((12)) C((123))
And the class equation is,
6 1 3 2
Hence,
G Z6 Z2 Z3
IF group
is Class equation is
Abelian
6 111111
O(G) 6
G S3 D3
IF group
is non- Class equation is
Abelian
6 1 3 2
Note: Two permutations in S n are conjugates iff they have the same cycle type. Let S n
and also let m1 , m2 ,..., mr are the distinct integers which appear in a1 , a2 ,..., ar times respectively in the
cycle type of (including 1 cycles). Let a i be the number of cycles of length mi , i 1to r , so that
r
a m
i 1
i i n
n!
then, number of conjugate of
(m a !)(m a2 !)...(mrar ar !)
a1
1 1
a2
2
OR
n!
Number of element commutes with
(m a !)(m a2 !)...(mrar ar !)
a1
1 1
a2
2
Example 10: Find the number of cycle which commute with (5 4 3)(2 6)(7 8 910) S10
Solution: We first rewrite the given permutation as (1)(5 4 3)(2 6)(7 8 910) S10 . Since all cycles of
permutations are disjoint so they are commutes i.e., (1)(2 6)(5 4 3)(7 8 910) S10 . So, cycle type of
is,
Department of Mathematics
Uttarakhand Open University Page 60
ADVANCED ABSTRACT ALGEBRA MAT501
(ii): Let S5 s.t. fixes 1, 2, 3. Then either (4 5) or I . Since , 2 , are all permutation
O( N ( )) 3 in A5
Department of Mathematics
Uttarakhand Open University Page 61
ADVANCED ABSTRACT ALGEBRA MAT501
O( A5 ) 60
O(C ( )) 20 in A5
O( N ( )) 3
C ( ) has all cycles of length 3 in S 5
(iii): As we know that there are 8 permutations in S 5 commuting with which are:
I , (12), (34), (12)(34), (13)(24), (14)(23), (1324), (1423). From this set only even permutation
I , (12)(34), (13)(24), (14)(23) A5 . All these permutations of A5 commuting with (12)(34)
O( N ( )) 4 in A5
O( A5 ) 60
O(C ( )) 15 in A5 which is same like O(C( )) in S 5 .
O( N ( )) 8
Hence conjugate class of in A5 and S 5 remains same.
Example 13: Find all the conjugate classes of A5 and also show that A5 is simple.
Answer: By using the previous examples we can verify that A5 has 5 conjugate classes and these are:
C( I ) {I }
C((123)) {All 20 permutation commute with cycle (123) of length 3 in S 5 .}
Let H be any subgroup of A5 which is normal s.t H {I } , H {A5 } . As H is the union of some
Hence, A5 is simple.
Department of Mathematics
Uttarakhand Open University Page 62
ADVANCED ABSTRACT ALGEBRA MAT501
4.6 SUMMARY
In this unit, we have studied about the Cayley’s theorem, various examples related to the class
equations and partition of an integer. After completions of this unit learners will be able to
characterized to any group into distinguish conjugacy classes and also by the class equation of any
group learners will be able to find the number of element in the centre, number of different conjugate
classes, number of element in the different conjugate class and order of the group. In a simple way we
can say that with the help of conjugate classes we can get most of the information about the group
without any prior knowledge.
4.7 GLOSSARY
n!
Number of element commutes with cycle .
(m a !)(m a2 !)...(mrar ar !)
a1
1 1
a2
2
4.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
N. Herstein,(1975), Topics in Algebra, Wiley Eastern Ltd., New Delhi.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
See Cayley (1858) "A Memoir on the Theory of Matrices", Philosophical Transactions of the
Royal Society of London, 148 : 24 : "I have verified the theorem, in the next simplest case, of a
matrix of the order 3, … but I have not thought it necessary to undertake the labour of a formal
proof of the theorem in the general case of a matrix of any degree."
Cayley (1854) "On the theory of groups, as depending on the symbolic equation θn =
1," Philosophical Magazine, 4th series, 7 (42) : 40–47. However, see also the criticism of this
definition in: MacTutor: The abstract group concept.
Department of Mathematics
Uttarakhand Open University Page 63
ADVANCED ABSTRACT ALGEBRA MAT501
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
7. Let G be a group such that e a G, O(a) finite. If G has only two conjugate classes then
prove that G is a group of order 2.
9. Find the conjugate class of i and -1 in Q8 and also find the class equation of Q8 .
Department of Mathematics
Uttarakhand Open University Page 64
ADVANCED ABSTRACT ALGEBRA MAT501
4.11 ANSWERS
1. 1+1+1 2. 1+1+1+1
11!
3. 6 5. 9. C(i) {i, i}, C (1) {1} and class equation is
(1 5!)(32.2!)
5
Department of Mathematics
Uttarakhand Open University Page 65
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
5.1 Introduction
5.2 Objectives
5.6 Summary
5.7 Glossary
5.8 References
5.1 INTRODUCTION
Department of Mathematics
Uttarakhand Open University Page 66
ADVANCED ABSTRACT ALGEBRA MAT501
According to Cauchy's theorem, which is found in mathematics and more especially group theory, if
G is a finite group and p is a prime integer that divides G's order (the number of its members), then
G includes one element of order p .
The direct product is an operation in mathematics, notably in group theory, that takes two
groups, G and H , and creates a new group, commonly designated G H . One of the crucial ideas of
direct product in mathematics, this operation is the group-theoretic equivalent of the Cartesian product
of sets.
5.2 OBJECTIVES
In this section, we create an appropriate binary operation ( ) that we term the external direct product
of groups on the cartesian product G1 G2 of two groups, G1 and G2 . This method is frequently used
to create new groups out of existing ones as well as to break down existing groups into their
component parts. Thus, an essential idea in the structure theory of finite groups is the external direct
product of groups.
Let the n groups, G1 , G2 , G3 ,..., Gn are such that G G1 G2 G3 ... Gn under the operation ,
defined by
a1 , a2 , a3 ,..., an * b1 , b2 , b3 ,..., bn a1b1 , a2b2 , a3b3 ,..., anbn
Where each a1 , a2 , a3 ,..., an , b1 , b2 , b3 ,..., bn G G1 G2 G3 ... Gn and ai bi , i 1to n
exist (a, n) 1 (a,n) K 4 Z [Because every element in K 4 is self inverse and K 4 is additive
inverse of n in Z ]
Department of Mathematics
Uttarakhand Open University Page 67
ADVANCED ABSTRACT ALGEBRA MAT501
Definition: Let G1 , G2 , G3 ,..., Gn are n groups and G G1 G2 G3 ... Gn then (G,) is called the
Example 1: Consider the group S 3 and infinite group (Z , ) . Then the operation on S 3 Z is given
by: ( , m) ( , n) ( , m n)
f (a1 , b1 ) (a2 , b2 )
f is a homomorphism and also f is one-one and on-to
f is an isomorphism.
Hence, G1 G2 G2 G1
Theorem 2: Let G1 , G2 ,..., Gn are n-groups. Then the group G G1 G2 ... Gn is abelian if and only
Department of Mathematics
Uttarakhand Open University Page 68
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: First we assume that G is abelian then we will prove that each Gi , i 1 to n will also abelian.
Let us assume for 1 i n and a, b Gi . Then e1 , e2 ,..., ei1 , a, ei1 ,..., en , e1 , e2 ,..., ei1 , b, ei1 ,..., en ,
Conversely, assume that each Gi , i 1 to n is abelian. Let a1 , a2 ,..., an , b1 , b2 ,..., bn G . Then
b1a1 , b2 a2 ,..., bn an
Gi is abelian
Theorem 3: If G1 , G2 ,..., Gn are n-groups then Z G1 G2 ... Gn Z (G1 ) Z (G2 ) ... Z (Gn ) .
Proof: To prove the mentioned theorem, it will be sufficient to prove that result is true for n 2 . Let
two groups are G1 , G2 and also consider x G1 , y G2 . Then
( x, y) Z (G1 G2 )
( x, y) ( g1 , g 2 ) ( g1 , g 2 ) ( x, y)( g1 , g 2 ) G1 G2
( xg1 , yg2 ) ( g1 x, g 2 y)( g1 , g 2 ) G1 G2
xg1 g1 x and yg2 g 2 yg1 G1 , g 2 G2
x Z (G1 ) and y Z (G2 )
( x, y) Z (G1 ) Z (G2 )
Thus Z (G1 G2 ) Z (G1 ) Z (G2 )
Example 2: Prove by example that product of two cyclic may or may not be cyclic.
Proof: As we know that Z 4 , Z 6 are two cyclic group while Z 4 Z 6 is not a cyclic group because order
In another example Z 2 , Z 3 are two cyclic group and Z 2 Z 3 is also a cyclic group because order of
Department of Mathematics
Uttarakhand Open University Page 69
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 4: Let two finite cyclic group G1 , G2 of order m, n respectively. Then G1 G2 is cyclic if and
only if gcd(m, n) 1
OR
Element (a, b) is a generator of G1 G2 iff elements a, b are individually generators of the group G1 , G2
respectively.
Proof: First we assume that G1 G2 is cyclic group and also assume that (a, b) is generator of G1 G2
i.e., G1 G2 (a, b) . Then O((a, b)) mn . Let d gcd(m, n) .
mn n m
m n
Now (a, b) d
(a d
,b d
) (e1 , e2 )
mn
mn |
d
d 1
Conversely, assume that gcd(m, n) 1 . Let us consider that a is the generator of G1
( G1 a ) and b is the generator of G2 ( G2 b ). If we denote O(a, b) k then
(a, b) mn (a mn , b mn ) (e1 , e2 )
k | mn
Now, (a k , b k ) (a, b) k (e1 , e2 )
Therefore, k mn O(G1 G2 ) G1 G2 .
Proof: By the previous theorem we know that in a group for any element a G1 of order m and
Department of Mathematics
Uttarakhand Open University Page 70
ADVANCED ABSTRACT ALGEBRA MAT501
Now, let n is the least positive integer such that (a, b) n (e1 , e2 ),
( x, y) G1 G2 | f ( x, y) e'
( x, e' ) | x G1
G1 {e ' }
Since f is also onto function. Hence by using the first isomorphism theorem G1 G2 / G1 {e' } G2 .
Similarly, we have G1 G2 /{e} G2 G1 .
Theorem 7: Let G and G ' are two groups. If H and H ' are two normal subgroups of G and G '
respectively, then H H ' is normal in G G ' and
G G' / H H ' G / H G' / H '
Proof: First we will define the mapping, f : G G ' G / H G ' / H ' by,
f ( x, y) ( xH , yH ' ) ( x, y) G G ' .
Department of Mathematics
Uttarakhand Open University Page 71
ADVANCED ABSTRACT ALGEBRA MAT501
So, ker f ( x, y) G G ' | f ( x, y) ( H , H ' )
( x, y) G G ' | ( xH , yH ' ) ( H , H ' )
H H'
Hence the theorem proof.
The external direct products of groups, which give us a way to think of a family of different
groups as subgroups of a bigger group, were introduced and described in the preceding section.
Consider two groups G1 and G2 with identical elements e1 and e 2 , respectively, to be more precise.
Then two normal subgroups of G1 G2 are N1 G1 e2 G1 and N 2 e1 G2 G2 . In this section
we will consider the reverse problem i.e., in a given group whether there is family of subgroups
H 1 , H 2 ,..., H k of G such that,
G H1 H 2 ... H k
As we may anticipate, not all groups can achieve it. Even if a group G can exist, certain requirements
must be met by any subgroups whose exterior direct product is isomorphic to G . The result below
gives us an idea of the requirements that the subgroups must meet. Going forward, we will no longer
use to denote the group operation of the direct product, but rather just multiplicative notation.
Theorem 8: Let the family of groups are G1 , G2 ,..., Gn . If G G1 G2 ... Gn and
1. H i is a normal in G and H i G i 1 to n
Department of Mathematics
Uttarakhand Open University Page 72
ADVANCED ABSTRACT ALGEBRA MAT501
2. Every element of G can be expresses uniquely as h1h2 ...hn where hi H i for each i 1, 2, ..., n .
Let us consider a e1 , e2 ,..., ei1 , ai , ei1 ,..., en , b e1 , e2 ,..., ei1 , bi , ei1 ,..., en H i . Then
e1 , e2 ,..., ei 1 , ai , ei 1 ,..., en e1 , e2 ,..., ei 1 , bi , ei 1 ,..., en
1
1
e1 , e2 ,..., ei 1 , ai bi , ei 1 ,..., en H i
So, by the necessary and sufficient condition for being subgroup of any group H i is subgroup of G .
gag 1 e1 , ,..., ei 1 , g i ag i1 , ei 1 ,..., en H i
Hence H i is normal in G .
2: Let any element a a1 , a2 ,..., an G where ai Gi so hi e1 , e2 ,..., ei1 , ai , ei1 ,..., en H i for
Now we will prove the uniqueness property. For it suppose a k1k2 ,..., kn where k i H i
Since each element in G is of the form h1h2 ,..., hn where hi H i i 1to n , it follows that
G H1 H 2 ... H n
Definition: Let Ni , i 1 to k are the normal subgroup of a group G . If each element of G is uniquely
expressed as a a1a2 ...ak where ai Ni i 1, 2, ..., n then G is called internal direct product of
Ni , i 1 to k .
The word "internal" emphasises the fact that all of the components of the group N i must be subgroups
of the same group G and that the product a a1a2 ...ak formed by the members of the group
Example 3: For the Klein’s 4-group K 4 {e, a, b, c} , H1 {e, a} and H 2 {e, b} are normal subgroup
of K 4 group. Now, H1H 2 {e, a}{e, b} {e, a, b, c} K 4
Department of Mathematics
Uttarakhand Open University Page 73
ADVANCED ABSTRACT ALGEBRA MAT501
x1 x2 and y1 y2 .
Hence, K 4 group is internal direct product of normal’s H1 and H 2 .
Example 4: As we know for every nonzero complex number z has unique representation z rei
where r | z | and ampz . Then group of positive real numbers ( r R ) and
And so xi x j x j xi .
Theorem 9: Let H 1 , H 2 ,..., H k are normal subgroup of G . Then G is the internal direct product of
H1 , H 2 ,..., H k iff
Proof: Let we assume that G internal direct product of normals H 1 , H 2 ,..., H k of G . Then a G,
Department of Mathematics
Uttarakhand Open University Page 74
ADVANCED ABSTRACT ALGEBRA MAT501
a H i ( H1H 2 ...H i1H i1...H k ) . Then a Ni and a x1 x2 ...xi1 xi1...xk for some
x j N j , j 1,..., i 1, i 1,..., k
e...eae...e a a1...ai1eai1...ak .
Since each such representation is unique, it follows that a e. Thus
H i ( H1 H 2 ...H i1 H i1...H k ) {e} for each i 1,2,..., k .
Conversely, assume the given condition satisfies by the family of normal subgroup H 1 , H 2 ,..., H k .
Then ,
G H1 , H 2 ,..., H k x G can be represented as x x1 x2 ...xk where xi H i .
Now we have to prove that such representation is unique. For it, let us suppose that another
representation is x y1 y2 ... yk where yi H i . Then by lemma 1, x1 x2 ...xk y1 y2 ... yk implies that
1 1 1 1 1 1
xi yi ( y1 x1 )( y 2 x2 )...( yi 1 xi 1 )( yi 1 xi 1 )...( y k xk )
Thus, xk yk i 1, 2, ..., k
By the definition of internal direct product we can stated it as: If G N1 N 2 then G is internal direct
product of the normals G N1 and G N 2 .
Conversly, up to isomorphism, every internal direct product can also be realised as an external direct
product.
Theorem 10: If G is the internal direct product of the normal subgroups H 1 , H 2 ,..., H k , then
G H1 H 2 ... H k .
By the previous theorem we know that every element in G has the unique representation x1 x2 ...xk for
Department of Mathematics
Uttarakhand Open University Page 75
ADVANCED ABSTRACT ALGEBRA MAT501
f ( x1 y1 , x2 y2 ,..., xk yk )
( x1 , x2 ,..., xk ), ( y1 , y2 ,..., yk )
f ( x) f ( y )
f is an isomorphism.
Theorem 11: Let p is a prime and G is a finite group s.t. p | O(G) , then x G s.t., O( x) p.
Proof: First we prove the result for finite abelian group G by the induction on n O(G) . Since result
is true for n 1. Assume that it is true for all group having order less than O(G) . If Group has non-
trivial subgroup then G is cycilc group of prime order.
Since p | O(G), O(G) p, G x s.t. O( x) O(G) p . So result follows.
Let now H be a non-trivial subgroup of G i.e., H {e} , G . Since G is abelian, H is normal in G . If
p | O( H ) , then, by induction hypothesis as O( H ) O(G), H is abelian, x H s.t.
O( x) p, x H x G . So, result is again true.
Let p is not divisor of O(H ) .
G
Since O(G) O(G / H ). O(H ) and p | O(G) , we find p | O .O( H )
H
G
But p is not divisor of O(H ) , hence p | O(G / H ) . Also O O(G ) as H {e} and G is abelian
H
G
means is abelian.
H
G
So, by induction hypothesis has an element Hy of order p .
H
( Hy) p H
Hy p H
yp H
( y p )t e where t O(H )
( yt ) p e
O( y t ) | p
O( y t ) 1 or p
Department of Mathematics
Uttarakhand Open University Page 76
ADVANCED ABSTRACT ALGEBRA MAT501
( Hy ) t H
O( Hy) | t
p | t O( H ) , which is a contradiction
O( y t ) p, y t G
Hence for this case result is true.
By induction, result is true for all abelian groups.
Let now G be a any group. We again use induction on O(G) . The result is vacuously true for
O(G) 1 . Assume result is true for all groups with order less then O(G) . If T G and p | O(T ) then
by induction hypothesis x T s.t. O( x) p . So, result is true in this case. Assume p is not divisor of
O(T ) for all T G . Consider the class equation of G
O(G )
O(G ) O( Z (G ))
aZ ( G ) O ( N ( a ))
O(G )
p
aZ ( G ) O ( N ( a ))
O(G )
Since p | O(G) , we have p | O(G )
aZ ( G ) O( N ( a ))
O( Z (G ))
Department of Mathematics
Uttarakhand Open University Page 77
ADVANCED ABSTRACT ALGEBRA MAT501
f a ( x) ax
Let G ' Collection of such permutations then G ' forms a group and G G ' .
Since 2 | O(G) , then by Cauchy’s theorem there exist an element g G , s.t., O( g ) 2 and f g G ' .
As we know every permutation can be written as product of disjoint cycles either 1-cycle or 2-cycle as
O( g ) 2 i.e., g 2 e
Notice f g ( x) f g ( fg ( x)) g 2 x x I ( x)
2
fg I
2
Since, permutation f g in the cycle form cannot have any 1-cycle also, as suppose (x) is a 1-cycle then
xx
i.e., f g ( x) x gx x g e
not true as O( g ) 2 .
Hence f g as permutation can be expressed as product of 2-cycles only. Since O(G) 2n there can be
n two cycles.
So f g can be expressed as product of n (odd) number of transposition or that f g is an odd permutation.
Thus in the even permutation G ' has n / 2 elements. f g G ' , f g is odd, so G ' contains both even and
odd permutations.
If H contains only even permutations then,
O(G ' ) O(G ' )
O( H ) 2
2 O( H )
Since G ' G and G ' has a normal subgroup, G will have a normal subgroup or that G is not simple.
For e.g., any group having order 30 is not simple as O(G) 30 2.15 .
Department of Mathematics
Uttarakhand Open University Page 78
ADVANCED ABSTRACT ALGEBRA MAT501
Problem 3: Which of the following external direct product of groups are cyclic and why?
(i) Z4 Z6 (ii) Z2 Z3
5.6 SUMMARY
In this unit, we have studied about the external direct products, internal direct products and Cauchy’s
theorem for finite abelian group and also there related theorems and examples. After completions of
this unit learners are able to memorise the following things:
External direct product of groups is also a group and this direct product does not affected by the
operations of each individual groups.
External direct product of infinite cyclic groups is not cyclic group and also external direct
product of finite cyclic groups may or may not be cyclic.
Any group of order 2n , where n is odd integer ( 1) , is not simple
5.7 GLOSSARY
H1 , H 2 ,..., H k iff G H1 H 2 ...H k and H i ( H1H 2 ...H i1 H i1...H k ) {e} for each i 1,2,..., k
5.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
https://epgp.inflibnet.ac.in/Home/ViewSubject?catid=ZLCHeZEhCZ8yCri36nSF3A==
https://epgp.inflibnet.ac.in/Home/ViewSubject?catid=ZLCHeZEhCZ8yCri36nSF3A==
Department of Mathematics
Uttarakhand Open University Page 79
ADVANCED ABSTRACT ALGEBRA MAT501
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
1. If G1 and G2 are two finite groups. Then prove that for each element a G1 and b G2 , the
order of the element (a, b) in the group G1 G2 is lcm(O(a), O(b)) .
2. If G1 and G2 are two groups. Then G1 G2 / G1 {e2 } G2 and G1 G2 /{e1} G2 G1
3. If G1 and G2 are two groups and H1 , H 2 are two normals of G1 ,G2 respectively then prove that
H1 H 2 is normal in G1 G2 and G1 G2 / H1 H 2 G1 / H1 G2 / H 2 and
G1 G2 /{e1} G2 G1
4. Let H 1 , H 2 ,..., H k are normal subgroup of G . Then prove that G is the internal direct product
of H1 , H 2 ,..., H k iff
H i e1 , e2 ,..., ei1 , ai , ei1 ,..., en | ai Gi for each i 1, 2, ..., n . Then prove that
(ii) Every element of G can be expresses uniquely as h1h2 ...hn where hi H i for each i 1, 2, ..., n .
6. Prove that if any group G is internal direct product of normal subgroups H1 , H 2 , H 3 ,..., H k
then, G H1 H 2 H 3 ... H k
11. Prove that the external direct product of two cyclic groups Z 4 and Z 6 is not cyclic.
Department of Mathematics
Uttarakhand Open University Page 80
ADVANCED ABSTRACT ALGEBRA MAT501
12. Prove that the external direct product G1 G2 of two groups G1 and G2 is abelian if and only if
5.11 ANSWERS
Department of Mathematics
Uttarakhand Open University Page 81
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
6.1 Introduction
6.2 Objectives
6.3 p- Group
6.5 Summary
6.6 Glossary
6.7 References
6.1 INTRODUCTION
Norwegian mathematician Peter Ludwig Mejdell Sylow (12 December 1832 – 7 September 1918)
established key ideas in group theory.
He was born and passed away in Christiania, which is now Oslo. Sylow was the brother of Carl Sylow,
a military commander and sports figure, and the son of government minister Thomas Edvard von
Westen Sylow. He attended Christiania Cathedral School in 1850 and Christiania University in 1856.
Sylow taught in the high school at Hartvig Nissen School before going on to lead Halden as its
headmaster from 1858 to 1898.
Department of Mathematics
Uttarakhand Open University Page 82
ADVANCED ABSTRACT ALGEBRA MAT501
In 1862, he taught Galois theory as a guest lecturer at Christiania University. He then raised the
query that resulted in his theorems concerning Sylow subgroups. After publishing the Sylow theorems
in 1872, Sylow spent the next eight years of his life working with Sophus Lie to edit his countryman's
mathematical writings, Niels Henrik Abel. He was appointed as a professor at the University of
Christiania in 1898.
He received the Kronprinsens gullmedalje (Crown Prince's Gold Medal) from the University of
Oslo in 1853. He was chosen for admission to the Norwegian Academy of Science and Letters in
1868. He received an honorary degree from the University of Copenhagen in 1894, and he afterwards
joined Acta Mathematica as an editor.
Three conclusions on the structure of finite groups were proven by the French mathematician
M. L. Sylow, and they are used to describe simple groups. It's noteworthy to note that M. L. Sylow
was able to demonstrate same conclusions for permutation groups. George Frobenious was inspired by
the Cayley's Theorem to demonstrate the Sylow Theorems in a broader context. Here, we demonstrate
the Sylow Theorems using group action methods. To do this, we must first demonstrate the following
two findings on group behaviour.
We will talk about Sylow's three theorems, p-groups, and their applications in this unit. The
concepts created are so valuable that much about a group's nature may be understood just by knowing
its arrangement.
6.2 OBJECTIVES
Department of Mathematics
Uttarakhand Open University Page 83
ADVANCED ABSTRACT ALGEBRA MAT501
6.3 p-Group
Definition: Any group is called p-group if its each element has order p r where p prime. Here it
should be remember that p will be same for all element of group and only r may different for different
elements.
e.g., In the K 4 I , (1 2)(3 4), (13)(2 4), (1 4)(2 3) group and the Quaternian group
Q8 1, i, j, k, each elements are of order 2 r . So, these groups are called 2-group.
Here we will learn about mainly about the finite groups.
Theorem 1: Any finite group G is p-group iff O(G) p n .
Proof: Let we assume that G is p-group then there exist prime q s.t., q | O(G) . Then by Cauchy’s
theorem there exist an element a G s.t., O(a) q . But according to definition of p-group O(a) p r .
q pr
Conversely, let we consider O(G) p n and any element a G . Then by Lagrange’s theorem
O( x) | O(G) p n O( x) p r
Note (i): Each p-group has non-trivial centre because each group of order p n , O(Z (G)) 1 .
(ii): Any p-group may or may not be abelian. For e.g., K 4 is abelian and Q8 is not abelian while both
are 2-group.
Example 1: Let H, K are two subgroup of finite group G then either H K or K H . Then prove
that G is p-group.
Solution: If G is a cyclic group of prime order and G has no proper subgroup, thus result is true.
Let us suppose that H ( G) is a proper subgroup of G .
First we will prove that G will be cyclic.
Since H G, x G, s.t., x H .
Let K x , then K H as x K , x H
So, according to given condition, H K
If K G then G is cyclic (as K is cyclic)
Suppose K G then y G s.t., y K
Department of Mathematics
Uttarakhand Open University Page 84
ADVANCED ABSTRACT ALGEBRA MAT501
Let L y then L
K and by given condition K L
If L G , G will be cyclic, L G proceed as above and as G is finite, after a finite steps, we find that
G is cyclic.
To prove that G is p-group, suppose two distinct primes p, q s.t., p, q | O(G) . Since G is cyclic,
subgroup H and K of G with O( H ) p, O( K ) q (For the cyclic group convers of Lagrange’s
theorem holds)
Now, H
K as O( H ) | O( K )
K
H as O( K ) | O( H )
Wherever there is a conflict with the claimed statement.
Hence only one prime dividing O(G) or that G is a p-group.
Converse of this example also holds.
Example 2: If H and K are two subgroup of a finite cyclic p- group G then either K H or H K .
Proof: Let G x is cyclic group and x is its generator, then O(G) O( x) p n where p prime.
Let H x m
Let d gcd(m, p n )
Thus, x d H
Again as d | m , m dq
So, x m ( x d ) q x d
Or that H x m x d
And so H x p
i
integer.
Now x p x p
i k t
xp k pt
K
H xp K
i
If k i, then K H
Hence prove the result.
Example 3: Prove that each proper subgroup is proper subgroup of its normalizer in finite p-group G .
OR
Department of Mathematics
Uttarakhand Open University Page 85
ADVANCED ABSTRACT ALGEBRA MAT501
G
Now, O p m , m n
Z (G )
G H
For convenience, we write Z (G) N , then by induction hypothesis, Ng , Ng , s.t.
N N
Ng
H
Ng 1 H
N N
H
NgNhNg 1 h H
N
Nghg 1 Nh1 for some h1 H
1
ghg 1h1 N Z (G ) H
ghg 1 H h H
gHg 1 H
gHg 1 H as O( gHg 1 ) O( H )
H
Thus g N (H ) and as Ng , g H , or that N ( H ) H , a contradiction. Hence H N (H )
N
Thus result is true for n also.
By induction, result is true for all n 1 .
Example 4: Let for a prime ( p ) O(G) p n . If H G s.t. O( H ) p n1 , then show that H is normal
subgroup in G.
Solution: H N ( H ) G
Department of Mathematics
Uttarakhand Open University Page 86
ADVANCED ABSTRACT ALGEBRA MAT501
O( N ( H )) p n1 or p n
If O( N ( H )) p n o(G)
Then N ( H ) G
And so H is normal in G .
If O( N ( H )) p n1
Then N ( H ) H
Since Z (G) N ( H ) H
H
O p n1m , where O(Z (G)) p m , m 0
Z (G )
G
and O p nm ,
Z (G )
Now we will prove result by induction method on n . When n 1, H {e} and so H is normal in G .
G
Assume result to be true for all p groups with order less then O(G) . Here is a p group s.t.,
Z (G )
G H H
O p nm , n m n (as m 0 ) and O p nm1. By induction hypothesis, is
Z (G ) Z (G ) Z (G )
G
normal H is normal in G . So N ( H ) G H G , a contradiction. Thus, O( N ( H )) p n1 .
Z (G )
So result is true for n also. Hence, result is true for all n 0
Lemma 1: Let G be a group of order p n , p be a prime and S be a finite G -set. If
S0 a S | ga ag G, then | S || S 0 | (mod p)
Proof: Let a S . Then a S0 if and only if the orbit [a] {a} , equivalently | [a] | 1 . Hence
S can be written as a disjoint union S S0 [a1 ] [a2 ] ... [ak ] where [a1 ], [a2 ],...,[ak ] are
distinct orbits of G on S and disjoint with S 0 . Then | S || S0 | | [a1 ] | | [a2 ] | ... | [ak ] | . Since
|G|
ai S0 , so there is g G such that gai ai g Gai and so | Gai || G | . Thus | [ai ] || 1.
| Gai |
k
Then | [ai ] || 1 and | [ai ] | [G : Gai ] || G | p n p || [ai ] | 1 i k . Hence | p [ai ] and it follows that
i 1
S S 0 (mod p ) .
Recall that if every element of a group G has order p n ; n 0 for some fixed prime p , then G
Department of Mathematics
Uttarakhand Open University Page 87
ADVANCED ABSTRACT ALGEBRA MAT501
is called a p - group. With the help of Cauchy's Theorem we have proved that a finite group G is a p -
Proof: Let S be the set of all left cosets of H in G. Then H S S given by ( g , aH ) ( ga) H is an
aH S0 gaH g G
a 1 ga H g G
a 1 Ha H
a NG (H )
shows that S 0 is the set of all left cosets aH such that that a N G (H ) , that is S 0 [ N G ( H ) : H .
Hence [G : H ] [ NG ( H ) : H ] (mod p) .
NG ( H ) H .
Proof: Since G is a finite group and H is a p -subgroup of G , so
[G : H ] [ NG ( H ) : H ] (mod p)
Now we will discuss about the three main fundamental theorem of Sylow’s named as Sylow’s theorem
and also their implementation in various examples.
Theorem 2: (Sylow's First Theorem) Let G be a finite group of order p n m , where p is a prime,
Department of Mathematics
Uttarakhand Open University Page 88
ADVANCED ABSTRACT ALGEBRA MAT501
n 0, p | G and it follows from the Cauchy's Theorem that G has a subgroup H of order p .
it follows from the Cauchy's Theorem that the quotient group N ( H ) / H has a subgroup K / H of
p n . The second part of the Sylow's first theorem motivates us to introduce the notion of maximal
p -subgroups.
Definition: Let p be a prime, then a subgroup P of G is called a Sylow p -subgroup if it is a
maximal p -subgroup of G , that is, if H is a p -subgroup of G and P H G then P H . If G is
a finite group then G can have only finitely many subgroups and a maximal p -subgroup.
If G is infinite then, also G has a maximal p -subgroup, by the Zorn's Lemma. Thus, for every prime
p every group G has a Sylow p -subgroup, though they may be trivial.
We have following equivalent characterization of Sylow p -subgroups.
Proof: First assume that H is a subgroup of G such that | H | p n . Let K be a p -subgroup of G such
Conversely, suppose that H is a Sylow p -subgroup. Then H p r for some r 0 . Now, by the
then, the Sylow's first theorem H is contained in a subgroup K of order p r 1 which contradicts that H
Department of Mathematics
Uttarakhand Open University Page 89
ADVANCED ABSTRACT ALGEBRA MAT501
normal, so G has unique Sylow p i -subgroup for every p i , say Pi . Let ai Pi and a j Pj , where
Now gcd Pi , Pj 1
by the Lagrange's Theorem, that Pi Pj 1 and so Pi Pj {e} . Thus ai a j a j ai . Now let
O(a ) | p1 1 ... pr 1
n nr 1
pr 1
nr 1 n
n n
... pk k . Since gcd pr r , p1 1 ... pr 1
nr 1
pr 1
nr 1
... pk
nk
1. So O(a) 1 and
Hence G P1 P2 ...Pr 1 Pr !...Pk and G is an internal direct product of the Sylow subgroups
P1 , P2 ,..., Pr 1 , Pr ! ,..., Pk .
Proof (i): Let H be a Sylow p -subgroup of G and K be a conjugate of H . Then K aHa 1 for
(ii): Let H be the unique Sylow p -subgroup of G . Then g G, gHg 1 , is a Sylow p -subgroup and
Theorem 5: (Sylow's Second Theorem) Let G be a finite group of order p n m , where p is a prime,
n 0 and gcd(m, n) 1. Then any two Sylow p -subgroups of G are conjugate, and also isomorphic.
Department of Mathematics
Uttarakhand Open University Page 90
ADVANCED ABSTRACT ALGEBRA MAT501
so it follows that
S S 0 (mod p ) , where
S 0 aH S | (ka ) H aH k K aH S | a 1ka H k K aH S | a 1 Ka H .
Now S G : H
|G|
m p | S , since gcd( p, m) 1 and p | S 0 . Thus S 0 0 . Let aH S 0 .
|H|
conjugate, by the Sylow's second theorem. Hence there is a G such that Q apa 1 . Since P is
Now P aPa 1 both P and aPa1 are Sylow p -subgroup of G and hence N (P) .
Since P is normal in N (P) , so P is the unique Sylow p -subgroup of N (P) , and it follows that
Theorem 6: (Sylow's Third Theorem) Let G be a finite group of order p n m , where p is a prime,
n 0 and gcd(m, p) 1 .
Department of Mathematics
Uttarakhand Open University Page 91
ADVANCED ABSTRACT ALGEBRA MAT501
Then the number of Sylow p-subgroup ( n p ) is of the form 1 kp for some k 0 and is such that
np | pnm .
Proof: Let S be the set of all Sylow p -subgroups of G and P be a Sylow p -subgroup. Consider
action of P on S by conjugation, that is
( p, H ) pHp 1
a N (Q) such that P aQa 1 . But then P Q , since aQa 1 Q . Hence S0 {P} and it follows that
| S | 1(mod p) , that is | S | 1 kp for some k 0 .
To prove the second part, consider action of G on S by conjugation. Then there is only one
orbit of G on S , and so S [ p] for every Sylow p -subgroup P of G . Thus
n p | S || [ P] | [G : G p ]
and hence n p | G
n3 3k 1 for some integer k 0 and n3 | 99 . It follows that G has unique Sylow 3-subgroup, say H
which is normal in G and | H | 9. Similarly G has unique Sylow 11-subgroup, say K which is
normal in G and | K | 11 . Then H K {e} and | HK || H | | K | 99 implies that G HK . Thus G
Then n3 1 3k for some k 0 and n3 | 15 . Hence n3 1 and G has unique Sylow 3-subgroup,
Department of Mathematics
Uttarakhand Open University Page 92
ADVANCED ABSTRACT ALGEBRA MAT501
say H . Then H is normal in G . Similarly G has unique Sylow 5-subgroup K and so K is normal in
G . Since gcd(| H |, | K |) 1, so | H K | 1 and we have
| H || K |
| HK | 15
|H K |
Thus G HK and G becomes an internal direct product of K and H . Now | H | 3 , a prime
implies that H Z 3 . Similarly K Z 5 . Therefore,
G H K Z3 Z5 Z15
Example 8: Prove that each group having order 255 is cyclic.
Let G be a group of order 255 17.5.3 . Let n17 be the number of Sylow 17-subgroups. Then
n17 17k 1 for some integer k 0 and n17 | 255 implies that n17 1 . Thus G has unique Sylow 17-
subgroup, say H which is normal in G and | H | 17 . Then the normalizer of H is N ( H ) G . Since
N (H ) N (H )
is isomorphic to a subgroup of Aut (H ) , so divides | Aut ( H ) || Aut (Z17 ) | . Now
C(H ) C(H )
G G
Aut (Z17 ) U17 implies that divides 16. Also | G | 255 . Then gcd(16, 255) 1
C (H ) C(H )
G
1 and G C(H ) . Thus every element of H commutes with every element of G , whence
C(H )
H Z (G) . Then 17 | Z (G ) | , which also divides 255. Hence | Z (G) | 17, 51, 85 or 255 and so
G
15, 5, 3 or 1. But every group of order 15, 5, 3 or 1 is cyclic; and it follows that G is abelian.
ZG )
Now, by the fundamental theorem for finite abelian groups, G Z17 Z5 Z3 Z 255 .
Proof: Let G be a group of order 2 p . Then Cauchy's Theorem implies that G has an element a of
order p and an element b of order 2. Denote H a . Then [G : H ] 2 implies that H is normal
1
e and so p | i 2 1 (i 1)(i 1) , since O(a) p . Since p is a prime so p | i 1 or p | i 1 .
2
ai
Department of Mathematics
Uttarakhand Open University Page 93
ADVANCED ABSTRACT ALGEBRA MAT501
G
is, ba a p1b 1 a p1b . Also we have H a is normal in G such that 2 . Since
H
O(b) 2 | p | H | , so b H and bH H . Thus G / H H , bH . Therefore every element of G
that G D p .
a H i O(a) | O( H i ) 3 O(a) 1, 3 ].
Department of Mathematics
Uttarakhand Open University Page 94
ADVANCED ABSTRACT ALGEBRA MAT501
6.5 SUMMARY
In this unit, we have studied about the p groups and three fundamental Sylow’s theorem ( Sylow
first, second and third theorem) and also their applications and implementation on various examples.
After completions of this unit learners are able to memorise the following things:
6.6 GLOSSARY
Any group is called p-group if its each element has order p r where p prime.
Department of Mathematics
Uttarakhand Open University Page 95
ADVANCED ABSTRACT ALGEBRA MAT501
and gcd(m, p) 1 . Then the number of Sylow p-subgroup ( n p ) is of the form 1 kp for some
6.7 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
https://epgp.inflibnet.ac.in/Home/ViewSubject?catid=ZLCHeZEhCZ8yCri36nSF3A==
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
Department of Mathematics
Uttarakhand Open University Page 96
ADVANCED ABSTRACT ALGEBRA MAT501
6.10 ANSWERS
1. No 2. Yes
18. D7 19. 1
Department of Mathematics
Uttarakhand Open University Page 97
ADVANCED ABSTRACT ALGEBRA MAT501
BLOCK III
Department of Mathematics
Uttarakhand Open University Page 98
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
7.1 Introduction
7.2 Objectives
7.5 Summary
7.6 Glossary
7.7 References
7.1 INTRODUCTION
There may not be a composition series, and if there is, it need not be unique. However, a
collection of findings together referred to as the Jordan-Hölder theorem states that wherever
composition series exist, the isomorphism classes of simple pieces and their multiplicities are defined
uniquely (albeit possibly not their exact locations within the composition series in issue). Thus,
Artinian modules and finite groups' invariants may be defined using composition series.
Department of Mathematics
Uttarakhand Open University Page 99
ADVANCED ABSTRACT ALGEBRA MAT501
7.2 OBJECTIVES
S S
cannot be any subgroup of order 4 or 5 in S 3 . We also notice that O 3 2 , a prime and thus 3 is
A3 A3
a simple group.
Example 2: If G is a simple group then it has no non trivial normal subgroup and so {e} will be a (and
only) maximal normal subgroup in G .
Theorem 1: H is maximal normal subgroup of G iff G / H is simple.
Proof: Let H be maximal normal in G . Any subgroup of G / H is of the form K / H where K G
and H K and also K / H is normal in G / H K G .
Department of Mathematics
Uttarakhand Open University Page 100
ADVANCED ABSTRACT ALGEBRA MAT501
Conversely, let G / H be simple. Suppose H is not maximal normal, then a normal subgroup K of
G s.t.,
H K G and thus K / H will be normal subgroup of G / H where K / H G / H , a
contradiction as G / H is simple.
Example 3: Any finite group G (with at least two elements) has a maximal normal subgroup.
Solution: If G is simple then it has no proper normal subgroup except {e} and thus {e} is a maximal
normal subgroup of G .
Suppose G is not simple. Then it has at least one normal subgroup N G, N {e} . If N is
maximal normal, we are done. If not, then there exist at least one normal subgroup M where
N M G . If M is maximal normal, we are done. We continue in this way if not. Given that and
only allow a finite number of subgroups, the aforementioned procedure must end after a finite number
of steps. A maximal normal subgroup will thus exist.
Example 4: Illustrate example of maximal normal subgroup while it is not a maximal subgroup.
Solution: Consider G Z 2 A5
normal subgroup of G .
Since H (0, I ), (1, I ), (0,123 ), (0,132 ) G
Department of Mathematics
Uttarakhand Open University Page 101
ADVANCED ABSTRACT ALGEBRA MAT501
K
i.e., is simple
H K
H K is maximal normal in K
Similarly, it is maximal normal in H .
Example 6: Show that Q, has no maximal normal subgroup.
Q Q
Solution: Suppose H is a maximal normal subgroup of Q, , then is simple and so has no
H H
non trivial normal subgroup i.e., it will have no non trivial subgroup ( Q being abelian, all subgroups
Q
are normal). Thus is a cyclic group of prime order p .
H
Q
Let H x be any element
H
Then p( H x) H
i.e., H px H or that px H x Q
y
let now y Q be any element, then Q
p
y
If x then y px y H or that
p
Q H Q H Q , a contradiction
Hence the result follows.
Definition: Let G be a group and sequence of subgroups
{e} H 0 H1 H 2 ...... H n G
H i 1
The factor (quotient) groups ( i) are called the factors of normal series.
Hi
Here each H i is normal in H i 1 , although it may not be normal in G . Also it is possible that H i H i 1
for some i . The number of distinct number of (1) excluding G is called the length of the normal series.
The above is expressed in short by saying that N H 0 , H1 ,..., H n is a normal series of G . If N and
M are two normal series of G s.t., N M then M is called a refinement of N (a proper refinement if
(N M ) .
Remark: Some author mostly prefer to name the above subnormal series. It is then called a normal
series if H i is normal in G i.
Department of Mathematics
Uttarakhand Open University Page 102
ADVANCED ABSTRACT ALGEBRA MAT501
{e} H 0 H1 H 2 ...... H n G
of G is called a composition series of G if
(i) every H i is normal subgroup of H i 1 (i 0,1, ..., n 1)
H i 1
(iii) is a simple group i .
Hi
H i 1
The quotient groups are called factors of the series.
Hi
By using the theorem 1 condition (iii) can be replaced by H i is a maximal normal subgroup of
H i 1 i .
We notice that aforesaid composition series is a normal series. Converse of above is not true and that
composition series has no gaps.
It is possible that group may have more than one composition series.
Example 8: In the group (Z , )
{0} 8 4 Z is a normal series while it is not a composition series as 4 is not maximal in
Z . It is also to be notify that 4 2 Z .
Example 9: In the Quaternion group Q8 ,
Department of Mathematics
Uttarakhand Open University Page 103
ADVANCED ABSTRACT ALGEBRA MAT501
All are the composition series of Q8 . If we rewrite the first series as G0 {1}, G1 {1, 1}
G2 {1, 1, i, i} then G0 G1 G2 G
G 8 G 4 G 2
So, O 2, O 2 2, O 1 2
G2 4 G1 2 G0 1
i.e., all quotient groups are of prime order and thus have no trivial normal subgroup and hence are
simple.
Theorem 2: Each finite group G has a composition series. (Here group has more than one element)
Proof: We prove this by induction method on order of the group.
G1 G
If O(G) 2 then the only composition series of G is {e} G0 G1 G . Since G and as
G0 {e}
G1
O(G) 2 , a prime it is simple group and therefore is simple.
G0
Suppose for the groups with order less than O(G) result holds. Now we will show results holds for G .
If G is simple then {e} G is the composition series for G . Suppose G is not simple.
Although G is finite, it has a maximal normal subgroup N G and as O( N ) O(G) , results holds for
N which then has a composition series, say
{e} N1 N 2 ... N
Then the series
{e} N1 N 2 ... N G will be a composition series for G .
Hence results holds.
Remark: If O(G) 1 , Sometimes, we claim that the results holds trivially since ( G ) is a composition
series of G .
7.5 SUMMARY
In this unit, we have studied about following major topics and their related theorems and examples.
Department of Mathematics
Uttarakhand Open University Page 104
ADVANCED ABSTRACT ALGEBRA MAT501
Illustration of normal series, subnormal series and on the basis of these to describe the
composition series.
7.6 GLOSSARY
H i 1 H i 1
(iii) is a simple group i , where are called factors of the series.
Hi Hi
7.7 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
https://epgp.inflibnet.ac.in/Home/ViewSubject?catid=ZLCHeZEhCZ8yCri36nSF3A==
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
1. Define normal series and also prove that H is maximal normal subgroup of G iff G / H is
simple.
Department of Mathematics
Uttarakhand Open University Page 105
ADVANCED ABSTRACT ALGEBRA MAT501
2. Define maximal subgroup and prove that finite group has maximal subgroup.
3. Prove that if H, K be two distinct maximal normal subgroup of G then G HK and H K is a
maximal normal subgroup of H as well as K .
4. Prove that group of rational number has no maximal normal subgroup.
5. Define the composition series and also prove that each finite group G has a composition series.
Short Answer Type Question:
6. Prove that alternating group A4 is maximal normal subgroup of S 4 .
7. Give an example of maximal normal subgroup while it is not a maximal subgroup.
8. Define maximal subgroup, simple group, normal series, composition series.
9. Find normal series of S 3 .
7.10 ANSWERS
Department of Mathematics
Uttarakhand Open University Page 106
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
8.1 Introduction
8.2 Objectives
8.4 Summary
8.5 Glossary
8.6 References
8.1 INTRODUCTION
Department of Mathematics
Uttarakhand Open University Page 107
ADVANCED ABSTRACT ALGEBRA MAT501
complete his habilitation there. Instead, he earned a second doctorate and habilitation at the University
of Göttingen, both in 1884.
He was given a job as an exceptional professor at Tübingen in 1889 after failing to obtain
government clearance for a teaching seat in Göttingen. Despite a temporary mental impairment
delaying his admission, he started working there in 1890. He assumed Sophus Lie's previous position
as a full professor at the University of Leipzig in 1899. He served there as rector in 1918 after serving
as dean from 1912 to 1913.
In 1899, he wed Helene, a politician's and a bank director's daughter. They have two girls and
two boys. His daughter Irmgard married a mathematician named Aurel Wintner, and his son Ernst
Hölder went on to become another mathematician.
Hölder ratified the German university and high school professors' oath of loyalty to Adolf Hitler and
the National Socialist State in 1933.
Leonard James Rogers established Holder's inequality, which bears Hölder's name, first. It is
named after a publication in which Hölder criticises it while referencing Rogers. This paper also
contains a demonstration of what is now known as Jensen's inequality, along with certain side
conditions that Jensen eventually deleted. Other theorems by Hölder include the Jordan-Hölder
theorem, which states that every linearly ordered group satisfying an Archimedean property is
isomorphic to a subgroup of the additive group of real numbers, the classification of simple groups
with orders up to 200, the anomalous outer automorphisms of the symmetric group S6, and Hölder's
theorem, which states that the Gamma function does not satisfy any algebraic differential equation.
The Hölder condition (or Hölder continuity), another concept bearing his name, is applied in many
analytical fields, including the theories of partial differential equations and function spaces.
8.2 OBJECTIVES
Department of Mathematics
Uttarakhand Open University Page 108
ADVANCED ABSTRACT ALGEBRA MAT501
Then n m and the two equivalent series of composition quotient groups., viz.,
G / H1 , H1 / H 2 ,..., H n1 / H n
two composition series for H1 . However, because H1 is a proper normal subgroup of G , its order is
lower than that of G . Therefore, the theorem holds true for H1 according to our induction hypothesis.
Since G / H1 G / K1 , therefore the theorem will remain true if we replace G in each of the series (1)
and (2).
Case II: H1 K1 . Using the third law of isomorphism, we have
H1K1 / H1 K1 / H1 K1
And H1K1 / K1 H1 / H1 K1
have H1 K1 G
G / H1 K1 / D where D H1 K1
and G / K1 H1 / D
are two composition series for G . Let us write the composition quotient groups of (3) and (4) in the
order
Department of Mathematics
Uttarakhand Open University Page 109
ADVANCED ABSTRACT ALGEBRA MAT501
G / H1 , H1 / D, D / D1 , D1 / D2 ,..., Dt 1 / Dt …(5)
The two composition series for G at this point, (1) and (3), each have H1 in the second position. Due
to instance 1, it is possible to place the quotient groups described by (1) and (3) into 1-1
correspondence, making the respective quotient groups isomorphic. To make the respective quotient
groups isomorphic, it is possible to put the quotient groups described by (2) and (4) into 1- 1
correspondence. As a result, the quotient groups defined by (1) and (2) are equal in number and are
isomorphic in some order since the relation of isomorphism in the set of all groups is an equivalence
relation. This completes the theorem's proof.
8.4 SUMMARY
After completing this unit we analyze that for any finite group (G) two composition series are always
identical i.e., they can be put into one-one correspondence such that the corresponding quotient groups
are isomorphic.
8.5 GLOSSARY
For a finite group (G) the Jordan- Hölder theorem states that two composition series
G, H1 , H 2 ,..., H n {e} … (1)
8.6 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Department of Mathematics
Uttarakhand Open University Page 110
ADVANCED ABSTRACT ALGEBRA MAT501
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
8.9 ANSWERS
3. Identical
Department of Mathematics
Uttarakhand Open University Page 111
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
9.1 Introduction
9.2 Objectives
9.6 Summary
9.7 Glossary
9.8 References
9.1 INTRODUCTION
A group having an upper central series that ends with G is referred to as a nilpotent group G in
mathematics, more especially group theory. In other words, either its lower central series ends in 1 or
its central series has a limited length. A group that is "almost abelian" is what we would term a
nilpotent group. The fact that nilpotent groups may be solved and that for finite nilpotent groups, two
members with relatively prime orders must commute serves as the inspiration for this concept.
Additionally, it is true that supersolvable finite nilpotent groups exist. The Russian mathematician
Sergei Chernikov is credited with developing the idea in the 1930s. Nilpotent groups appear in both
group classification and Galois theory. They play a significant role in the categorization of Lie groups
as well.
Department of Mathematics
Uttarakhand Open University Page 112
ADVANCED ABSTRACT ALGEBRA MAT501
A group that can be created from abelian groups via extensions is referred to as a solvable
group or soluble group in mathematics, more especially in the subject of group theory. A group is
solvable if its derived series terminates in the trivial subgroup, to put it another way.
9.2 OBJECTIVES
On commutative groups, the converse of the Lagrange's Theorem is true. In this chapter, we
characterise a broader category of groups called nilpotent groups, which satisfy the opposite of
Lagrange's Theorem. Additionally, every nilpotent group is a direct result of the subgroups of Sylow,
and vice versa.
Example 1: Each abelian group G is also a nilpotent group, since Z1 (G) Z (G) G . Converse of this
is also not true which shows in following result.
Theorem 1: Each finite p-group is nilpotent.
Proof: Let G be a finite p group. If | G | 1 , then G is nilpotent. Suppose that | G | 1 . Then G being
a nontrivial p group, it follows that Z1 (G) Z (G) {e} . If Z1 (G) G , then G / Z1 (G) is a nontrivial
p group and | Z (G / Z1 (G)) | 1. This implies Z 2 (G) contains Z1 (G) properly, that is
Department of Mathematics
Uttarakhand Open University Page 113
ADVANCED ABSTRACT ALGEBRA MAT501
{e} Z1 (G ) Z 2 (G ) ...
But it is not possible because G is finite group. Thus there is n Z such that Z n (G) G and G is
nilpotent.
Now we give an example of a subgroup which is not nilpotent.
Example 2: We know that Z (S3 ) {e} . Thus Z1 (S3 ) {e} and S3 / Z1 (S3 ) S3 . This implies
Z S3 / Z1 (S3 ) {{e}} . Since Z 2 ( S3 ) is the unique normal subgroup of S 3 such that
Z 2 (S3 ) / Z1 (S3 ) Z (S3 / Z1 (S3 )) {{e}} , so it follows that Z 2 (S3 ) / Z1 (S3 ) {e} . Similarly,
that the external direct product of groups and results holds for n 1. Assume that
Z n (G) Z n ( H ) Z n ( K ) for some n 1 . Since Z n ( H K ) Z n ( H ) Z n ( K ) , so there is an
HK
isomorphism : H / Z n ( H ) K / Z n ( K ) .
Z n (H K )
Now we have,
Z (G / Z n (G)) Z ( H K / Z n ( H K ))
Z ( ( H / Z n ( H ) K / Z n ( K )))
(Z ( H / Z n ( H ) K / Z n ( K )))
(Z ( H / Z n ( H )) Z ( K / Z n ( K )))
(Z n1 ( H ) / Z n ( H )) Z n1 ( K ) / Z n ( K ))
Z n1 ( H ) Z n1 ( K ) / Z n ( H ) Z n ( K ))
Z n1 ( H ) Z n1 ( K ) / Z n ( H K )
It follows that Z n1 (G) Z n1 ( H )Z n1 ( K ) because Z n1 (G) is the only normal subgroup of G such that
Accordingly, for all n 0,1, 2, ... Z n (G) Z n ( H ) Z n ( K ) according to the principle of mathematical
induction.
There is a positive integer n such that Z n ( H ) H and Z n ( K ) K since H and K are both nilpotent.
Hence
Department of Mathematics
Uttarakhand Open University Page 114
ADVANCED ABSTRACT ALGEBRA MAT501
As H K is nilpotent, Z n ( H K ) Z n ( H ) Z n ( K ) .
Using a descending central series, we now provide an alternate equivalent characterisation of nilpotent
groups. Assume G is a group and H and K are its two subgroups. The subgroup produced by all
elements of the form hkh1k 1 for every h H and all k K is denoted by [ H K ] . Next, we have
Lemma 1: Let G be a group, H, K be two subgroups of G and K normal in G . Then
[ H , G] K if and only if HK / K Z (G / K ) .
Definition: Let G be a group. Define inductively
G[1] G
G [i 1] [G [i ] , G ] for all i 1
Then the chain of normal subgroups
G G[1] G[ 2] ...
is called the descending central series of G .
Theorem 3: Let G be a group. Then G is nilpotent if and only if G[ n1] {e} for some integer
n 0.
Proof: First assume that there is an integer n 0 such that G[ n1] {e} . Consider the series
it is easy to check that G[i ] / G[i1] Z (G / G[i1] ) for all i 1,2,..., n and G [ n1i ] Z i (G ) for all
Conversely, suppose that G is nilpotent. Then there is an integer n 1 such that Z n (G) G
Thus we have a series of normal subgroups
{e} Z 0 (G) Z1 (G) ... Z n (G) G
G[ n1] {e} .
Theorem 4: Each subgroup of a nilpotent group is nilpotent.
Proof: Let G be a group and H be a subgroup of G. Since G is nilpotent, so there is an
integer n 0 such that G[ n1] {e} . Now we show that H [i ] G[i ] by the induction on i . Now
hence, by the principle of mathematical induction, H [i ] G[i ] for all i 1,2,..., n 1 . Hence
H [ n1] G[ n1] {e} , and so H is nilpotent.
Department of Mathematics
Uttarakhand Open University Page 115
ADVANCED ABSTRACT ALGEBRA MAT501
Since H is proper and Z 0 (G) H , so there is the largest index m n such that Z m (G ) H . Then
aZ m (G) Z (G / Z m (G)) and so haZ m (G) ahZ m (G) for every hH . Hence
h 1a 1ha Z m (G ) H which implies that a 1ha h(h 1a 1ha) H . Thus a 1 Ha H and a N (H )
Thus N ( P) G and every Sylow subgroup of G is normal. Hence, G is a direct product of its
Sylow subgroups.
Conversely, let G be a direct product of its Sylow subgroups P1 , P2 ,..., Pk . Since Pi is a p i -group for
some prime p i , so Pi is nilpotent for every i 1,2,..., k Hence their direct product G is also
nilpotent.
The result that follows now demonstrates that the converse of Lagrange's Theorem is true for all
nilpotent groups.
Corollary 1: Let G be a finite nilpotent group. Then for every positive divisor m of | G | , G
has a subgroup of order m .
Proof: Let | G | p1 1 p2 2 ... pk k . Since G is nilpotent, iso G P1 P2 ... Pk , where Pi is the sylow
n n n
i
1 k 2 k
pi subgroup of G for i 1,2,..., k . Also | Pi | pi i . Let m be a positive integer such that m | G .
Department of Mathematics
Uttarakhand Open University Page 116
ADVANCED ABSTRACT ALGEBRA MAT501
Solvable groups first appeared in the setting of Galois theory. Galois developed this idea to explore the
quintics' radical solvability over an extended period of time. Solvable groups are a class of groups that
are fascinating in and of themselves, particularly in relation to the idea of finite groups. Here, we treat
the solvable groups using only group theory.
Definition 1: Let G be a group. Then a chain
G H 0 H1 ...H n1 H n {e}
every i 0,1,..., n 1.
A group G is called a solvable group if G has a solvable series.
Each abelian group is solvable. For, if G is abelian, then G H 0 H1 {e} is a solvable series for G
Example 4: S3 H 0 {e, (123), (132)} {e} is a solvable series for S 3 . Thus S 3 is a solvable group
is a solvable series, since Zi (G) / Zi1 (G) Z (G / Zi1 (G)) which is abelian for every i 1,2,..., n .
Department of Mathematics
Uttarakhand Open University Page 117
ADVANCED ABSTRACT ALGEBRA MAT501
This is a solvable series for G H , since Gi 1 H 0 is normal in Gi H 0 and {e} H i1 is normal in
Gi H 0 {e} H i
{e} H i , and both Gi / Gi 1 and H i / H i 1 are abelian.
Gi 1 H 0 {e} H i 1
Hence G H is a solvable group.
Theorem 8: Let G be a solvable group. Then every subgroup of G is solvable.
Proof: Let H be a subgroup of G . Since G is solvable, so it has a solvable series, say
G G0 G1 ... Gn {e}
G H 0 H1 ... H n {e}
Of subgroup of H . Now
H i1 H Gi1 H Gi Gi1 H i Gi1
Hi Hi HG
Then using the second isomorphism theorem, that i i 1 . Since the quotient
H i 1 H i Gi 1 Gi 1
H i Gi 1
group is a subgroup of the abelian group Gi / Gi1 , so it is abelian group. Thus
Gi 1
Is a solvable series for H and the subgroup H is a solvable group.
Theorem 9: Let G be a solvable group. Then the quotient group G / H is solvable for every normal
subgroup H of G .
Proof: Let G G0 G1 ... Gn {e} be a solvable series of G . Since H is a normal subgroup, so
G / H G0 / H G1 H / H G2 H / H ... Gn H / H {H }
aGi1 aGi1 H .
Then Gi1 Gi1 H implies that is well-defined and for every ah Gi H ,
Department of Mathematics
Uttarakhand Open University Page 118
ADVANCED ABSTRACT ALGEBRA MAT501
is onto.
Also is a homomorphism. Since Gi / Gi1 is abelian it follows that Gi H / Gi1 H Gi / Gi1 is
abelian. Thus the series
G / H G0 / H G1 H / H G2 H / H ... Gn H / H {H } is a solvable series and the quotient
group G / H is solvable group.
Corollary 2: Each homomorphic image of solvable group is solvable.
Proof: Let G be a solvable group and f : G G be an epimorphism. Then by the first isomorphism
theorem G / ker f G . Since G is solvable, the quotient G / ker f is a solvable group. Hence G is
solvable.
Theorem 10: If H be a normal subgroup of a group G . If both H and G / H are solvable, then G is
solvable.
Proof: The correspondence theorem implies that every subgroup of G / H is of the form K / H , where
K is a subgroup of G such that H K , and K / H is normal in G / H if and only if K is normal in G .
Since G / H is a solvable group, so it has a solvable series, say
G / H K 0 / H K1 / H ... K m / H {H } .
Ki / H K
Since K i1 / H is normal in K i / H , so Ki1 is normal in K i and i , by the third
K i 1 / H K i 1
Department of Mathematics
Uttarakhand Open University Page 119
ADVANCED ABSTRACT ALGEBRA MAT501
Corollary 4: Let G be a solvable group and H, K be two normal subgroup of G such that both the
quotients G / H and G / K are solvable. Then G is solvable if and only if H K is solvable.
Proof: Let G be a solvable group. Since H K is a subgroup of G , so it is solvable.
Conversely, assume that H K is a solvable group. Both H and K are normal. Now using second
isomorphism theorem, HK / H K / H K . Since HK / H is a subgroup of the solvable group G / H
, so it is and hence K / H K is solvable. Then it follows that K is solvable, Since H K is solvable.
Thus both G / K and K are solvable, and hence G is solvable.
Example 5: Let G be a group of order 14 7 2 . Then it follows from the Sylow theorems that G has
a normal Sylow 7-subgroup 7 subgroup H . Since | H | 7 which is a prime, so H is a solvable
group. Similarly, | G / H | 2 the quotient G / H is solvable. Hence G is solvable.
Example 6: Let G be a group of order 2002 143 7 2 . Then it follows from the Sylow theorem
that G has a normal Sylow 143 subgroup H . Since | H | 143 which is a prime, so H is asolvable
group. Now | G / H | 14 and hence it is solvable. Thus G is a solvable group.
In this section, we characterise solvable groups in a way that is equivalent to the series of derived
subgroups. This similar characterization aids in our demonstration that S n cannot be solved for all
n 5 . A discussion of the opposite of Lagrange's Theorem on solvable groups marks the end of this
section.
Definition: Let G be a group. Then subgroup generated by the set {aba 1b 1 | a, b G} is called the
commutator subgroup of G .
It is denoted by G ' and the elements of the form aba 1b 1 | a, b G are called commutators.
If G is an abelian group, then for each a, b G, aba 1b 1 e and hence G ' {e} . Conversely,
if G ' {e} then aba 1b 1 e ab ba a, b G . Thus G is abelian. Hence G is abelian if and only
if G ' {e} . In some sense G ' is a reverse measure of how much G is commutative.
Theorem 11: Let G be a group. Then the derived subgroup G ' is a normal subgroup of G and the
quotient group G / G ' is abelian.
Proof: Let x G ' and g G . Then gxg 1 x 1 G ' . Since G ' is a subgroup, gxg 1 gxg 1 x 1 x G ' .
Department of Mathematics
Uttarakhand Open University Page 120
ADVANCED ABSTRACT ALGEBRA MAT501
Let a, b G . Then ab(ba) 1 aba 1b 1 G ' abG' baG' , i.e., (aG' )(bG' ) (bG' )(aG' ) .
G ( i 1) G ( i )
'
Thus a sequence of subgroups G G (1) G ( 2 ) ... , where each G (i1) is a normal subgroup of G (i )
' ' ' '
Theorem 13: Let G be a group. Then G is solvable if and only if there is a positive integer n such that
G ( n ) {e} .
'
Proof: If G ( n ) {e} , then the chain G G (1) G ( 2 ) ...G ( n ) {e} become a solvable series for G.
' ' ' '
Hence G is solvable.
Conversely assume that G is a solvable group. Then G has a solvable series, say
G G0 G1 G2 ...Gn {e} . Since for every i, Gi is normal subgroup of Gi 1 and Gi 1 / Gi is
Lemma 2: If H is a subgroup of S n ( n 5 ) that contains all 3-cycles, then H ' contains all 3-cycles in
Sn .
Proof: Let (abc) be a 3-cycle in S n . Since n 5 , we have two symbols x and y such that
Department of Mathematics
Uttarakhand Open University Page 121
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: Let A be the set containing all 3 cycle in S n . Since n 5 , so by the above lemma A S n' .
Applying the same repeatedly, we get A S n(k ) for each k N . Hence S n( k ) {e} for each k N and
S n is not solvable.
The Sylow theorems, which are valid for finite solvable groups, are now generalised as follows. P.
Hall demonstrated this outcome in 1928.
Definition: Let G be a group. A subgroup H of G is called a characteristic in G if ( H ) H for
every automorphism : G G ; and H is called fully invariant if f ( H ) H for all endomorphism
f :G G.
Let H be a characteristic of G and : G G be an automorphism. Then ( H ) H . Also
(iii): Since the commutator subgroup N ' is fully invariant in N and N is normal in G , so it follows
that N ' is normal in G . Then, the minimality of N implies that N ' {e} or N ' N . Since N is
solvable, N ' N and so N ' {e} . Hence N is an abelian group. Also, by the minimality of N , | N | 1
abelian, so P is normal; and it follows that P is fully invariant. Hence P is normal in G . Then
minimally of N implies that N P .
We also require the conclusion regarding Sylow subgroups, which we declare here without providing
any evidence.
Department of Mathematics
Uttarakhand Open University Page 122
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: We prove this result by induction on | G | . The result is trivial for all groups G with | G | 5 .
Consider a group G and assume that the result holds for all groups of order | G | . Let | G | mn and
gcd(m, n) 1 .
Now two cases are arises:
Case I: G has a proper normal subgroup N such that n | | N | . By Lagrange’s theorem, | N | m1n1
m n m n
group and | G / N | . mn together with gcd , 1 implies, by the induction hypothesis
m1 n1 m1 n1
m
that, G / N has a subgroup K / N of order , where K is a subgroup of G . Then K is solvable, and
m1
m
| K || K / N | . | N | .m1n1 mn1 mn
m1
of G , then arguing similarly we have | K | q 8 for some prime q and K is the unique Sylow q
Department of Mathematics
Uttarakhand Open University Page 123
ADVANCED ABSTRACT ALGEBRA MAT501
| G |.| N |
| M |
|K|
| G |.| N |
| HN |
| G |.| H N |
|H|
| H N | .
m. | H N | [| H | p r n]
Thus it is only to show | H N | 1 , which will prove in two parts
(i) H N Z (K ) and (ii) Z ( K ) {e}
(i) Let a H N . Since K HQ , every element of K is of the form hb where h H , b Q .
Since H is abelian, a commutes with h . So it suffices to show that a commutes with every b Q .
P is a character subgroup of K .
9.6 SUMMARY
Department of Mathematics
Uttarakhand Open University Page 124
ADVANCED ABSTRACT ALGEBRA MAT501
In this unit, we have studied about major topics in group theory like nilpotent group, solvable group
and symmetric groups S n for (n 5) and their related theorems and examples. After completion of
this unit we have learned the following important concepts:
9.7 GLOSSARY
9.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
Department of Mathematics
Uttarakhand Open University Page 125
ADVANCED ABSTRACT ALGEBRA MAT501
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
Department of Mathematics
Uttarakhand Open University Page 126
ADVANCED ABSTRACT ALGEBRA MAT501
9.11 ANSWERS
1. n 1, 2, 3, 4 2. Solvable 3. S3
Department of Mathematics
Uttarakhand Open University Page 127
ADVANCED ABSTRACT ALGEBRA MAT501
BLOCK IV
Department of Mathematics
Uttarakhand Open University Page 128
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENTS:
10.1 Introduction
10.2 Objectives
10.3 Ring. Definition
10.4 Ring with Unity. Definition
10.5 Commutative Ring. Definition
10.6 Boolean Ring. Definition
10.7 p-Rings. Definition
10.8 Zero divisor
10.9 Ring without zero divisors
10.10 Characteristics of a Ring. Definition
10.11 Subring
10.12 Improper and Proper Subring
10.13 Ideal. Definition
10.14 Improper and Proper ideal
10.15 Principal ideal
10.16 Principal ideal ring
10.17 Prime ideal
10.18 Quotient ring
10.19 Summary
10.20 Glossary
10.21 References
10.22 Suggested Reading
10.23 Terminal questions
10.24 Answers
10.1 INTRODUCTION
In algebra, the study of rings is known as ring theory. In rings, addition and multiplication are
defined and have characteristics in common with those of the operations specified for integers. Ring
theory explores the structure of rings, their representations, or in other words, modules, special classes
of rings (such as group rings, division rings), as well as a variety of properties that have proven useful
both for the theory's own purposes and for its practical applications, such as homological properties
and polynomial identities. Rings that are commutative are significantly easier to understand than those
that are not.
Commutative ring theory, often known as commutative algebra, is a significant branch of
modern mathematics that has its roots in algebraic geometry and algebraic number theory, which offer
several natural instances of commutative rings. The relationship between these three disciplines
Department of Mathematics
Uttarakhand Open University Page 129
ADVANCED ABSTRACT ALGEBRA MAT501
algebraic geometry, algebraic number theory, and commutative algebra is so close that it is sometimes
impossible to determine which discipline a given result belongs to. A basic theorem for algebraic
geometry is, for instance, Hilbert's Nullstellensatz, which is formulated and proven in terms of
commutative algebra.
Noncommutative rings have a very distinct character since they have a greater potential for
strange behaviour. Although the theory has grown on its own, a relatively recent tendency has
attempted to mirror the commutative growth by geometrically modelling the theory of some classes of
noncommutative rings as if they were rings of functions on (inexistent) "noncommutative spaces."
With the advancement of noncommutative geometry and the discovery of quantum groups, this
movement began in the 1980s. Noncommutative rings, particularly noncommutative Noetherian rings,
have been better understood as a result.
An ideal of a ring in mathematics, and more specifically in ring theory, is a unique subset of its
constituent parts. Certain subsets of the integers, such as the even numbers or the multiples of 3, are
generalized by ideals. The defining characteristics of an ideal are closure and absorption: adding and
subtracting even numbers maintains evenness, and multiplication an even number by any integer (even
or odd) yields an even number. Similar to how a normal subgroup may be used to create a quotient
group in group theory, an ideal can be used to create a quotient ring.
The ideals are the non-negative integers that correspond one-to-one with the integers; each
ideal in this ring is a main ideal made up of multiples of a single non-negative number. However, in
other rings, the ideals might not exactly match the ring components, and when certain integer qualities
are generalized to rings, they tend to attach to the ideals rather than the ring components more
naturally. For instance, the Chinese remainder theorem may be used to ideals and the prime ideals of a
ring are comparable to prime integers. The ideals of a Dedekind domain, a significant type of ring in
number theory, have a variant of unique prime factorization.
10.2 OBJECTIVES
The study of rings is a deep and multifaceted field with applications in various areas of mathematics
and beyond, the importance of ideals in the study of rings and algebraic structures. Ideals provide a
powerful framework for understanding the algebraic properties of rings and their connections to
various mathematical fields.
Department of Mathematics
Uttarakhand Open University Page 130
ADVANCED ABSTRACT ALGEBRA MAT501
10.3 RING
Let R be a non empty set and be arbitrary.The set R with two binary operations addition
and multiplication is called a ring if the following conditions are satisfied:
i. is an abelian group.
ii. is semi group.
iii. Distributive laws holds, i.e.,
[Right dstributive law]
[Left DISTRIBUTIVE law]
Example:
1. is a ring. This ring is called ring of integers.
2. is a ring, being fixed integer. This ring is Commutative ring.
3. is a ring. This ring is called ring of real numbers.This ring is a commutative ring with
unity element.
4. is a commutative ring. This ring is called ring of rational numbers.
10.7 p- RING
A ring is called p-ring if
Department of Mathematics
Uttarakhand Open University Page 131
ADVANCED ABSTRACT ALGEBRA MAT501
The non zero elements a,b of a ring R are knows as proper divisors of zero or zero divisors if
or .
Example:
1. The ring has matrices has zero divisors, for example if
Then
Now we get
Again
ii.
Solution: From (1) and (2) ,we obtain the results
For
Department of Mathematics
Uttarakhand Open University Page 132
ADVANCED ABSTRACT ALGEBRA MAT501
and
iii.
Solution: Let by (ii)
again by (ii)
For –
iv.
Solution:
v.
Solution:
Proof:
Since , [For ]
Again
Theorem 3: A ring without zero divisors iff the cancellation laws hold in .
Proof: Suppose R be a ring without zero divisors.
To prove that cancellation laws hold in R.
Since let .
Then
Department of Mathematics
Uttarakhand Open University Page 133
ADVANCED ABSTRACT ALGEBRA MAT501
PROOF:
(i) Suppose
is Boolean ring,
(R is Boolean)
or .
(ii) Now
is Boolean
By distributive law
Finally,
.
Left cancellation law of addition in R gives .
Taking , we get
Department of Mathematics
Uttarakhand Open University Page 134
ADVANCED ABSTRACT ALGEBRA MAT501
Example 1: Let and be arbitrary elements of a ring R whose characteristic is two and .
Then prove that,
Solution: Suppose
The characteristic of R is two
Hence,
Example 2:If any element a has the multiplicative inverse, then a cannot be a divisor of zero, where
the underlying set of a ring.
Solution: Suppose let R be a ring and s.t. has the inverse so
To prove that is not zero divisor of zero. Suppose not then
is divisor of zero so the element and
Department of Mathematics
Uttarakhand Open University Page 135
ADVANCED ABSTRACT ALGEBRA MAT501
10.11 SUBRING
Let R be a ring. A non empty subset s of the set R is said to be a subring of R if S is closed under
addition and multiplication in R and S itself is a ring for those operations.
Department of Mathematics
Uttarakhand Open University Page 136
ADVANCED ABSTRACT ALGEBRA MAT501
10.13 IDEALS
Department of Mathematics
Uttarakhand Open University Page 137
ADVANCED ABSTRACT ALGEBRA MAT501
is a principal ideal of R, generated by single element a R. This set is also called ideal generated by an
element a R. The expression for principal ideal can be simplified if R is a ring with unity element e.
In this case
. For
, where
=
Department of Mathematics
Uttarakhand Open University Page 138
ADVANCED ABSTRACT ALGEBRA MAT501
= , where .
Hence a principal ideal of R is the set if is a ring with unity element .
. For R is commutative.
.
, where
, where .
Department of Mathematics
Uttarakhand Open University Page 139
ADVANCED ABSTRACT ALGEBRA MAT501
Finally, .
Hence,
But .
Hence .
Now we have shown that Ra is an ideal generated by a single element a. By definition, Ra is a
principal ideal of R.
.
Then R/S is a ring w.r.t. these operations. This ring is called quotient ring or factor ring.
Theorem: The intersection of two ideals is an ideal.
Proof:
(i) and both are additive subgroups of R.
(ii)
and .
To prove that is an ideal of R. For this we have to prove the following:
(iii) is additive subgroup of R.
(iv)
Evidently
and
and
and , by (ii)
.
Department of Mathematics
Uttarakhand Open University Page 140
ADVANCED ABSTRACT ALGEBRA MAT501
Problem 3: Check that the set {0,1} is ring with unity or not?
10.19 SUMMARY
In this unit, we have studied the basic terminology used in ring theory. We have also read about the
basic idea of ring with some theorems and examples. We have defined commutative and non
commutative. In this unit first we have defined subring, Boolean ring, characteristic of ring with
examples. After that we have described the definition of ideal, prime ideal, principal ideal and quotient
ring with examples then important theorem related to these topic described. This unit is basic outlook
of ring theory and concepts of this unit will be beneficial for the learners in the upcoming units.
10.20 GLOSSARY
Ring
Characteristic of ring
Subring
Ideal
Principal ideal
Quotient ring
10.21 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
Department of Mathematics
Uttarakhand Open University Page 141
ADVANCED ABSTRACT ALGEBRA MAT501
1. Prove that set of integers is a commutating ring ‘or’ (Z ,,.) is a commutative ring.
2. Prove that set of rational numbers is a commutative ring.
3. Prove that ring without zero divisors iff the cancellation laws hold in
4. State and prove the necessary and sufficient condition for any subset of ring to be a subring.
5. Prove that set of rational numbers is a subring of set of real number.
6. Prove that subring of even integers is an ideal of ring of integers.
Short Answer Type Question:
7. If R is any ring with identity 1, then prove that R has positive characteristic iff is the at
least positive integer for which , 0 being additive identity of R.
8. In any ring (R) any element a has the multiplicative inverse, then prove that a cannot be a
divisor of zero.
9. Prove that intersection of two subring of a ring is also a subring.
10. Prove that intersection of two ideal of a ring is also an ideal of ring.
11. Define the ring and subring with example.
12. Define the ideal, prime ideal and principal ideal with example.
13. Define proper and improper ideal with example.
14. Let and be arbitrary elements of a ring R whose characteristic is two and . Then
prove that,
10.24 ANSWERS
Department of Mathematics
Uttarakhand Open University Page 142
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
11.1 Introduction
11.2 Objectives
11.4 Field
11.4.1 Subfield
11.6 Summary
11.7 Glossary
11.8 References
11.1 INTRODUCTION
In this unit we will learned about the more important tools used in the ring theory like integral domain,
field and division ring or skew field. A field in mathematics is a set on which the operations addition,
subtraction, multiplication, and division are defined and function in the same manner as they do for
rational and real numbers. As a result, a field is a basic algebraic structure that is often utilised in
number theory, algebra, and many other branches of mathematics.
The domains of rational numbers, real numbers, and complex numbers are the most well-
known ones. Mathematicians frequently utilise and study a variety of different fields, notably in
number theory and algebraic geometry, including fields of rational functions, algebraic function fields,
algebraic number fields, and p-adic fields. On finite fields, or fields with a finite number of elements,
the majority of cryptographic procedures are based.
Department of Mathematics
Uttarakhand Open University Page 143
ADVANCED ABSTRACT ALGEBRA MAT501
The idea of a field extension expresses the relationship between two fields. The goal of the
Galois theory, which Évariste Galois founded in the 1830s, is to comprehend the symmetries of field
extensions. This theory demonstrates, among other things, that it is impossible to square a circle and
trisect an angle with a compass and straightedge. Additionally, it demonstrates that quintic equations
are typically algebraically intractable.
In many areas of mathematics, fields are fundamental concepts. This comprises many
mathematical analysis disciplines that are based on fields with extra structure. Analysis's fundamental
theorems rely on the real numbers' structural characteristics. What's more, any field may be utilised as
the scalars for a vector space, which is the usual generic setting for linear algebra. In-depth research is
done on number fields, the siblings of the subject of rational numbers. Geometric object attributes may
be described with the use of function fields.
11.2 OBJECTIVES
Definition: Any ring (R) is called integral domain, if it satisfies the following conditions
(i) R should be commutative ring
(ii) R has unit element
(iii) R should be without zero divisors.
Some authors defining to integral domain in a different way that an integral domain is a commutative
ring without zero divisors. They do not demand that an integral domain have the unit element without
a doubt.
Set of integer ( I ) is a most common example of a ring to be an integral domain. We know that I is a
commutative ring with unity and also I does not possess zero divisors. We know that if a, b are
integers such that ab 0 , then either a or b must be zero.
Department of Mathematics
Uttarakhand Open University Page 144
ADVANCED ABSTRACT ALGEBRA MAT501
The other rings which are examples of infinite integral domains are (C,,.), (Q,,.), ( R,,.) and the
example of finite integral domain is ({0,1, 2, 3, 4}, 5 , 5 ) .
Inversible elements in a ring with unity: In a ring (R) each element possess additive inverse.
Therefore when we talking about inversible of an element, we only asking about invertiablity with
respect to the operation multiplication. If R is a ring with unity, then an element a R is called
inversible, if there exist b R such that ab 1 ba . Then we rewrite b a 1 .
Examples (i): In the ring of integers 1 and -1 are the only two inversible elements.
(ii): In the set of n n non singular matrices with real numbers as elements are the only inversible
elements of the ring of all n n matrices with elements as real numbers.
Theorem 1: A commutative ring R is an integral domain iff a, b, c R (a 0)
ab ac b c
Proof: Let R is an integral domain.
Also let ab ac (a 0)
Then ab ac 0
a(b c) 0
a 0 or b c 0
Since a 0 , we get b c
Conversely, let the given condition holds good.
Let a, b R be a arbitrary elements with a 0 .
Suppose ab 0
Then ab a.0
b 0 using given condition
Hence ab 0 b 0 whenever a 0 or that R is an integral domain.
Remark: Any ring (R) is said to satisfy left cancellation law if a, b, c R (a 0)
ab ac b c
Similarly we can talk of right cancellation law. It is to notify that cancellation is of only non zero
elements.
11.4 FIELD
Definition: A ring (R) with at least two elements is called a field (F ) if it satisfies following
conditions,
(i) It should be commutative
Department of Mathematics
Uttarakhand Open University Page 145
ADVANCED ABSTRACT ALGEBRA MAT501
11.4.1 SUBFIELDS
Department of Mathematics
Uttarakhand Open University Page 146
ADVANCED ABSTRACT ALGEBRA MAT501
Definition: A ring (R) with at least two elements is called a division ring or a skew field if is satisfies
following conditions
(i) Has unity
(ii) Each non-zero element possesses its multiplicative inverse.
Thus a commutative division ring is a field.
A division ring is a field if it is also commutative but every field is also a division ring.
Theorem: Every field is an integral domain.
Proof: As we know that a field (F ) is a commutative ring with unity, therefore to prove that every field
is an integral domain we have only to prove that a field has no zero divisors.
Let a, b be elements of F with a 0 such that ab 0
ab 0 a 1 (ab) a 1 0
( a 1a)b 0
1b 0 [ a 1a 1 ]
b 0 [ ab b ]
Similarly, let ab 0 and b 0
Since b 0, b 1 exists and we have
ab 0 (ab)b 1 0b 1
Department of Mathematics
Uttarakhand Open University Page 147
ADVANCED ABSTRACT ALGEBRA MAT501
a(bb1 ) 0 a1 0 a 0
Hence in a field ab 0 a 0 or b 0 . Since field has no zero divisors therefore every field is an
integral domain.
The converse of this theorem is not true i.e., every integral domain is not a field. For example, ring of
integer is an integral domain while it is not a field because only inversible element in the ring of
integer are 1 and -1.
Note: In the field unity and zero are different elements i.e., 1 0 . Let a be any non-zero element of a
field. Then a 1 exists and is also non-zero. For, a 1 0 aa 1 a0 1 0 a1 a0 a 0
This is a contradiction. Now, field has no zero divisors. Therefore, 1 a 1a 0 .
Remarks: As we know field has no zero divisors. Therefore in the field product of two non-zero
elements will again a non-zero element. Also each non-zero element and unit element possesses non-
zero multiplicative inverse. Since multiplication is commutative as well as associative, therefore the
non-zero elements of a field form abelian group w.r.to. multiplication.
Theorem 2: A skew field (D) has no zero divisors.
Proof: Let D be a skew-field. Then D is a ring with unit element 1 and each non-zero element of D
possesses multiplicative inverse.
Let a, b be elements of D with a 0 s.t. ab 0
ab 0 a 1 (ab) a 1 0
(a 1a)b 0 1b 0 b 0
Similarly, let ab 0 with b 0
Since b 0, b 1 exists and we have
ab 0 (ab)b 1 0b 1
a(bb1 ) 0 a1 0 a 0
Hence a skew field has no zero divisors.
Theorem 3: Every finite integral domain is a field ‘OR’ A finite commutative ring without zero
divisor is a field.
Proof: Let D be a finite commutative ring without zero divisor having n elements a1 , a2 , ..., , an . In
order to prove that D is a field, we must produce an element 1 D such that 1a a a D . Also we
should show that for every element a 0 D there exist an element b D such that ba 1 .
Let a 0 D . Consider the n products aa1 , aa2 , aa3 ,..., aan .
Department of Mathematics
Uttarakhand Open University Page 148
ADVANCED ABSTRACT ALGEBRA MAT501
All these are element of D . Also they are all distinct. For suppose that aai aa j for i j .
aa1 , aa2 , aa3 ,..., aan are all n distinct elements of D placed in some order. So one of these elements
will be equal to a . Thus there exists an element, say, 1 D such that
a1 a 1a [ D is commutative]
We shall show that this element 1 is the multiplicative identity of D . Let y be any element of D .
Then from the above discussion for some x D , we shall have ax y xa
Now, 1y 1(ax) [ ax y ]
(1a) x
ax [1a a ]
y [ ax y ]
y1 [ D is commutative]
Thus 1y y y1, y D . Therefore 1 is the unit element of the ring D.
Now 1 D . Therefore from the above discussion one of the n products aa1 , aa2 , aa3 ,..., aan will be
Department of Mathematics
Uttarakhand Open University Page 149
ADVANCED ABSTRACT ALGEBRA MAT501
A ( B C ) ( A B) C A, B, C M
and A( BC) ( AB)C A, B, C M
Commutative property holds in addition of matrices. Hence, A, B M , we have A B B A .
If O be the null matrix of the type 2 2 , then O M and O A A A M .
Further multiplication of matrices is distributes w.r.to. addition.
A( B C) AB AC
and ( B C) A BA CA A, B, C M
M is a ring with respect to the given compositions.
Multiplication of matrices is not in general a commutative composition. For example, if
2 4 1 2
A ,B
3 5 0 1
2 8 8 14
Then, AB and BA
3 11 3 5
Thus AB BA and so the ring is a non-commutative ring
1 0
If I be the unit matrix of the type 2 2 i.e., I then I M . Also we have
0 1
AI A IA A M
I is the multiplicative identity.
Thus the ring possesses the unit element and we have I 1 (the unit element of the ring)
The ring possesses zero divisors. For example if
0 1 2 3 0 0
A ,B , then AB
0 1 0 0 0 0
Thus the product of two non-zero elements of the ring is equal to the zero element of the ring.
Example 2: DO the following sets from integral domains w.r.to. ordinary addition and multiplication?
If so state if they are fields.
(i) The set of numbers of the form b 2 with b rational.
(ii) The set of even integers.
(iii) The set of positive integers.
Solution (i): Let A b 2 : b Q .
We have 3 2 A and 5 2 A . Then 3 2 5 2 30 . Now 30 can not be put in the form b 2
where b is rational number. Therefore 30 A . Thus A is not closed with respect to multiplication.
Therefore the question of A becoming a ring does not arises.
Department of Mathematics
Uttarakhand Open University Page 150
ADVANCED ABSTRACT ALGEBRA MAT501
(ii): Let R be set of all even integers. Then R is a ring with respect to addition and multiplication
of integers. Additionally, the composition of multiplication is commutative. Since the product of two
non-zero even integers cannot equal zero, which is the zero element of this ring, R has no zero
divisors. Since the integer 1 R, therefore R is a ring without unity. If the presence of the unit clement
is not a requirement for an integral domain, then R will be one. However, since the multiplicative
identity does not exist, R is not a field.
(iii): N should be the collection of positive integers. The additive identity does not exist since the
number 0 N . N won't be a ring, then.
Example 3: Show that collection of numbers of the form a b 2 , with a and b as rational numbers
is a field.
Solution: Let R a b 2 : a, b Q
Let a1 b1 2 R and a2 b2 2 R where a1 , b1 , a2 , b2 Q
We have a1 b1 2 a2 b2 2 a1 a2 (b1 b2 ) 2 R . Since a1 a2 , b1 b2 Q
Also a1 b1 2 a2 b2 2 a1a2 2b1b2 a1b2 a2b1 2 R .
Since a1a2 2b1b2 , a1b2 a2b1 Q
Thus R is closed w.r.to. addition and multiplication.
We know that addition and multiplication are both associative and commutative compositions in the
set of real numbers since all the components of R are real numbers.
Further we have 0 0 2 R since 0 Q .
If a b 2 R , then
0 0 2 a b 2 0 a (0 b) 2 a b 2
[(a ) (b) 2 ] [a b 2 ] 0 0 2
each element of R posses its own additive inverse.
Since multiplication is distributive w.r.to. addition in the set of real number.
Again 1 0 2 R and we have
1 0 2 a b 2 a b
2 a b 2 1 0 2 R
Department of Mathematics
Uttarakhand Open University Page 151
ADVANCED ABSTRACT ALGEBRA MAT501
So, 1 0 2 is the multiplicative identity. Thus R is commutative ring with unity and the zero
element of the ring is 0 0 2 and 1 0 2 is the unit element. If each non-zero element of R has a
multiplicative inverse, then R will now be a field.
Let a b 2 0 0 2 be any element of this ring i.e., one of the element a and b is not zero.
1 a b 2 a b 2
Then 2
a b 2 (a b 2 )(a b 2 ) a 2b
2
a b
2 2
2 2
2
a 2b a 2b
Now if a , b are rational numbers, then we can have a 2 2b 2 only if a 0, b 0 . As we know that at
least one of the rational numbers a and b is not 0 . There we cannot have a 2 2b 2 i.e., a 2 2b 2 0 .
a b
Both numbers and 2 are rational number and not both of them are zero.
a 2b
2 2
a 2b 2
a b
2 2
2 2
2 is non-zero multiplicative inverse of a b 2 . Hence the given
a 2b a 2b
system is a field.
Example 4: Give an example of an infinite commutative ring without zero divisors which is not a
field.
Solution: Let Z be the set of integers. Then (Z , , .) is an infinite commutating ring without zero
divisors and is not a field.
Example 5: If ( R, , .) be a ring with n elements, n 2 with no zero divisors, show that R is a
division ring.
Solution: Let R be a finite consisting of n elements, where n 2 s.t., R has no divisor of zero.
To prove that R is a division ring we have enough to prove that.
(i) R has a unit element 1.
(ii) Every non-zero element of R has multiplicative inverse in R .
(i) Prove of (i) is the part of Theorem 3.
(ii) 1 R a x j R s.t. a x j 1, 1 j n
a is left inverse of x j in R .
Department of Mathematics
Uttarakhand Open University Page 152
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: Let P be the collection of positive elements of integral domain D . We have to prove that 1 P
, for it we assume that 1 P .
Since 1 P , 1 0 1 P [By definition of P ]
(1)(1) P
1 P , which is a contradiction.
Hence the unity element is positive element of D .
Theorem 5: The field ( I p , p , p ) is not ordered, where I p {0, 1, 2,..., p 1} and p prime.
Suppose the contrary. Then ( I p , p , p ) is ordered. Let P be the set of positive element of I p . Since
additive identity of I p is '0' . By definition of P, 1 I P
1 P 1 p 1 P 2 P 2 p 1 P 3 P
i P i.i P , by definition of P
1 P. For i 2 1 .
Again, i P (i)(i) P i 2 P 1 P .
Department of Mathematics
Uttarakhand Open University Page 153
ADVANCED ABSTRACT ALGEBRA MAT501
i 0, i P, i P,
Suppose O(e) n a finite number so that n is the least positive integer s.t. ne 0 . Let a be any
element of R . Then
na n(ea). 1For ea a ae
(ne)a 0a 0
Characteristic of D is finite.
Theorem 9(a): The characteristic of an integral domain is either 0 or a prime number according as the
unity element e regarded as a member of the additive group of integral domain is of order 0 or a prime
number.
Proof: (i) Let D be an integral domain. Then we prove that characteristic of D is either 0 or p 0 .
[Proved in theorem 8]
(ii) If the characteristic is zero, the proof is complete.
Let the characteristic be p 0 . We have to show that p is a prime number.
o(e) p pe 0
p1 p2e 0 p1 ( p2e) 0
Department of Mathematics
Uttarakhand Open University Page 154
ADVANCED ABSTRACT ALGEBRA MAT501
( p1e)( p2e) 0
Characteristic of D is either p1 or p2 p
Ch. D p . A contradiction.
Therefore p is prime.
Theorem 9(b): The characteristic of an integral domain is 0 or n 0 according as the order of any
non-zero element regarded as member of the additive group of the integral is either 0 or n .
Proof: Let ( D, , .) be an integral domain and a D and a 0 and O(a) 0 or n regarded as a
member of ( D, ) .
Then na 0, 0a 0 ...(1)
Aim: Characteristic of D is 0 or n .
For this have to show that nx 0 x D .
nx 0 as D is free from zero divisors. Hence n is the least positive integer, according to (1).
Example 6: If there exist a positive integer m such that ma 0 a F , then show that m is a prime.
What is this integer? F being a field.
Answer: Let F be a field and a F be arbitrary. Also let
ma 0 …(1)
where m is a positive integer. Let e be the multiple identity of F .
Then ae ea 0
(1) m(ea) 0 (me)(a) 0 me 0 or a 0
in particular me 0 …(2)
For F has no divisor of zero
F is field F is integral domain s.t. (2) holds.
It means that m is the characteristic of F . To prove that m is prime.
Now write proof of theorem 9a.
Department of Mathematics
Uttarakhand Open University Page 155
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 10: Each non-zero element of an integral domain D , regarded as an element of the additive
group D , is of the same order.
Proof: Let a, b be arbitrary non-zero elements of an integral domain D s.t. a b .
m(ab) 0 0b
(ma)b 0b . Also b 0
When considered as members of an additive group, any two non-zero components of D have the same
order.
Therefore, when considered a member of ( D, ) , every non-zero element of D is of the same order.
a b
A
b a
Where a and b are complex numbers.
Department of Mathematics
Uttarakhand Open University Page 156
ADVANCED ABSTRACT ALGEBRA MAT501
c d
B
c
Let ,
d
p q
C
p
be any two member of R . Then
q
ac b d
A B
(b d a c
ac bd ad bc
AB
(bc a d bd ac
A B R
AB R
0 0
Existence of identity: O R
0 0
is additive identity s.t. A O O A A
Associative law: A ( B C ) ( A B) C
a c
Existence of inverse: A R
c a
is inverse of A s.t. A ( A) O
1 0
Existence of identity: I R is identity s.t. AI IA A .
0 1
Department of Mathematics
Uttarakhand Open University Page 157
ADVANCED ABSTRACT ALGEBRA MAT501
adjA 1 a b
A1 R
| A | (a a bb) b a
c d a b
For BA
d d b a
ac bd bc ad
BA , by (1)
a d b c b d a c
Or BA AB
(iii) Distributive law: A( B C ) AB AC
( B C ) A BA CA
Example 8: Prove that the set I 7 {0,1, 2, ..., 6} forms a field w.r.t. addition and multiplication modulo
7.
Solution: Let I 7 {0,1, 2, ..., 6} .
Let a, b, c I 7
a b if a b 7
We define a 7 b
r if a b 7
Evidently, a 7 b I 7
Department of Mathematics
Uttarakhand Open University Page 158
ADVANCED ABSTRACT ALGEBRA MAT501
a 7 0 0 7 a a
Commutative law: a 7 b b 7 a .
Associative law: a 7 b 7 c a 7 (b 7 c)
Since (a b) c a (b c)
(a b) 7 c a 7 (b c)
Or (a 7 b) c a 7 (b 7 c)
(7 a) I 7 (if a 0 ) s.t.
(7 a) 7 a a 7 (7 a) 0 .
Inverse of 0 is 0 itself.
ab if ab 7
a 7 b
s if ab 7
Where s is the remainder when ab is divisible by 7.
0s6
s 0 ab is divisible by 7.
But 7 has divisor a or b is divisible by 7
a 7, b 7 .
A contradiction as a, b 7 .
s 0. Consequently 0 s 6 .
Commutative law: a 7 b b 7 a
Department of Mathematics
Uttarakhand Open University Page 159
ADVANCED ABSTRACT ALGEBRA MAT501
Associative law: (a 7 b) 7 c a 7 (b 7 c) .
17 a a 7 1 a .
a 7 x x 7 a 1 .
(b 7 c) 7 a (b 7 a) 7 (c 7 a)
Similar example 9: Let p be a positive prime number. Prove that the set I p {0, 1, ..., p 1} forms a
field w.r.t. addition and multiplication modulo p ’OR’Ring of integers modulo a prime number p , is a
field.
Example 10: If I 5 {0,1, 2, 3, 4} then prove that ( I 5 , 5 , 5 ) is a field, where 5 and 5 respectively
denote addition and multiplication modulo 5.
Answer: The composition tables for two operations are given below:
(i) Closure axiom: From the two composition tables it is quite clear that all the entries in both
composition tables belong to I 5 . Hence I 5 is closed w.r.to. both operation
(ii) Commutative law: The entries in the 1st, 2nd, 3rd, 4th rows are coincident with the corresponding
element of the 1st, 2nd, 3rd, 4th columns respectively relative to the both operations. Hence 5 and 5
both are commutative in I 5 .
(iii) Associative law: It is easy to verify that the associative law holds for 5 ,
i.e., a 5 (b 5 c) (a 5 b) 5 c a, b, c I 5 .
Similarly, a 5 (b 5 c) (a 5 b) 5 c a, b, c I 5
Department of Mathematics
Uttarakhand Open University Page 160
ADVANCED ABSTRACT ALGEBRA MAT501
5 0 1 2 3 4 5 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
3 3 1 4 2
2 2 3 4 0 1
4 4 3 2 1
3 3 4 0 1 2
4 4 0 1 2 3
(iv) 0 is the additive identity and 1 is the multiplicative identity for I 5 .
For 0 5 a a a I 5
1 5 a a a I 5 s.t. a 0
a 5 (b 5 c) a 5 b 5 a 5 c a, b, c I 5
(b 5 c) 5 a b 5 a 5 a 5 c 5 a a, b, c I 5
ab 5 ac
a 5 b 5 a 5 c . For a 5 b a b (mod 5)
Example 10: The set of all residue classes modulo a positive integer p is an integral domain iff p is
prime.
Solution: Let R denote the set of all residue classes modulo a positive integer p so that
R [ x] : x 0,1, 2, 3, ..., p 1
Then we know that R is a commutative ring with unity element [1], [0] being the zero element of R .
Let [a], [b] R be arbitrary so that
0 a, b p 1
R will be an integral domain iff it is free from zero divisors, i.e., iff
Department of Mathematics
Uttarakhand Open University Page 161
ADVANCED ABSTRACT ALGEBRA MAT501
a 0 (mod p) or b 0 (mod p)
[ p1 ] 0 or [ p2 ] [0], by assumption.
Which is a contradiction.
For [ p1 ] 0 and [ p2 ] [0].
Similar problem 11: The set of all integers modulo a positive integer p is an integral domain iff p is
prime.
Hint: ( I p , p , p ) is integral domain, where I p {0, 1, 2, 3, ..., p 1} .
11.6 SUMMARY
In this unit, we have studied about the integral domain, field, division ring or skew field in a ring.
Throughout the all units we have learned about the basic definitions and their related theorems and
examples on these major topics. In many areas of mathematics, fields are fundamental concepts. This
Department of Mathematics
Uttarakhand Open University Page 162
ADVANCED ABSTRACT ALGEBRA MAT501
comprises many mathematical analysis disciplines that are based on fields with extra structure.
Analysis's fundamental theorems rely on the real numbers' structural characteristics. What's more, any
field may be utilised as the scalars for a vector space, which is the usual generic setting for linear
algebra. In-depth research is done on number fields, the siblings of the subject of rational numbers.
Geometric object attributes may be described with the use of function fields. The overall
summarization of this units are as follows:
A nonzero commutative ring without any nonzero zero divisors is referred to as an integral
domain.
Having no nonzero zero divisors, an integral domain is a nonzero commutative ring.
Every field is an integral domain.
Every finite integral domain is field.
11.7 GLOSSARY
Integral Domain: Any ring without zero divisor is called integral domain
Field: A commutative ring with unity having each non-zero element possess its multiplicative
inverse is called field.
Division ring: A ring with unity having each non-zero element possess its multiplicative
inverse is called division ring.
11.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
N. Herstein,(1975), Topics in Algebra, Wiley Eastern Ltd., New Delhi.
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
Department of Mathematics
Uttarakhand Open University Page 163
ADVANCED ABSTRACT ALGEBRA MAT501
1. Show that in an integral domain all non-zero elements generate additive cyclic groups of the
same order which is equal to the characteristic of the integral domain.
2. Give without proof, an example of an integral domain which contains only five elements. Is
this an ordered integral domain? Give reason?
a b
3. Show that the matrices , a, b real, forms a field.
b a
4. Prove that a non-zero finite integral domain is a field.
5. Prove that ( I 7 , 7 , 7 ) is a field, where 7 and 7 respectively denote addition and
multiplication modulo 5.
6. Give an example of skew-field which is not field.
7. Show that collection of numbers of the form a b 2 , with a and b as rational numbers is a
field
Short Answer Type Question:
8. If D is a non-zero integral domain, then characteristic of D is either zero or a prime number.
9. The set of complex number is not ordered integral domain
10. Prove that a skew field has no zero divisor.
11. Write the definition of following with suitable example.
(i) Field
(ii) Integral domain
(iii) Skew-field
12. A commutative ring R is an integral domain iff a, b, c R (a 0)
ab ac b c
Fill in the blanks:
13. A commutative R is an integral domain iff …………………….
14. Every field is an ……………..
15. A skew field has no ………………….
17. The set of all residue classes modulo a positive integer p is an integral domain iff p is
………………..
Department of Mathematics
Uttarakhand Open University Page 164
ADVANCED ABSTRACT ALGEBRA MAT501
11.11 ANSWERS
13. Cancellation law holds 14. Integral domain 15. Zero divisor
Department of Mathematics
Uttarakhand Open University Page 165
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
12.1 Introduction
12.2 Objectives
12.5 Ideals
12.9 Summary
12.10 Glossary
12.11 References
12.1 INTRODUCTION
In this unit we will learn about the more important tool in ring theory is that isomorphic
relation between two rings, ideals of the ring and their applications and theorems.
The existence of gcd, Euclid's Lemma and Unique Factorization Theorem in Z and in F[x],
where F is a field, all are consequences of the Division Algorithm. In this unit, we consider integral
Department of Mathematics
Uttarakhand Open University Page 166
ADVANCED ABSTRACT ALGEBRA MAT501
domains having a division algorithm. In this we will learn the fundamental theorem of arithmetic states
that every integer n > 1 is a product of primes and this product is unique up to the order of the prime
factors. Here we characterize the integral domains D such that every nonzero non unit element of D
can be expressed as product of irreducible elements uniquely in some sense. We call such integral
domains UFD. In a UFD, irreducible and prime elements are precisely the same. Thus every nonzero
non unit element of a UFD is a product of prime elements also.
12.2 OBJECTIVES
Definition: Any ring R is said to be isomorphic to other ring R ' if there exists a one-one and onto
mapping f from R to R ' such that
compositions are addition and multiplication of R . Again f (a), f (b) R ' . When we write
f (a) f (b), f (a) f (b) then the respective compositions are addition and multiplication of R '
Relation of isomorphism in the set of all rings.
We can demonstrate that the relation of isomorphism in the set of all rings is an equivalence relation,
as we have done in groups. In order to ensure that rings of the same class are all isomorphic to one
another and rings of other classes are not, the set of all rings will be divided into disjoint equivalence
classes. One can say that any two rings in the same equivalence class are abstractly similar.
Department of Mathematics
Uttarakhand Open University Page 167
ADVANCED ABSTRACT ALGEBRA MAT501
(i) The image of 0 R is 0 R ' i.e., the additive identity element of ring R map into additive
identity of the ring R ' .
(ii) The negative of the image of an element of R is that element's image of its negative i.e.,
f (a) f (a) a R .
(iii) If R is the commutative ring, then R ' is also a commutative a commutative ring.
(iv) If R is without zero divisors, then R ' is also without zero divisors.
(v) If R is with unit element, then R ' is also with unit element.
(vi) If R is field, then R ' is also a field.
(vii) If R is skew field, then R ' is also a skew field.
Proof (i): Let a R . Then f (a ) R ' . Let 0 ' denote the zero element of R ' . To prove that f (0) 0' .
We have f (a) 0' f (a) f (a 0) f (a) f (0). By cancellation law for addition in R ' , we get
from f (a) 0' f (a) f (0), the result that 0 ' f (0).
f (a) is the additive inverse inverse of f (a) in R ' . Thus f (a) f (a)
(iii) Let f (a) and f (b) be any two elements of R ' . Then a, b R
We have f (a) f (b) f (ab) f (ba) [ R is commutative ab ba ]
f (b) f (a) .
R ' is also commutative.
(iv) We have f (0) 0' . Also f is one-one. Therefore 0 is the only element of R whose f -image is 0 '
.
(v) Let 1 be the unit element of R . Then f (1) R ' . If f (a) is any element of R ' , we have
f (1) f (a) f (1a) f (a) and f (a) f (1) f (a1) f (a).
f (1) is the unit element of R ' .
(vi) R is commutative with unity if R is a field, and each non-zero element of R will have a
multiplicative inverse. Now that this has been shown in (iii) and (v), R ' will be commutative and
possess the unit element i.e., f (1) .
Department of Mathematics
Uttarakhand Open University Page 168
ADVANCED ABSTRACT ALGEBRA MAT501
Department of Mathematics
Uttarakhand Open University Page 169
ADVANCED ABSTRACT ALGEBRA MAT501
(a, m) (b, n) (a b, m n)
(b a, n m) [ Commutativity holds in addition]
(b, n) (a, m) .
Existence of identity: We have (0,0) R Z . Here the first 0 is the zero element of R and the second
0 is the zero integer.
Since, (0,0) (a, m) (0 a, 0 m) (a, m)
(0, 0) is the additive identity.
Existence of inverse: If (a, m) R Z , then
(a,m) R Z and we have
(a,m) (a, m) (a a, m m) (0,0) .
(a,m) is additive inverse of (a, m)
Associativity of multiplication: We have
[(a, m)(b, n)](c, p) (ab na mb, mn)(c, p)
((ab na mb)c p(ab na mb) (mn)c, (mn) p)
(abc n(ac) m(bc) p(ab) ( pn)a ( pm)b (mr )c, (mn) p)
Also (a, m)[(b, n)(c, p)] (a, m)(bc pb nc, np)
(a(bc pb nc) (np)a m(bc pb nc), m(np))
(abc a( pb) a(nc) (np)a m(bc) m( pb) m(nc), (mn) p)
(abc a( pb) a(nc) (np)a m(bc) m( pb) m(nc), (mn) p)
(abc p(ab) n(ac) (np)a m(bc) (mp)b (mn)c, (mn) p).
We see that, (a, m)[(b, n)](c, p) (a, m)[(b, n)(c, p)]
Distributive law: We have
(a, m)[(b, n) (c, p)] (a, m)(b c, n p)
(a(b c) (n p)a m(b c), m(n p))
(ab ac na pa mb mc, mn mp)
(a, m)(b, n) (a, m)(c, p)
In a similar manner, we may demonstrate that the other distributive law is equally valid.
In light of the operations described on it, R Z is a ring.
Existence of identity: We have
(0,1) R Z . If (a, m) R Z , then
(0,1) (a, m) (0a m0 1a,1m) (0 0 a, m) (a, m)
Department of Mathematics
Uttarakhand Open University Page 170
ADVANCED ABSTRACT ALGEBRA MAT501
Definition: If ring S has a subset S ' such that ring R is isomorphic to ring S , then the two rings can
be embedded.
We shall demonstrate that D can be embedded in a field F , i.e., there exists a field F that includes a
subset D' isomorphic to D , if D is a commutative ring without zero divisors. The elements of D will
be used to build a field F , and this field F will have a subset D' such that D and D' are isomorphic.
The "field of quotients" of D , or simply the "quotient field" of D , is referred to as this field F .
We can claim that D and D' are abstractly the same since D is isomorphic onto D' . We can
then state that the quotient field F of D is a field containing D if we identify D' with D . We will
also see that the smallest field that contains D is F .
Construction of quotient field: The ring of integer I is well known to all of us. Additionally, the set
of quotients of the components of I is the same as our familiar set Q of rational numbers.
Department of Mathematics
Uttarakhand Open University Page 171
ADVANCED ABSTRACT ALGEBRA MAT501
p 3 2 1 0 1 2 3
Thus Q : p I , 0 q I . Since set of rational numbers ( Q ) are ..., , , , , , , ,...
q 1 1 1 1 1 1 1
with the integers ( I ) ...,3, 2, 1, 0,1, 2, 3,... then I Q . Also (Q, , .) is a field. It is the smallest
a c
field containing I . Also if and Q , then we remember that
b d
a c a c ad bc a c ac
(i) iff ad bc (ii) (iii)
b d b d bd b d bd
These facts serve as our inspiration as we move on with creating the quotient field of any integral
domain. The following theorem applies.
Theorem 3: A commutative ring without zero divisors can be imbedded in a field.
OR
Each integral domain can be imbedded in a field.
OR
It is feasible to create a field F from the components of an integral domain D that has a subset D' that
isomorphic to D .
Proof: Let us suppose that D is a commutative ring without zero divisors. Let D0 be the collection of
all non-zero elements of D . Let S D D0 i.e., let S be the set of all ordered pairs (a, b) where
Department of Mathematics
Uttarakhand Open University Page 172
ADVANCED ABSTRACT ALGEBRA MAT501
S can be partitioned into disjoint equivalence classes and we denote the equivalence classes
a
containing (a, b) by and other notations are ( a, b) or [a, b] .
b
a c a' c'
Again we have to show that we have to show
b d b' d '
ac a ' c '
' ' i.e., acb' d ' bda'c '
bd b d
Now acb' d ' ab'cd ' ba ' dc' bda'c ' , which was desired.
Department of Mathematics
Uttarakhand Open University Page 173
ADVANCED ABSTRACT ALGEBRA MAT501
Hence both operations addition and multiplication are well defined on F. Now we have that F is a
field.
Associativity of addition: We have,
a c e ad bc e (ad bc) f bde
b d f bd f bdf
Department of Mathematics
Uttarakhand Open University Page 174
ADVANCED ABSTRACT ALGEBRA MAT501
a c ac c
[(ac, ad ) ~ (c, d ) because acd adc ]
a d aa d
a
is the multiplicative identity. It is also notify that
a
a b
a, b D0
a b
a
Existence of multiplicative inverse: Let 0 F . Then .
b
. Since we have
D' .
since
is one-one.
is onto: If , then . Also we have . Thus is onto .
Department of Mathematics
Uttarakhand Open University Page 175
ADVANCED ABSTRACT ALGEBRA MAT501
Also
and .
12.5 IDEALS
Definition (a): In a ring (R) a non empty subset (S ) is said to be left ideal of R if:
(i) S should be subgroup of R w.r.to addition.
(ii) rs S r R, s S
Definition (b): In a ring (R) a non empty subset (S ) is said to be right ideal of R if:
(i) S should be subgroup of R w.r.to addition.
(ii) sr S r R, s S
Definition (Ideal): A non-empty subset S of a ring R is said to be an ideal (also a two-sided ideal or
left ideal/right ideal) if and only if it is both a left ideal and a right ideal. As a result, it may be claimed
that a non-empty subset S of a ring R is an ideal of R . If,
(i) S is a subgroup of the additive group of R , or a subgroup of R under addition.
(ii) rs S and rs S r R, s S .
S is a subring of R if S is an ideal of the ring R because S is a subgroup of R under addition and
from condition (ii), we have xs S x, s S because x S x R . S is hence closed in terms of
multiplication. S is a subring of R as a result. Each ideal of a ring R is a subring of R as a result.
However, not all subrings are perfect. A stronger closure feature than the subring is necessary for an
ideal. If S is a subgroup of R under addition, then S will be a subring if S is closed under
multiplication, meaning that the result of two components of S is once more contained in S . However,
S will be an ideal if S contains the result of any element of S and any element of R .
Every left ideal will also be a right ideal if R is a commutative ring. Thus, every left (right) ideal is an
ideal in a commutative ring.
Note: Every ring R always has two improper ideals: one that is R itself and the other that is made up
entirely of zeros. These are referred to as the unit ideal and the null ideal, respectively. Other ideals
are called proper ideal. Any ring having no proper ideals is called simple ring.
Theorem 4: The intersection of two left ideals/right ideals of a ring is again left ideals/right ideals of
the ring.
Department of Mathematics
Uttarakhand Open University Page 176
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: Let R be a ring and I1 , I 2 be two ideals of the ring. Then we have to prove that I1 I 2
is also an ideal of R . For it, we will first show that I1 I 2 is left ideal of R i.e.,
r R, s I1 I 2 rs I1 I 2 .
We have, s I1 I 2 s I1 , s I 2 .
Since both I1 , I 2 are left ideals of the ring (R) . Therefore,
r R, s I1 rs I1 and r R, s I 2 rs I 2
Now, rs I1 , rs I 2 rs I1 I 2
Hence, I1 I 2 is a left ideal of R .
In a similar way we can prove that I1 I 2 is also a right ideal of R .
Theorem 5: Arbitrary intersection of left ideal/right ideal of a ring is also left ideal/right ideal of the
ring.
Proof: Let R be a ring and let S t : t T be the family of left ideal of R where T is the index set such
a 0 c 0 a c 0
Then, A B N .
b 0 d 0 b d 0
Department of Mathematics
Uttarakhand Open University Page 177
ADVANCED ABSTRACT ALGEBRA MAT501
1 0 1 2
1 0 N , 0 1 R,
1 0 1 2 1 2
And the product is not an element of N.
1 0 0 1 1 2
Theorem 6: A field has no proper ideals i.e., any field ( F ) has only two ideals (0) and F is itself.
Proof: Let S be any non-zero ideal of the field F and let a be any non-zero element of S . We have
a 1 F . Since S is an ideal, therefore
a S , a 1 F aa 1 S 1 S
Now let x F . Then
1 S , x F 1x S x S
Thus each element of field (F ) belongs to S . Therefore F S . Since we know that S F .
Therefore S F
Hence the only ideals of the field (F ) are 0 and F itself.
Theorem 7: If R is a commutative ring and a R , then
Ra ra : r R is an ideal of R .
Proof: In order to prove that Ra is an ideal of R , we should prove that Ra is a subgroup of R under
addition and that if u Ra and x R then xu and ux are also in Ra . Since R is a commutative ring,
therefore xu ux . Thus we only need to check that xu is in Ra .
Now, let u, v Ra . Then u r1a, , v r2 a for some r1 , r2 R .
We have u v r1a r2 a (r1 r2 )a Ra since r1 r2 R . Thus u, v Ra u v Ra .
Ra is a subgroup of R under addition.
Now again, x R .
Then xu x(r1a) ( xr1 )a Ra . Since xr1 R .
Ra is an ideal of R .
Theorem 8: A commutative ring with unity is a field if it has no proper ideals.
Proof: Assume that R is a commutative ring of unity with no appropriate ideals, meaning that the
only two ideals of R are (0) and R . We must demonstrate that each nonzero element of R has a
multiplicative inverse in order to prove that R is a field.
Let a be any non-zero element of R .
The set Ra ra : r R is an ideal of R. Since 1 R , therefore 1a a Ra . Thus 0 a Ra .
Therefore the ideal Ra (0) . Since R has no proper ideals, therefore the only possibility is that
Department of Mathematics
Uttarakhand Open University Page 178
ADVANCED ABSTRACT ALGEBRA MAT501
In a ring (R) ideal generated ideal generated by given subset of R : We can locate ideals containing
M if M is any subset of a ring. As an illustration, the ring R is an ideal that may include any subset of
R.
Smallest ideal containing subset: Let M represent any arbitrary subset of a ring. The smallest ideal of
R containing M if is therefore an ideal S of if,
M S,
and if every ideal of R containing M contains S.
Definition: Let M be any arbitrary subset of R and let R be a ring. The ideal created by M is stated to
be the smallest ideal of R containing M, and it is indicated by the symbol (M).
In particular, we write (a) in instead of M if M only consists of one element, let's say a, of the
ring R. A principal ideal is an ideal like (a) that is produced by just one ring element.
Definition: Any ideal S of a ring R will be called principal ideal if there exist an element a S s.t.
any ideal T of R that contain a also contains S i.e., S (a).
Therefore, the principal ideal is an ideal generated by a single element in itself.
In a ring (R) if 1 R , then the ideal generated by 1 is whole ring i.e., (1) R , since each
element of R can be expressed as r1 . Ring itself is referred to be the unit ideal for this reason. The null
ideal is the ideal produced by the zero element of R, or (0), which only contains the zero element.
Every ring R has (0) as at least one of its primary ideals. Every ring with unity has two primary ideals
at a minimum, namely (0) and (1).
Theorem 9: If a is an element in a commutative ring R with unity, then the set S ra r R is a
Department of Mathematics
Uttarakhand Open University Page 179
ADVANCED ABSTRACT ALGEBRA MAT501
We must now demonstrate that S is an ideal of R. Therefore, we must first demonstrate that S is a
subgroup of R under addition. Let the two element of S are u, v . Then u r1a, v r2 a for some
r1 , r2 R .
We have u v r1a r2 a (r1 r2 )a S . Since r1 r2 R .
Since S is a subgroup of R under addition.
Now we have to prove that x R, u S xu S and ux S . But R is a commutating ring then,
xu ux and thus we have only to prove that xu S .
We have xu x(r1a) ( xr1 )a S .
As we know xr1 R
S is an ideal of R and a S.
Now to prove that S is an ideal which is generated by the element a , We have only to show that if T
is an ideal of R and a T , then S T .
Let ra S then r R . If T is an ideal of R s.t. a T then r R, a T ra T . Thus S T .
Hence S is principal ideal of R s.t. S (a) .
Example 2: To find the principal ideal in the ring (R) of integer generated by 5.
Solution: Since we know ring of integer (I ) is a commutative ring with unity.
Since (5) 5r | r I
Thus, principal ideal of R generated by 5 is
(5) ...,10, 5, 0, 5,10, ...
and obviously, (5) (5)
Department of Mathematics
Uttarakhand Open University Page 180
ADVANCED ABSTRACT ALGEBRA MAT501
Example 4: Consider polynomial ring F[x], where F is a field. Then F[x] is an integral domain.
Define as v : F[ x] \ {0} Z # by
v( f ( x)) deg f ( x), f ( x) F[ x] \ {0}.
Let f ( x), g ( x) F ( x), g ( x) 0 . Since F is a field, so every nonzero element in F and hence the
leading coefficient of g(x) is a unit. It follows, by the Division Algorithm for polynomials, that there
exist unique q( x), r ( x) F[ x] such that f ( x) q( x) g ( x) r ( x) where either r ( x) 0 or
deg r ( x) deg g ( x) . Hence, we have f ( x) q( x) g ( x) r ( x) , where either
r ( x) 0 or v(r ( x)) v( g ( x)) .
Since there is no zero divisors in F, so for any two nonzero elements f(x) and g(x) in F[x], we have
deg( f ( x) g ( x)) deg f ( x) deg g ( x) deg f ( x), i.e. v( f ( x) g ( x)) v( f ( x)). Hence, F[x] is a
Euclidean domain.
Now we show that every field is a Euclidean domain. In search of a suitable Euclidean valuation on a
field, we first prove the following result:
Theorem 10: Let E be a Euclidean domain with the valuation v. Then for every a E * , v(a) v(1) if
and only if a is a unit in E.
Proof: For all a E * , v(a) v(1a) v (1).
Suppose a is a unit. Then there exists an element b E such that ab 1which implies that
v (1) v(ab) v(a) . Hence v (a) v(1).
Conversely, suppose that v (a) v(1) a E * . Now a 0 implies that there exist q, r E such that
1 qa r , where r 0 or v(r ) v(a) v(1) r = 0 . Since v(r ) v(1) is impossible, we have r = 0.
Thus 1 qa and hence a is a unit. Hence, if it is possible to define a Euclidean valuation v on a field
F, then v(a) v(1) for every a F * , since every nonzero element of F is a unit. Thus v is a constant
mapping.
Example 5: Let F be a field. Then v : F * Z # given by:
v(a) 2 a F *
is a Euclidean valuation. (Note that image of v may be any nonnegative integer.) Thus C, R and Q all
are Euclidean domain. Every ideal of Z is a principal ideal. Now we consider the integral domains
such that every ideal is a principal ideal.
Definition: An integral domain R is called a principal ideal domain (PID) if every ideal of R is a
principal ideal. Thus Z is a PID. Also every field is a PID.
Theorem 11: Every Euclidean domain is a principal ideal domain.
Department of Mathematics
Uttarakhand Open University Page 181
ADVANCED ABSTRACT ALGEBRA MAT501
Department of Mathematics
Uttarakhand Open University Page 182
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 13: Let R be a Euclidean domain (principal ideal domain) and a, b R not both zero. Then
a and b have a gcd d.
Proof: For every gcd d of a and b, there exist s, t R such that d sa tb . a, b are relatively prime if
and only if there exist s, t R such that 1 sa tb . Now we show that the irreducible elements and the
prime elements coincide in a PID.
Theorem 14: Let R be a principal ideal domain and p R . Then p is irreducible if and only if it is
prime.
Proof: As we know that every prime element is irreducible in an integral domain. Suppose that p is
an irreducible element in R . Consider a, b R and assume that p | ab. Then ab pc for some c R .
Since R is a principal ideal ring, there is d R such that p, b d . Then there exists q R such
that p dq . Since p is irreducible, either d or q must be a unit. If d is a unit, then p, d d R
. Hence 1 p, b and so 1 = sp + tb for some s, t R . This implies that
a asp atb asp tcp (as tc) p . Thus p | a . If q is a unit, then d q 1 p p . This implies
that d p p, b d . Hence p p, b and so b p . Thus p | b . Recall that if
F is a field then a polynomial p(x) is irreducible if and only if F[ x] / p( x) is a field. Hence p(x) is
irreducible if and only if p(x) is a maximal ideal in F[x]. We show that this result holds in every
PID.
Theorem 15: Let R be a principal ideal domain. Then M is a maximal ideal of R if and only if
M q for some irreducible element q R .
Proof: Already we know that if M q is a maximal ideal then q is an irreducible element.
Conversely, suppose that q is an irreducible element and M q . Consider an ideal I of R such that
M I R. Since R is a principal ideal domain, there exists a R such that I a . Now
q M a shows that q ab for some b R . Irreducibility of q implies that either a or b is a unit.
Department of Mathematics
Uttarakhand Open University Page 183
ADVANCED ABSTRACT ALGEBRA MAT501
Definition : An integral domain D is called a factorization domain if every nonzero non unit element a
of D can be expressed as a product a p1 p2 p3 ... pm of irreducible elements.
2: A factorization domain D is called a unique factorization domain (UFD) if for every nonzero non
unit element a of D, a p1 p2 p3 ... pm q1q2 q3 ...qm are two irreducible factorizations of a then m n
The fundamental theorem of arithmetic shows that the ring Z of integers is a unique factorization
domain. Later we see that every principal ideal domain is a unique factorization domain.
Recall that in an integral domain every prime element is irreducible. Now we have the following
theorem:
Theorem 16: In a unique factorization domain, every irreducible element is prime.
Proof: Suppose that D is a unique factorization domain and let p be an irreducible element of D .
Consider a, b D and assume that p | ab . Then ab pc for some c D . If a 0 then p | a and if a
is a unit then b pa 1c shows that p | b . Similarly for b. Now we assume further that a and b are
neither zero nor units. Then c 0 . Also c is not a unit, otherwise pc is irreducible and then either a or b
becomes a unit which is against our assumption. Since D is a unique factorization domain, a, b and c
have irreducible factorizations, say a a1a2 a3 ...ar , b b1b2b3 ...bs and c c1c2c3 ...ct . Then
a a1a2 a3 ...ar b1b2b3 ...bs pc1c2c3 ...ct implies that p is associate of one of the irreducible elements
is a prime element.
Theorem 17: Let a and b be two nonzero elements in a unique factorization domain D. Then
gcd(a, b) exists in D.
Proof: If either of a and b, say a is a unit, then a | b implies that a is a gcd(a, b) . Suppose that neither
a nor b is a unit and a P1 1 P2 2 ...Pr r and b P1 1 P2 2 ...Pr r where p1 , p2 , p3 ,..., pr are irreducible
l l l m m m
elements, l1 , l2 ,..., lr , m1 , m2 ..., mr are nonnegative integers (most likely some of them are zero). Let
Let c | a and c | b . If c is a unit, then c | d . Otherwise the uniqueness of the irreducible factorizations
Department of Mathematics
Uttarakhand Open University Page 184
ADVANCED ABSTRACT ALGEBRA MAT501
of a and b implies that c up1 1 p2 2 ... pr r where 0 k i li , mi i . Then k i ni and it follows that c | d .
k k k
Hence d gcd(a, b)
Now we show that every principal ideal domain is a unique factorization domain. For this let us first
prove a series of lemmas:
Lemma 1: Every ascending chain of ideals in a principal ideal domain is finite.
Proof: Let D be a principal ideal domain. Let a1 a2 a3 ... be an ascending chain of
ideals in D . Then I i ai is an ideal of D and so, since D is a principal ideal domain, there is
a a j and so a a j for all j k . Also a j a . Thus a a j for all j k .
p s is prime; and so p s | q1q2 ...qt which implies that p s | qt , upon rearrangement. Since both p s and qt
are irreducible elements in D, this implies that qt up s for some unit u. Then we have
which implies, by the induction hypothesis, that s 1 t 1 and each p i is associate to some q j ,
Department of Mathematics
Uttarakhand Open University Page 185
ADVANCED ABSTRACT ALGEBRA MAT501
element, and so there are two non units a1 , a1 D such that a a1 a1 and at least one, say a1 is not a
' '
in D. This contradicts that D is a principal ideal domain. Thus a has an irreducible factorization. The
converse of the above theorem is not true, in general. We know that Z[x] is not a principal ideal
domain; in the following we show that Z[x] is a UFD. In fact, we prove a more general result that D[x]
is a UFD whenever D is so.
Definition: Let D be a unique factorization domain and f ( x) a0 x n a1 x n1 ... an be a nonzero
This is denoted by c( f ).
Since gcd is not unique, in fact it is unique up to associates, it follows that c( f ) is unique up to
associates.
Definition: Let D be a unique factorization domain. A nonzero polynomial f ( x) D[ x] is called a
primitive polynomial if c( f ) is unit.
polynomial. Since some a i is nonzero the gcd(a0 , a1 ,..., an ) exists in D, say d gcd(a0 , a1 ,..., an ) . Then
there are ai D such that ai dai' and gcd( a0' , a1' ,..., an' ) 1 . Thus f1 ( x) a0' x n a1' x n .. an' is
'
primitive and f ( x) c( f ) f1 ( x)
Lemma 3: Product of two primitive polynomials is primitive.
Proof: Let D be a unique factorization domain and f ( x) a0 x m a1 x m1 ... am1 x am and
such that p | a k and p | bl . Then p | ck l ak l b0 ak l 1b1 ... ak 1bl 1 ak bl ak 1bl 1 ... a0bk l
Department of Mathematics
Uttarakhand Open University Page 186
ADVANCED ABSTRACT ALGEBRA MAT501
Lemma 4: Let R be a UFD and f ( x), g ( x) R[ x] be two primitive polynomials. Then f(x) and g(x)
are associates in R[x] if and only if they are associates in Q(R)[x].
Proof: Let f(x) and g(x) be associates in Q(R)[x]. Since Q(R) is a field, so the units in Q(R)[x] are
precisely the nonzero elements of Q(R). Hence there is a unit w ab1 Q( R) such that
g * ( x) R[ x] is a primitive polynomial. Similarly there are c, d R such that dh( x) ah* ( x) where
h* ( x) R[ x] is a primitive polynomial. Thus bdf ( x) acg * ( x)h* ( x) . Since product of two primitive
polynomials is primitive, it follows that both f (x) and g * ( x)h* ( x) are primitive. Hence ac ubd for
some unit u R , and f ( x) ug * ( x)h * ( x) which shows that f(x) is reducible over R, a contradiction.
Therefore f(x) is irreducible in Q(R)[x].
Lemma 6: If R is a unique factorization domain, then the polynomial ring R[x] is also a unique
factorization domain.
Proof: We first show that R[x] is a factorization domain. We apply induction on deg f(x), where f(x) is
a nonzero non unit element of R[x]. If deg f(x) = 0, then f ( x) R and it is a product of irreducibles,
irreducible, we are done. Otherwise, there are two nonzero non units g ( x), h( x) R[ x] such that
deg g ( x) deg f * ( x) deg f ( x) and deg h( x) deg f * ( x) deg f ( x) . Then both g (x) and h(x) are
Department of Mathematics
Uttarakhand Open University Page 187
ADVANCED ABSTRACT ALGEBRA MAT501
Where a1 , a2 ,..., ar , b1 , b2 ,..., bs R and p1 ( x), p2 ( x),..., pm ( x), q1 ( x), q2 ( x),..., qn ( x) R[ x] are
irreducible in Q( R)[ x] . Hence it follows that m n and there is a permutation S n such that pi (x)
nor b is a unit. Let a a1n1 a2n2 ...arnr and b b1m1 b2m2 ...bsms where a i and b j are irreducible elements and
b j . If c is a unit then bc aq, q D implies that b aqc1. This contradicts that D is a UFD, since no
a i is an associate of any b j . Thus c is a non unit. Let c c1l1 c2l2 ...ctlt be an irreducible factorization of c.
Department of Mathematics
Uttarakhand Open University Page 188
ADVANCED ABSTRACT ALGEBRA MAT501
Then bc aq implies that b1m1 b2m2 ...bsms c1l1 c2l2 ...ctlt a1n1 a2n2 ...arnr q. Since no a i is an associate of any b j , so
Problem 2: Check out the principal ideal in the ring (R) of integer generated subgroup while it is not a
maximal subgroup.
12.9 SUMMARY
In this unit, we have learned about the important relation between two rings name as isomorphic
relation. If two ring are isomorphic to each other then we can unfold the information about the
unknown ring on the basis of known ring. In this unit we have also learned about the ideals of the
ring. On the basis of ideals we have further learned about the principal ideal domain. The other
important topics of this unit are Euclidean domain and unique factorization domain. The overall
summarization of this units are as follows:
12.10 GLOSSARY
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
Department of Mathematics
Uttarakhand Open University Page 189
ADVANCED ABSTRACT ALGEBRA MAT501
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
P.B. Bhattacharya, S.K. Jain, S.R. Nagpaul: Basic Abstract Algebra, Cambridge Press, 1994.
David S. Dummit and Richard M. Foote: Abstract Algebra (3rd Edition), Wiley, 2011.
Michael Artin: Algebra (2nd edition), Pearson, 2014.
1. Prove that any ring R without a unity element may be imbedded in a ring that contains a unity
element.
2. Prove that each integral domain can be imbedded in a field?
3. In a unique factorization domain, every irreducible element is prime.
4. Prove that every principal ideal domain (PID) is unique factorization domain (UID).
5. If a is an element in a commutative ring R with unity, then prove that the set S ra r R is
Department of Mathematics
Uttarakhand Open University Page 190
ADVANCED ABSTRACT ALGEBRA MAT501
12.14 ANSWERS
13. Prime 14. UFD 15. Primitive 16. PID 17. PID
Department of Mathematics
Uttarakhand Open University Page 191
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
13.1 Introduction
13.2 Objectives
13.3 Introduction of polynomials
13.4 Division algorithm
13.5 Arithmetic of polynomial
13.6 Irreducibility of polynomial
13.7 Eisenstein's criteria for rreducibility
13.8 Summary
13.9 Glossary
13.10 References
13.11 Suggested Readings
13.12 Terminal Questions
13.13 Answers
13.1 INTRODUCTION
In this unit we give some results to test irreducibility of polynomials over a field, specially over
the field Q of all rational numbers. If K is a subfield of F , then every polynomial p(x) over K can
also be considered as a polynomial over F . It follows that if p(x) is irreducible over F then it is so
over K , but the converse is not true. For example, x 2 3 is irreducible over Q but reducible over R
Department of Mathematics
Uttarakhand Open University Page 192
ADVANCED ABSTRACT ALGEBRA MAT501
or after the original polynomial has been transformed. This criteria is named after Gotthold Eisenstein.
It was known as the Schönemann-Eisenstein theorem in the early twentieth century since Theodor
Schönemann was the first to publish it.
Theodor Schönemann, commonly known as Schoenemann, was a German mathematician who
produced numerous significant discoveries in number theory involving the theory of congruences,
which are published in Crelle's journal volumes 17 to 40. Notably, he obtained Hensel's lemma before
to Hensel, Scholz's reciprocity rule prior to Scholz, and Eisenstein's criteria prior to Eisenstein. He also
investigated what are now known as finite fields (more general than those of prime order) in the form
of integer polynomials modulo both a prime number and an irreducible polynomial (remaining
irreducible modulo that prime number).
13.2 OBJECTIVES
After reading this unit learners will be able to
Memorized about the polynomial ring.
Analyze about the division algorithm in terms of polynomials.
Analyze about the irreducibility criteria of polynomials
Analyze the Eisenstein’s criteria for irreducibility over Q .
on the sequence (a0 , a1 , a2 ,...) under consideration) such that ai 0 for all i n ; and the set of all
Department of Mathematics
Uttarakhand Open University Page 193
ADVANCED ABSTRACT ALGEBRA MAT501
We leave it to the reader to verify that R[ x], , . is a commutative ring with unity 1, 0, 0, ... . Also
0, 0, 0, ... is the zero element of R[x] and the additive inverse of (a0 , a1 , a2 ,...) is (a0 ,a1 ,a2 ,...) The
mapping
a (a,0,0,...)
is a monomorphism of the ring R into R[x] . Thus, R can be considered as a subring of R[x] and we
no longer distinguish between a and (a,0,0,...) .
The particular element (0,1, 0, 0, 0...) is called the indeterminate over R and is usually denoted by x .
Then according to the definitions of addition and multiplication in R[x] , we have
a0 a1 x a2 x 2 ... an x n
coefficient a n 1 , then p(x) is called a monic polynomial. We define the zero element (0, 0, 0, ...) of
the ring R[x] as the zero polynomial, and it will be denoted by 0. Thus a polynomial
Example 1: Consider the polynomial ring Z 6 [ x] . Then f ( x) [2]x 3 and g ( x) [3]x 2 are two nonzero
Department of Mathematics
Uttarakhand Open University Page 194
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 1: Let R be a commutative ring with unity 1. The R[x] is an integral domain if and only if R
is an integral domain.
Proof: First assume that R is an integral domain. Then R[x] is a commutative ring with 1. Let
R[x] . Then, we may consider a n 0 and bm 0 and so a n bm 0 , since R is an integral domain. Then
the polynomial f ( x) g ( x) c0 c1 x c2 x 2 ... cn m x n m is such that cnm anbm 0 . This implies
called the leading coefficient of p(x) ; and n is called the degree of p(x) . It is denoted by deg f ( x) . In
this case, a n is called the leading coefficient of f (x) . If the leading coefficient is 1, then f (x) is called
a monic polynomial.
We do not define degree of the zero polynomial.
Example 2: Consider the polynomial ring Z 6 [ x] . Then f ( x) [2]x 3 x [1] and g ( x) [3]x 2 [2] are
two nonzero polynomials of degree 3 and 2, respectively. Now f ( x) g ( x) x 3 [3]x 2 [2]x [2]
shows that f ( x) g ( x) deg f ( x) deg g ( x)
In general, we have the following inequality.
Theorem 2: Let be a commutative ring with unity and f ( x), g ( x) be two nonzero polynomials in R[x]
1. If f ( x) g ( x) 0, then deg f ( x) g ( x) deg f ( x) deg g ( x) . Equality holds if R is an
integral domain.
2. If f ( x) g ( x) 0, , then deg( f ( x) g ( x)) max{deg f ( x), deg g ( x) }
a n bm 0 (which can hold if R has zero divisors), then deg( f ( x) g ( x)) n m deg f ( x) deg g ( x) .
deg( f ( x) g ( x)) n max{deg f ( x), deg g ( x)} . If deg f ( x) deg g ( x), then
Department of Mathematics
Uttarakhand Open University Page 195
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: First assume that a 0 is a unit and a1 , a2 ,..., an an are nilpotents in R . Then a1 x, a2 x 2 ,..., an x n are
a0 a1 x a2 x 2 ... an x n is a unit.
We prove the converse by induction on the deg f ( x). If deg f ( x) 0 , then the result follows directly.
Let us make our induction hypothesis that the result holds for every nonzero polynomial of degree less
than n . Let f ( x) a0 a1 x a2 x 2 ... an x n be a unit in R[x] . Then there is a polynomial
anbm 0 (6)
an bm1 0
2
2
Again multiplying an to both sides of (4), we get
an bm2 0
3
Department of Mathematics
Uttarakhand Open University Page 196
ADVANCED ABSTRACT ALGEBRA MAT501
m 1
Proceeding similarly we get an b0 0 . Since, by (1), b0 is a unit, so a nm 1 0 . Thus an 0 is a
since f (x) is a unit. Since deg g ( x) n , so a 0 is a unit and a1 , a2 ,..., an1 are nilpotents in R , by the
induction hypothesis. Thus the result follows.
Let us define divisibility first. Let f (x) and g (x) be two nonzero polynomials in R[x] . If there exists
q( x) R[ x] such that f ( x) q( x) g ( x) , then we say that g (x) divides f (x) or that g (x) is a factor of
f (x) . It is denoted by g ( x) | f ( x)
Theorem 4 (Division Algorithm): Let R be a commutative ring with 1 and f ( x), g ( x) be two nonzero
polynomials in R[x] such that the leading coefficient of g (x) is a unit in R . Then there exist unique
polynomials q( x), r ( x) R[ x] such that
f ( x) q( x) g ( x) r ( x)
where either r ( x) 0 or deg r ( x) deg g ( x)
Proof: We initially prove the existence of such polynomials q(x) and r (x) . Note that g (x) is a
nonzero polynomial, since the leading coefficient is nonzero. If g ( x) | f ( x) , then there exists
q( x) R[ x] s.t. f ( x) g ( x)q( x) which gives the desired presentation where r ( x) 0 . If g ( x) | f ( x) ,
then consider the set
S f ( x) q( x) g ( x) | q( x) R[ x].
Now, by the well-ordering principle, the set N {deg h( x) | h( x) S} (since g ( x) | f ( x), so S does not
contain the zero polynomial), we have a polynomial r (x) having the least degree among all
polynomials in S . Then there exists q( x) R[ x] such that f ( x) g ( x)q( x) r ( x) . So it is sufficient to
s ( x) r ( x) bm an1 x mn g ( x) .
Department of Mathematics
Uttarakhand Open University Page 197
ADVANCED ABSTRACT ALGEBRA MAT501
To prove the uniqueness of q(x) and r (x) , assume that there are polynomials q ' ( x), r ' ( x) R[ x] such
that
f ( x) q ( x) g ( x) r ( x) q ' ( x) g ( x) r ' ( x)
If r ( x) r ' ( x) 0 then q ' ( x) q ( x) 0 , and since the leading coefficient of g (x) is a unit,
Which is impossible since deg r ( x), deg r ' ( x) deg g ( x) . Thus, r ( x) r ' ( x) 0 . Then
Let R be a commutative ring with 1 and f (a ) a0 a1a ... an x n R[ x] . For all a R we define
f (a ) a0 a1a ... an a n
Department of Mathematics
Uttarakhand Open University Page 198
ADVANCED ABSTRACT ALGEBRA MAT501
f1 (b) 0
since R is an integral domain, that is, b is a root of f1 ( x) . Therefore f (x) has at most n roots in R .
Corollary 2: Let R be an integral domain and f ( x), g ( x) R[ x] such that deg f ( x), deg g ( x) n .
If f (a) g (a) for n 1 elements a R , then f ( x) g ( x)
Proof: If, on the contrary, f ( x) g ( x) , then h( x) f ( x) g ( x) is a nonzero polynomial over R
such that deg h( x) n and h(x) has at least n 1 roots in R . This theorem is the contradiction of
theorem 6. Therefore f ( x) g ( x).
Proof: Let I be an ideal of F[x] . If I {0} , then I 0 . Suppose I {0} . By the well-ordering
principle on the set N deg f ( x) | 0 f ( x) F[ x] we have a polynomial, say d ( x) I with the
least degree in I . Then d ( x) I . For the reverse inclusion, let f ( x) I . By the Division
Algorithm, there are q( x), r ( x) F[ x] such that f ( x) d ( x)q( x) r ( x) where either r ( x) 0 or
deg r ( x) deg d ( x) . If r ( x) 0 , then r ( x) f ( x) d ( x)q( x) I contradicts that d (x) is a polynomial
Department of Mathematics
Uttarakhand Open University Page 199
ADVANCED ABSTRACT ALGEBRA MAT501
Department of Mathematics
Uttarakhand Open University Page 200
ADVANCED ABSTRACT ALGEBRA MAT501
d ( x) | c( x) , and so d ( x) ac( x) for some a a F * . Since both c(x) and d (x) are monic, it follows
that c( x) d ( x)
We denote the gcd of f ( x), g ( x) by gcd( f ( x), g ( x)).
Example 3: Consider two polynomials f ( x) 2( x 1)( x 2) and g ( x) 2( x 2)( x 3) over R . Then
d ( x) x 2 is the monic common divisor of f (x) and g (x) of greatest degree. Thus
gcd( f ( x), g ( x)) x 2.
Definition: Let f (x) and g (x) two polynomials in F[x] not both zero. If gcd( f ( x), g ( x)) 1 , then
f ( x), g ( x) are said to be relatively prime.
Theorem 9: Two polynomials f ( x), g ( x) F[ x] are relatively prime if and only if
1 f ( x)u( x) g ( x)v( x) for some u( x), v( x) F[ x] .
Proof: Let 1 f ( x)u( x) g ( x)v( x) , where u( x), v( x) F[ x] . If d ( x) gcd( f ( x), g ( x)) , then
d ( x) | f ( x), d ( x) | g ( x)
d (x) | 1
Since d (x) is monic, so it follows that d ( x) 1 . Hence f (x) and g (x) are relatively prime.
Converse of this theorem will be follows from Theorem 8.
Corollary 3: Let K be a subfield of F and f ( x), g ( x) K[ x] . Then f (x) and g (x) are relatively
prime in K[x] if and only if so in F[x] .
Proof: Let f (x) and g (x) be relatively prime in K[x] . Then 1 f ( x)u( x) g ( x)v( x) for some
u( x), v( x) K[ x] . Since K[ x] F[ x] , it follows that 1 gcd( f ( x), g ( x)) in F[x] , by Theorem 9.
Conversely, assume that f (x) and g (x) be relatively prime in F[x] . Then
1 f ( x)u( x) g ( x)v( x) for some u( x), v( x) F[ x] . Let d ( x) gcd( f ( x), g ( x)) in K[x] . Then
d ( x) | f ( x), d ( x) | g ( x) and d ( x) | f ( x)u( x) g ( x)v( x) in F[x] . It follows that d (x) | 1, and since d (x)
is monic, so d ( x) 1 . Thus f (x) and g (x) are relatively prime in K[x] .
Definition: Let F be a field. A nonconstant polynomial f ( x) F[ x] of degree n is called irreducible
over F if there is no factorization f ( x) g ( x)h( x) in F[x] such that deg f ( x) n and deg g ( x) n .
In the other way f (x) is said to be reducible.
Department of Mathematics
Uttarakhand Open University Page 201
ADVANCED ABSTRACT ALGEBRA MAT501
Thus, a nonconstant polynomial p(x) is irreducible iff it has only two monic divisors 1 and
a 1 p( x) if p( x) | f ( x)
Where, a is leading cofficient of p(x) .
Proof: Let p( x) | f ( x) . Since p(x) is irreducible, so it has no monic divisors other than 1 and
a 1 p( x)
Department of Mathematics
Uttarakhand Open University Page 202
ADVANCED ABSTRACT ALGEBRA MAT501
x a 1b is a monic irreducible polynomial in F[x] . Then f ( x) a( x a 1b) shows that we are done
for n 1. Let f (x) be a polynomial of degree n 1and leading coefficient a . If f (x) is irreducible,
f ( x) bcp1 ( x) p2 ( x)... pr ( x)q1 ( x)q2 ( x)...qs ( x) where b, c F and pi ( x), qi ( x) are monic irreducible
polynomials in F[x] .
Now, to prove the uniqueness of the factorization, let us suppose
ap1 ( x) p2 ( x)... pm ( x) bq1 ( x)q2 ( x)...qn ( x)
where a, b F and pi ( x), qi ( x) are monic irreducible polynomials in F[x] . Since all pi ( x), qi ( x) are
q1 ( x) | p1 ( x) p2 ( x)... pm ( x)
qm1 ( x)q2 ( x)...qn ( x) 1 if n m , which is a contradiction, since every irreducible polynomial is non
Theorem 13: Let f ( x) F[ x] be a polynomial of degree 2 or 3. Then f (x) is reducible over F if and
only if f (x) has a root in F .
Proof: First suppose that deg f ( x) 3 and f (x) has a root in F , say a . Then x a divides f (x) in
F[x] and so f ( x) ( x a)q( x) for some q( x) F[ x] . Thus f (x) is reducible over F .
Conversely suppose that f (x) is reducible over F . Then f ( x) g ( x)h( x) for some g ( x), h( x) F[ x]
with deg g ( x) 1 and deg h( x) 1 . Now deg( g ( x)h( x)) 3 shows that either deg g ( x) 1 and
deg h( x) 2 or deg g ( x) 2 and deg h( x) 1 . If deg g ( x) 1 , then g ( x) ax b for some
Department of Mathematics
Uttarakhand Open University Page 203
ADVANCED ABSTRACT ALGEBRA MAT501
a, b F , a 0 . Now a 1b F shows tha g (a 1b) 0 shows that f (a 1b) 0 has a root in F . If
h( x) 1 , then similarly f (x) has a root in F .
Example 4: Consider f ( x) x 2 x [1] Z 2 [ x] . Then f ([0]) [0]2 [0] [1] [0] and
f ([1]) [1]2 [1] [1] [0] shows that f (x) has no roots in Z 2 . Also deg f ( x) 2 . Thus, by theorem
13, f (x) is irreducible over Z 2 .
Theorem 13 is an appropriate criteria for assessing polynomial irreducibility over finite fields. Because
the nonexistence of roots in an infinite field is difficult to verify, it does not operate well over an
infinite field. Now we demonstrate a lovely strategy for checking the nonexistence of roots of a
polynomial over Q in a finite number of steps. We'll start with a well-known lemma known as Gauss's
Lemma.
Since Z p [x] is an integral domain, so at least one of g1 ( x) and h1 ( x) say is 0. Hence p divides all the
pmf ( x) pg 2 ( x)h1 ( x)
Department of Mathematics
Uttarakhand Open University Page 204
ADVANCED ABSTRACT ALGEBRA MAT501
prime p such that f ( x) [a0 ] [a1 ]x ... [an ]x n is of degree n and irreducible over Z p , then f (x) is
irreducible over Q .
Proof: Suppose that p is a prime such that deg f ( x ) is n and f (x) is irreducible over Z p . If possible,
let f (x) be reducible over Q . Then there exist polynomials g ( x) b0 b1 x ... bk x k and
of f ( x) ([b0 ] [b1 ]x ... [bk ]x k )([c0 ] [c1 ]x ... [cl ]x l ) is n k l , it follows that [bk ][cl ] [0]
in Z p , and hence [bk ] [0] and [cl ] [0] . Consequently, g (x) and h(x) are nonconstant polynomials
in Z p [x] . g (x ) and h(x) are non units, since the nonzero elements
of Zp are the only units of Z p [x] . Hence f (x) is reducible over Z p , a contradiction. Thus f (x) is
irreducible over Q .
f ( x) x 3 [2]x [2] . Now f ([0]) [2], f ([1]) [2] and f ([2]) [2] shows that f (x) has no root in
there is a prime integer p such that p | ai for all i n , p | a n and p 2 | a n , then f (x) is irreducible over
Q.
Proof: Assume, on the contrary, that f (x) is reducible over Q . Then by Gauss's lemma
Department of Mathematics
Uttarakhand Open University Page 205
ADVANCED ABSTRACT ALGEBRA MAT501
p ( x) 1 x ... x p 1
is irreducible over Q .
x p 1
Proof: Note that p ( x) which implies
x 1
p ( x 1) x p1 x p 2 ... p
Irreducible polynomials are commonly utilised in abstract algebra applications such as coding theory,
Galois theory, and so on. We show how to employ irreducible polynomials to build finite fields of
non-prime order. First, we show the following fact, which is essential for building finite fields.
Theorem 16: Let F be a field and p(x) be a nonzero polynomial over F . Then the following
conditions are equivalent:
(iii) F[ x] / p( x) is a field.
Department of Mathematics
Uttarakhand Open University Page 206
ADVANCED ABSTRACT ALGEBRA MAT501
Proof: (i) (iii) : F[ x] / p( x) is a commutative ring with unity, since F[x] is so. Consider a
nonzero element F[ x] p( x) of F[ x] / p( x) . Then f ( x) p( x) and so p( x) | f ( x) in
F[x] . Since p(x) is irreducible, so 1 gcd( p( x), f ( x)) . Then u( x) f ( x) v( x) p( x) 1 , for some
u( x), v( x) F[ x]
(ii) (i) (ii) ): F[ x] / p( x) is an integral domain and so contains at least two elements. Thus
F[ x] p( x) and so p(x) is a non constant. Suppose that p( x) f ( x) g ( x) , for some
f ( x), g ( x) F[ x] . Then f ( x), g ( x) p( x)
g ( x) p( x) 0 p( x) , equivalently f ( x) p( x) or g ( x) p( x) . If f ( x) p( x)
then there is q( x) p( x) such that f ( x) p( x)q( x) . Hence p( x) f ( x) g ( x) p( x)q( x) g ( x) and
so deg g ( x) 0 . Thus g (x) is a unit. Similarly, if g ( x) p( x) , then f (x) is a unit. Thus p(x) is
irreducible over F .
f ( x) ( x 2 x [1])q( x) r ( x)
where r ( x) 0 r(x) = 0 or deg r ( x) deg( x 2 x [1]) 2 . Then r ( x) [a]x [b] for some
F Z 2 [ x] / x 2 x [1]
Department of Mathematics
Uttarakhand Open University Page 207
ADVANCED ABSTRACT ALGEBRA MAT501
13.8 SUMMARY
In this unit, we have learned about the important definition of polynomial ring, irreducible polynomial
and important concept of Eisenstein's criteria of irreducibility of a polynomial over Q . The overall
summarization of this units are as follows:
A nonconstant polynomial p(x) is irreducible iff it has only two monic divisors 1 and a 1 p( x)
where, a is leading coefficient of p(x) .
integer p such that p | ai for all i n , p | a n and p 2 | a n , then f (x) is irreducible over Q .
13.9 GLOSSARY
GCD: Greatest common divisor
EIC: Eisenstein's irreducibility criterion
Eisenstein's irreducibility criterion: Let f ( x) a0 a1 x ... an x n Z [ x] . If there is a prime
integer p such that p | ai for all i n , p | a n and p 2 | a n , then f (x) is irreducible over Q .
13.10 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
Department of Mathematics
Uttarakhand Open University Page 208
ADVANCED ABSTRACT ALGEBRA MAT501
V. K. Khanna and S. K. Bhambri (2021 ), A Course in Abstract Algebra (5th Edition), Vikas
Publication House.
Vasishtha, A. R., & Vasishtha, A. K. (2006). Modern Algebra (Abstract Algebra). Krishna
Prakashan Media.
RamjiLal, Algebra 1: Groups, Rings, Fields and Arithmetic, Springer, 2017.
9. Prove that two polynomials f ( x), g ( x) F[ x] are relatively prime if and only if
1 f ( x)u( x) g ( x)v( x) for some u( x), v( x) F[ x] .
10. Find the gcd of the polynomials f ( x) 2( x 1)( x 2) and g ( x) 2( x 2)( x 3) .
Department of Mathematics
Uttarakhand Open University Page 209
ADVANCED ABSTRACT ALGEBRA MAT501
11. If D is an integral domain and f ( x) 0 is a polynomial in D[x] of degree n , then prove that
f (x) has at most n roots in D counted according to multiplicity.
12. Prove that in a commutative ring R with unity, D f ( x) R[ x] and a R then x a | f ( x) iff
a is root of f (x) .
Fill in the blanks:
13. If F is a field then every ideal in F[x] is …………………….
14. A non constant polynomial p(x) is irreducible iff it has only two monic divisors a 1 p( x) and
…….
15. Two polynomials f ( x), g ( x) are said to be relative prime if gcd( f ( x), g ( x)) ………………
13.13 ANSWERS
Answer of self cheque question:
1. Yes 2. Yes
Answer of terminal question:
9. ( x 2) 13. Principal ideal 14. 1 15. 1
Department of Mathematics
Uttarakhand Open University Page 210
ADVANCED ABSTRACT ALGEBRA MAT501
CONTENT:
14.1 Introduction
14.2 Objectives
14.3 Extension of fields
14.4 Minimal polynomial
14.5 Galois group
14.6 Summary
14.7 Glossary
14.8 References
14.9 Suggested Readings
14.10 Terminal Questions
14.11 Answers
14.1 INTRODUCTION
A field extension in mathematics, specifically algebra, is a pair of fields K L where the
operations of K are L operations confined to K. In this instance, K is a subfield of L and L is an
extension field of K. For instance, under the conventional definitions of addition and multiplication,
the real numbers are a subfield of the complex numbers, which are an extension field of the real
numbers.
The Galois group of a certain kind of field extension is a particular group connected to the field
extension in mathematics's branch of abstract algebra known as Galois theory. Galois theory is the
study of field extensions and how they relate to the polynomials that give birth to them via Galois
groups. It is named after Évariste Galois who made the initial discovery of field extensions.
In algebraic number theory, the study of polynomial roots via Galois theory, and algebraic
geometry, field extensions play a key role.
Department of Mathematics
Uttarakhand Open University Page 211
ADVANCED ABSTRACT ALGEBRA MAT501
14.2 OBJECTIVES
After reading this unit learners will be able to
Memorized about the extension of fields.
Analyze about the minimal polynomial in terms of field extension.
Analyze about the Galois group of polynomial over a field F .
As we know that complex numbers are generally ordered pair of real numbers i.e., C R R , and so,
in its strict sense R
C . Still R is considered as a subfield of C . We can identifying each real
number a with the complex number (a,0) .
So, what is the justification in doing this?
In the sense of isomorphism. Let we define a mapping f : R C , for all a R s.t.,
f (a) (a,0)
Then f is a monomorphism and R f ( R) {(a,0) | a R} which is a subfield of C .
Definition: Let F and K be two fields. F is called an extension or a field extension of K if there is a
monomorphism
f :K F
It is denoted by F / K
Since, K is a field and we also know that a field has no ideal other than {0} and F itself, every
homomorphism f : K F is either a zero homomorphism or a one-to-one homomorphism. Thus F is
a field extension of K iff there is a nonzero homomorphism f : K F .
Example 1: The mapping f : R C defined by for all a R,
f (a) (a, 0)
is a monomorphism. Thus C is a field extension of R .
Similarly, R is a field extension of Q . There are more several field extensions of Q . Now we give
some examples.
Example 2: Consider p( x) x 2 1 on R . Since p(x) is irreducible over R , F R[ x] / x 2 1 is a
field. Also we have F { f ( x) x 2 1 | f ( x) R[ x]} . Since R is a field, by the division algorithm
Department of Mathematics
Uttarakhand Open University Page 212
ADVANCED ABSTRACT ALGEBRA MAT501
F {a bx x 2 1 | a, b R}
Define a mapping f : R F by: for all a R ,
f (a) a x 2 1
Then f is a homomorphism. Now for a, b R ,
f (a) f (b) a x 2 1 b x 2 1
a b x 2 1
a b ( x 2 1)q( x)
for some q( x) R[ x] . If a b 0 then a b R
deg(a b) 0 , and q(x) is nonzero.
Then deg(( x 2 1)q( x)) deg( x 2 1) deg q( x) 2 leads to a contradiction. Thus a b and so f is a
monomorphism. Hence F is an extension of R .
Also note that : F C defined by:
(a bx x 2 1 ) a ib
for every a bx x 2 1 F is an isomorphism. Thus F C .
Example 3: Let F Q[ x] / x 2 2 . Since x 2 2 is irreducible over Q , F is a field. Also, by the
Division Algorithm on Q[x] , we have
F {a bx x 2 2 | a, b Q}
Define a mapping f : Q Q[ x] / x 2 2 by a Q
f (a) a x 2 2
Then f is a homomorphism. Since Q is a field, so f is either a zero homomorphism or a
(a bx x 2 2 ) a b 2
Department of Mathematics
Uttarakhand Open University Page 213
ADVANCED ABSTRACT ALGEBRA MAT501
prime fields for any prime integer p . We will now demonstrate that any prime field is isomorphic to
any of these fields.
Theorem 1: Every field F is either an extension of Q or an extension of Z p , for some prime p .
which is isomorphic to Z p .
Now assume that char F 0 . In this case, ker f {0} , and so f is one-to-one. Now we shall
show that this f induces an one-to-one homomorphism
:Q F
a a
s.t., f (a) f (b) 1 , where Q [Since f is 1-1, f (b) 0 b 0 ]
b b
a c a c
Let , Q . Then ad bc f (ad ) f (bc) f (a) f (d ) f (b) f (c) f (a) f (b) 1
b d b d
a c
f (c) f (d ) 1
b d
Department of Mathematics
Uttarakhand Open University Page 214
ADVANCED ABSTRACT ALGEBRA MAT501
a c ad bc
Now 1 1
f (ad bc) f (bd ) ( f (a) f (d ) f (b) f (c)) f (b) f (d )
1
b d bd
a c a c ac
f (a) f (b) 1 f (c) f (d ) 1 and f (ac) f (bd )
1
b d b d bd
a c
f (a) f (c) f (b) 1 f (d ) 1 f (a) f (b) 1 f (d ) 1 f (a) f (b) 1 f (c) f (d ) 1 .
b d
Thus F has a subfield which is isomorphic to Q .
Corollary 1: Let F be a prime field.
1. If char F 0 , then F Q .
2. If char F p , then F Z p .
Now let us look after the explicit form of the elements of K (c) . Now c, c 2 ,... K (c)
K (c) contains the elements of the form k 0 k1c ... k n c n . Thus for any f ( x) K[ x],
f (c) K (c), i.e., K[c] { f (c) | f ( x) K[ x]} K (c) . Since K[c] is an integral domain, the field of
quotients Q( K[c]) of K[c] exists, and if follows from the fact K[c] is the smallest subfield that
contains K {c1 , c2 ,..., cn } that K[c] Q( K[c]) . Thus we have:
f ( 2)
Example 5: Consider Q( 2 ) f ( x), g ( x) Q[ x], g ( 2 ) 0 . Let
g( 2)
f ( x) a0 a1 x ... an x n Q[ x] . Then
Department of Mathematics
Uttarakhand Open University Page 215
ADVANCED ABSTRACT ALGEBRA MAT501
a b 2 ,where a, b Q
f ( 2)
g( 2)
ab 2
cd 2
r s 2 for some r , s Q
Again, 5 3 Q( 5 3 )
1 1
Q( 5 3 ) i.e., ( 5 3 ) Q( 5 3 )
5 3 2
3
1
2
1
( 5 3 ) ( 5 3 ) Q 5 3 and
2
5
1
2
1
( 5 3) ( 5 3) Q 5 3
2
Q( 3, 5 ) Q( 5 3 ) .
Thus Q( 3, 5 ) Q( 5 3 )
Recall that C is a vector space over R of dimension 2 and {1, i} is a basis of C over R . Also Q ( 2 )
Department of Mathematics
Uttarakhand Open University Page 216
ADVANCED ABSTRACT ALGEBRA MAT501
of F over K . Then there is k K such that 1 kc . This implies that k 0 and c k 1 K . Thus
F K and hence F K
Definition: A field extension F / K is called finite if [ F : K ] is so, otherwise F / K is called an infinite
extension.
If [ F : K ] 2 , then F is called a quadratic extension of K .
B {ui v j | 1 i m, 1 j n} is a basis of F / K .
Since for each li L there are ki1 , ki 2 ,..., kin K such that
Department of Mathematics
Uttarakhand Open University Page 217
ADVANCED ABSTRACT ALGEBRA MAT501
Thus,
a k11u1v1 k12u1v2 ... k1nu1vn
.
.
.
km1umv1 km2umv2 ... kmnumvn .
which shows that B {ui v j | 1 i m,1 j n} generates F as a vector space over K . This is left for
Note: Let F / K be a field extension of finite degree and L is an intermediate field. Then aforesaid
theorem implies that L / K is finite extension and [ F : K ] [ F : L][L : K ]
[L : K ] | [F : K ]
Corollary 2: If F / K is a finite field extension and L is an intermediate field, then [ L : K ] | [ F : K ] .
There are several uses for the tower rule. We demonstrate its application to determine the degree of an
extension in the further books. Let's now think about the case below.
Example 9: Let L and M be two intermediate fields of a field extension F / K . If [ L : K ] is prime,
then either L M K or L M
Denote N L M . Then K N L
N is an intermediate field of L / K , and
hence [ L : K ] [ L : N ][ N : K ] . Since [ L : K ] is prime, [ L : N ] 1 = 1 or [ N : K ] 1 . Then N L or
N K , i.e., L M or L M K .
Department of Mathematics
Uttarakhand Open University Page 218
ADVANCED ABSTRACT ALGEBRA MAT501
Definition: Let F / K be a field extension. Then c F is called an algebraic element over K , if there
is a non constant polynomial f ( x) K[ x] s.t. f (c) 0 , i.e. if there exists k0 , k1 ,..., kn K not all
k i 0 s.t.,
k 0 k1c ... k n c n 0
Department of Mathematics
Uttarakhand Open University Page 219
ADVANCED ABSTRACT ALGEBRA MAT501
Example 11: Consider the extension R / Q . Then x 2 3 is the minimal polynomial of 3 R over
c 5 k 4 c 4 k3c 3 k 2 c 2 k1c k0 0
k0 k 2c 2 k4c 4
c K (c 2 ) , and hence K (c) K (c 2 )
k1 k3c 2 c 4
Although the aforementioned evidence for the existence and uniqueness of the minimum polynomial
m(x) is inherent, it does not offer any guidance on how to go about locating the minimal polynomial.
We now present evidence that irreducibility may serve as an effective comparable criteria for our
practical goal.
Let's start by demonstrating the lemma that follows, which follows directly from the minimum
polynomial's leastness in degree such that m( ) 0
Lemma 1: Let F / K be a field extension F and algebraic over K . Then for every
f ( x) K[ x], f ( ) 0 m( x) | f ( x)
Proof: By the Division Algorithm, there are q( x), r ( x) K[ x] such that f ( x) m( x)q( x) r ( x)
where r ( x) 0 or deg r ( x) deg m( x) . If deg r ( x) deg m( x) , then r (x) becomes a non constant
polynomial such that r ( ) p( ) m( )q( ) 0 , which contradicts the choice of m(x) as a
Department of Mathematics
Uttarakhand Open University Page 220
ADVANCED ABSTRACT ALGEBRA MAT501
pi (x) having a root . Now we show that irreducibility is enough to characterize minimal
polynomials.
Theorem 4: Let F / K be a field extension and F algebraic over K . Then m( x) K[ x] is the
minimal polynomial of over K iff it is a monic irreducible polynomial such that m( ) 0 .
Proof: First, let us assume that m( x) K[ x] is the minimal polynomial of over K . Suppose
m( x) u( x)v( x), u( x), v( x) K[ x] . Then m( ) 0
either u( ) 0 or v( ) 0 . If u( ) 0 , then deg u( x) can never be less than deg m( x) and hence
deg u( x) deg m( x) .
deg v( x) 0 and hence v(x) is a unit. Similarly v( ) 0
u(x) is a unit. Thus m(x) is irreducible.
Conversely, consider a monic and irreducible polynomial p( x) K[ x] such that p( ) 0 . Then
p( x) m( x)q( x) . Then the irreducibility of p(x) implies that either m(x) is a unit or q(x) is a unit.
Since m(x) is non constant, it is not a unit. Thus q(x) is a unit. Since both p(x) and m(x) are monic
we have q( x) 1. Thus p( x) m( x) .
Corollary 3: Let F / K be a field extension and F . Then is algebraic over K if and only
if K[ ] K ( ) . Moreover in this case, K[ ] K ( ) K[ x] / m( x) .
Proof: First assume that is algebraic over K . Define : K[ x] K[ ] by for every f ( x) K[ x] ,
( f ( x)) f ( )
Then is an onto homomorphism. Now,
ker { f ( x) K[ x] | f ( ) 0}
{ f ( x) K[ x] | m( x) | f ( x)}
Department of Mathematics
Uttarakhand Open University Page 221
ADVANCED ABSTRACT ALGEBRA MAT501
m(x)
Now, by first isomorphism theorem, that K[ x] / m( x) K[ ]. Since m(x) is irreducible, it follows
that K[ x] / m( x) is a field forcing K[ ] to be a field. Hence K[ ] K ( ) .
Conversely, suppose that K[ ] K ( ) . That 0 is algebraic follows directly. Let 0 .
where, ki , i 0, 1, 2, ..., n not all k i are zero. Then k n n1 k n1 n ... k 0 1 0 which shows that
is algebraic over K .
In the following we show that K (c) is an infinite extension of K for every transcendental element c .
Corollary 4: Let F / K be a field extension and c F . Then c is transcendental over K if and
only if K [c] K (c) . In this case, K[c] K[ x] and K (c) K ( x) .
Proof: First part of this result follows from the above corollary, since K[c] K (c) . For the second
part, consider the onto homomorphism : K[ x] K[c] for every f ( x) K[ x] ,
( f ( x)) f (c)
Since c is transcendental over K , there is no nonzero polynomial f ( x) K[ x] such that f (c) 0
Thus ker {0} showing that is one-to-one. Thus K[ x] K[c]
Since K (x) and K (c) are the quotient fields of K[x] and K[c] respectively, : K[ x] K[c] induces
f ( x)
an isomorphism ': K ( x) K (c) defined by, for every K ( x)
g ( x)
f ( x ) f (c )
' . Therefore K (c) K ( x) .
g ( x ) g (c )
If m(x) is a polynomial of degree n , then by division algorithm for polynomial over the field defined
that K[ x] / m( x) is a n dimension vector space over the field K having basis
polynomial of c over K . If deg m( x) n , then {1, c, c 2 ,..., c n1} is a basis of K (c) over K . Thus
[ K (c) : K ] deg m( x) .
Proof: Let K (c) . Since c is algebraic over K , K (c) K[c] .
Department of Mathematics
Uttarakhand Open University Page 222
ADVANCED ABSTRACT ALGEBRA MAT501
Which shows that f (c) for some f ( x) K[ x] . By division algorithm q( x), r ( x) K[ x] , s.t.
f ( x) m( x)q( x) r ( x)
where r ( x) 0 or deg r ( x) deg m( x) . In other case we will assume that
Thus, {1, c, c 2 ,..., c n1} generates K (c) over K . By the definition of linearly independent if there are
Then p ( x) k 0 k1 x ... k n1 x n1 K [ x] will be non zero polynomial s.t. its degree will be less
deg m( x)
s.t. p(c) 0 which is the contradict that m(x) is minimal polynomial of c over K . Thus
Example 13: Let us consider the extension Q (3 2 ) over Q . The minimal polynomial of 3
2 over Q is
Q(3 2 ) a b 21 / 3 c 2 2 / 3 | a, b, c Q
Example 14: Consider Q( 2 , 3 ) as Q ( 3 )( 2 ) . Since x 2 2 is irreducible over Q ( 3 ) , the
{1, 2}
{1, 2} {1, 3}
L
{1, 2 , 3, 6}
{1, 3}
Q ( 2 , 3 ) a b 2 c 3 d 6 | a , b, c , d Q .
Department of Mathematics
Uttarakhand Open University Page 223
ADVANCED ABSTRACT ALGEBRA MAT501
f ( x) a0 ( x 1 )( x 2 )...( x n )
As a product of first degree factors, f (x) divides up fully across E in this manner. Thus, we can
show that there is a finite extension of F called E that decomposes f (x) into a linear product. As a
result, there is a finite extension of F of minimum degree that shares this feature. Because no suitable
subfield of this minimal extension can divide f (x) as a product of linear factors, this minimal
extension will operate as a splitting field for f (x) .
Another way
An extension E of a field F is said to be a splitting field of f ( x) F[ x] , if f ( x) E[ x] is expressible
as
f ( x) a0 ( x 1 )( x 2 )...( x n ) , where a0 F , 1 , 2 ,..., n E and E F (1 , 2 ,..., n ) .
Note. Uniqueness of splitting field: This is to note that a polynomial's splitting field is distinct from
isomorphism. Let E1 and E2 be two splitting field of f ( x) F[ x] s.t.
f ( x) a( x 1 )( x 2 )...( x n ) over E1
Here, fields F (1 , 2 ,..., n ) and F ( 1 , 2 ,..., n ) are isomorphic by an isomorphism leaving every
element of F fixed.
Normal extension: A finite extension K of a field F is name as a normal extension of F if the fixed
field of G( K , F ) is F .
Department of Mathematics
Uttarakhand Open University Page 224
ADVANCED ABSTRACT ALGEBRA MAT501
By the definition it is obvious that if any element of K which is not in F , then we must have some
automorphism in G( K , F ) s.t., (a) a
Definition (Galois group): Let f (x) be polynomial in F[x] and let K be its splitting field over F.
The Galois group of f (x) is the group G( K , F ) of all those automorphisms of K which leave every
element of F is fixed.
Note: If K is an extension of a field F , then an automorphism of K which leaves every element of
F fixed is also called an F automorphism of K . If K is a normal extension of a field F of
characteristic 0, then K is the splitting field of some polynomial f (x) in F[x] . The group G( K , F ) of
F automorphism of K is also called the Galois group of K over F .
Theorem 7: The Galois group of a polynomial is isomorphic to a group of permutations of its roots.
Proof: Let the polynomial f (x) over the field F and K be the splitting field of f (x) over F . Then K
is normal extension of F . Thus the Galois group G( K , F ) of f (x) is of finite order n i.e., [ K , F ] n .
Let n distinct element of G( K , F ) are 1 , 2 ,..., n . Let us suppose that in K , f (x) has m distinct
roots. It can be possible that f (x) has multiple roots. Assume that S {1 , 2 ,..., m } be the collection
of m distinct root of f (x) in K . Let P be the collection of all those permutation on S such that
which are not in F i.e., P contain those element of S in which element of F is fixed (if any exist). If
p1 , p2 are two element of P then p1 p2 should also in P because p1 p2 will also leave each element of
F fixed. So we can say that P is closed w.r.to product of two permutation. Thus P is subgroup of
group of all permutation on S . Now we have to prove that group G( K , F ) is isomorphic to group P .
* is function from S to S .
Further * is one-one because is one-one. As we know that S is finite set then,
* is one-one * is also a onto function.
* is also a permutation on S .
Since leaves each element of F fixed, in similar way * will also leave each element of F fixed.
* P .
Department of Mathematics
Uttarakhand Open University Page 225
ADVANCED ABSTRACT ALGEBRA MAT501
Let us consider : G( K , F ) P
s.t. ( ) * G( K , F )
is one-one: Let us consider 1 , 2 G( K , F ) . Then
( 1 ) ( 2 )
1 2
* *
1 (a ) 2 (a ) a S
* *
1 (a) 2 (a) a S
Now K F (a1 , a2 ,..., am ) . Each element of K may therefore be obtained by performing a limited
number of addition, subtraction, multiplication, and division operations on the components of F and
on (a1 , a2 ,..., am ) , but 1 and 2 are automorphisms of K . Each one maps every element of S the
same way while leaving every element of F fixed.
is onto: Let b P then b is a permutation on S while keeping fixed the S elements that are in F .
Now consider there is an automorphism of K that maps each element of S in the same way as b
maps it while leaving every element of F fixed. The automorphism of K will be fully determined
since each element of K may be obtained by performing a limited number of addition, subtraction,
multiplication, and division operations on the elements F and (a1 , a2 ,..., am ) .
( 1 2 )* (a) ( 1 2 )(a)
1[ 2 (a)]
1[ 2 (a )]
*
1 [ 2 (a )] ( 1 2 )(a )
* * * *
( 1 2 )* 1 2
* *
( 1 2 ) 1 2 ( 1 ) ( 2 )
* *
Department of Mathematics
Uttarakhand Open University Page 226
ADVANCED ABSTRACT ALGEBRA MAT501
Theorem 8: Let K be the normal extension in a field F with characteristic 0. Prove that there exist a
one to one correspondence between set of subgroups of G( K , F ) and set of subfield of K . Further,
show that if M is any subfield of K which contains F , then
Proof: For any subfield M of K which contains F , consider G( K , M ) be the group of all
automorphism of K which leave each element of M fixed. We have
Since F M
G( K , F )
Thus G( K , M ) G( K , F )
G( K , M ) is subgroup of G( K , F )
So, for any subfield T of K who contains F we will found a subgroup G( K , M ) of G( K , F ) . Now
define a mapping between set of subfields of K which contains F into set of subgroup of G( K , F )
s.t.,
H G( K , F ) . Since H is subset of G( K , F ) .
( a) a a F .
Department of Mathematics
Uttarakhand Open University Page 227
ADVANCED ABSTRACT ALGEBRA MAT501
[By the Theorem: If K is the finite extension of a field F with characteristic 0 and H is subgroup of
G( K , F ) . Let K H be the fixed field of H . Then (i) [ K : K H ] O( H ) (ii) H G( K , K H ) ]
(K H ) H .
is onto.
K G ( K ,M ) M
G( K , M 1 ) G( K , M 2 ) [By definition]
K G ( K , M1 ) K G ( K , M 2 )
M1 M 2
is one-one.
Thus we can say that gives the one to one correspondence. Now we have only to prove that (i), (ii)
and (iii).
(i) If M is any subfield containing F , then as in previous part we have prove that K is normal
extension of M . Therefore we have O(G( K , M )) [ K : M ] . Since K is normal extension of F ,
therefore
O(G( K , F )) [ K : F ]
Department of Mathematics
Uttarakhand Open University Page 228
ADVANCED ABSTRACT ALGEBRA MAT501
[ K : M ][M : F ]
O(G( K , M ))[M : F ]
O(G ( K , F ))
[M : F ] index of G ( K , M ) in G ( K , F ).
O(G ( K , M ))
(M ) M
(t ) M m M
Therefore induces an automorphism * of M , defined as
* (m) m m M
Since leaves each element of F fixed, therefore * also leaves each element of F fixed.
* G ( M , F ) . If 1 , 2 G( K , F ) then m M , we have
( 1 2 )* (m) ( 1 2 )m
Department of Mathematics
Uttarakhand Open University Page 229
ADVANCED ABSTRACT ALGEBRA MAT501
( 1 2 )(m)
* *
( 1 2 )* 1 2
* *
( ) * is the identity of the group G(M , F ) and the identity of the group G(M , F ) is identity map
on M . Therefore,
O(G ( K , F ))
Now, O(G ( K , F ) / G ( K , M ))
O(G ( K , M ))
index of G( K , M ) in G( K , F )
14.6 SUMMARY
In this unit, we have learned about the important concept of extension of field, minimal polynomial
over a field of extension field and important group name as Galois group of a polynomial over a field.
The overall summarization of this units are as follows:
Department of Mathematics
Uttarakhand Open University Page 230
ADVANCED ABSTRACT ALGEBRA MAT501
R is a field extension of Q .
Q, Z p has no proper subfield.
R / Q is an infinite extension.
C / R finite extension of field and quadratic extension.
For every f ( x) F[ x] there exist a splitting field.
The Galois group of a polynomial is isomorphic to a group of permutations of its roots.
14.7 GLOSSARY
F / K : F is called field extension of K
[ F : K ] : Denote degree of the extension of F / K ’or’ the dimension of F as a vector space
over K
G( K , F ) : Called the Galois group of all those automorphisms of K which leave every element
of F is fixed.
14.8 REFERENCES
Joseph A Gallian, (1999), Contemporary Abstract Algebra (4th Edition), Narosa, 1999.
1. Prove that every field F is either an extension of Q or an extension of Z p , for some prime p .
Department of Mathematics
Uttarakhand Open University Page 231
ADVANCED ABSTRACT ALGEBRA MAT501
2. Let F / K be a field extension and F be algebraic over K . Then prove that there is a unique
monic polynomial m( x) K[ x] of least degree such that m( ) 0 .
3. If F / K be a field extension F and algebraic over K . Then prove that for every
f ( x) K[ x], f ( ) 0 m( x) | f ( x)
4. Let F / K be a field extension and F algebraic over K . Then prove that m( x) K[ x] is the
minimal polynomial of over K iff it is a monic irreducible polynomial such that m( ) 0 .
5. If F / K be a field extension, c F be algebraic over K and m(x) be the minimal polynomial
of c over K . If deg m( x) n , then prove that {1, c, c 2 ,..., c n1} is a basis of K (c) over K . Thus
[ K (c) : K ] deg m( x) .
6. Prove that the Galois group of a polynomial is isomorphic to a group of permutations of its
roots.
7. State and prove the fundamental theorem of Galois group.
Short Answer Type Question:
8. Let F / K be a field extension and F . Then prove that is algebraic over K if and only
if K[ ] K ( ) . Moreover in this case, K[ ] K ( ) K[ x] / m( x) .
9. Prove that for every f ( x) F[ x] there exist a splitting field.
Department of Mathematics
Uttarakhand Open University Page 232
ADVANCED ABSTRACT ALGEBRA MAT501
14.11 ANSWERS
Answer of self cheque question:
1. Yes 2. Yes
Answer of terminal question:
14. No 15. No 16. Subfield
Department of Mathematics
Uttarakhand Open University Page 233
Teen Pani Bypass Road, Transport Nagar
Uttarakhand Open University, Haldwani, Nainital-263139
Phone No. 05946-261122, 261123
Toll free No. 18001804025
Fax No. 05946-264232,
E-mail:[email protected]
Website: https://www.uou.ac.in/