Professional Documents
Culture Documents
Abstract Algebra Notes PDF
Abstract Algebra Notes PDF
Contents
1 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Subgroups and Cyclic groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Cosets and Lagrange’s theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Normal Subgroups, Quotient group, Homomorphism . . . . . . . . . . . . . . . . . . . 14
1.5 Direct Products of Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Class Equation and Sylow’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 Symmetric Group Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1
2
Preface
This is a draft of abstract algebra notes, which is prepared during the lectures of our NET coaching
classes and the aim is to supplement the students with their preparation for CSIR-NET exam in
Mathematics. Most of the material presented here is not the original work.
We are not responsible for any typos in these notes.
You are free to modify these notes and correct the mistakes, if any, and distribute among your friends.
If you have any suggestions or constructive critisism, which will improve the quality of these notes,
please write to : director.mathnet@gmail.com. Your suggestions are welcome.
4
Chapter 1
Groups
1.1 Introduction
Group : A non-empty set G with a binary operation ∗ is called a group if it satisfies the following
properties.
(i) ∗ : G × G → G (closure)
Examples
5
6
2. (Z, ×), (Q, ×), (R, ×), (C, ×), does not form group. Because the element 0 does not have
inverse in any of the above sets.
5. (Mn , ×) is not a group. Since not all matrices in Mn (R) have inverses.
6. Let GLn (R) = {An×n | det(A) 6= 0}, i.e. the set of all n × n invertible real matrices. Then
(GLn (R), ×) forms a group. This group is called general linear group of degree n.
In general (GLn (F), ×) forms a group, where F can be any field.
9. Let G = {e, a, b, c}. Let the binary operation ∗ on G be associative and commutative and e be
the identity of G. The elements a, b, c of G satisfies following relations: a ∗ a = b ∗ b = c ∗ c = e,
a ∗ b = c, a ∗ c = b, b ∗ c = a. Then (G, ∗) forms an abelian group of order 4. This group is called
Klein’s 4-group.
a b
Exercise : Consider GL2 (Z2 ) = | ad − bc 6= 0, a, b, c, d ∈ Z2 .
c d
Prove that |GL2 (Z2 )| = 6. Can you guess a general formula for |GLn (Zp )|, where n ∈ N and p is a
7
prime number.
Remark: From now onwards we do not use the sign ∗ to denote the binary operation. Instead we
simply write ab to denote a ∗ b. We use the binary operation explicitly, if it is available.
Lemma 1.1.2 If G is a group and a, b ∈ G. Then the equations ax = b and ya = b have unique
solutions in G.
In particular, the two cancellation laws, au = aw ⇒ u = w and ua = wa ⇒ u = w hold in G.
Worked Examples:
2. Find the order of GLn (Zp ), where Zp is a finite field of prime order p.
Solution: We know that, by definition, GLn (Zp ) contains non-singular matrices, whose entries
are chosen from a finite field of order p.
⇒ All the rows of the matrices in GLn (Zp ) are linearly independent.
So we can fill the first row in (pn − 1), ways. ( -ve 1 is because we are omitting a row where all
the entries are 0)
Second row in (pn − p) ways, since we need second row to be linearly independent from first row.
Third row in (pn − p2 ) ways, since we need third row to be linearly independent from both first
8
Exercise :
1. Consider the group (S3 , ◦). Show that there are 4 elements satisfying x2 = e and 3 elements
satisfying x3 = e, Even though the order of this group is 6.
3. If G is a group of even order, prove that G has at least one element a 6= e satisfying a2 = e.
(i) a, b ∈ H ⇒ ab ∈ H and,
(ii) a ∈ H ⇒ a−1 ∈ H
The conditions (i) and (ii) can be replaced by a single condition a, b ∈ H ⇒ ab−1 ∈ H.
Remark: If H is a subgroup of a group G, then the binary of H is always the binary operation of
G.
Example:
Then H ≤ G. (check )
6. Let G be any group of finite order and a ∈ G. Define H =< a >= {ai |i ∈ Z}, then < a >≤ G.
This subgroup is called cyclic subgroup. The element a ∈ G is called the generator of the
group H.
7. Let G = (GLn (R), ×) and H = {An×n real matrix | det(A) = 1}. where det(A) denotes the
determinant of the matrix A. Then H ≤ G. (check using the definition when n = 2) The
subgroup H is called special linear group and is denoted by SLn (R)
a b
Let G = (GL2 (R), ×) and H = | ad 6= 0, a, b, c, d ∈ R .
c d
Then H 6≤ G. (why ?)
Lemma 1.2.1 If H is a non empty finite subset of a group G and H is closed under multiplica-
tion(binary operation of G), then H is a subgroup of G.
5. Let H ≤ G. Define NG (H) = { a ∈ G | aHa−1 = H}. Prove that NG (H) is a subgroup and
H ⊂ NG (H), where NG (H) is called normalizer of H in G. When the group G is clear, we drop
the subscript G and simly use N (H) to denote normalizer of H in G.
10
order of an element : Let G be a group and a ∈ G. Then order of a is denoted by o(a) and
defined as
o(a) = | < a > |, where < a > is the cyclic subgroup of G, generated by a.
Also o(a) = least positive integer n such that an = e.
Check above two definitions are equivalent.
Example:
Remark: The converse is not true. i.e. Every abelian group is not cyclic.
e.g. Klein’s 4-group.
Lemma 1.2.5 Let (G, ∗) be a cyclic group generated by a. Then G is infinite if and only if o(a) is
infinite.
Lemma 1.2.6 A finite group (G, ∗) of order n is cyclic if and only if there exists an element b in G
such that o(b) = n.
Example:
1. The group (Zn , +) is a finite group of order n. Then 1̄ ∈ Zn and the order of 1̄ in the group is
n. Therefore (Zn , +) is a cyclic group with 1̄ as a generator.
11
2. The symmetric group S3 is not cyclic, since the order of S3 is 6 and there exists no element of
order 6 in S3 .
Lemma 1.2.7 Let G =< a > and o(G) = n > 1. Then for r ∈ N, ar is also a generator of the group
iff r < n and g.c.d.(r, n) = 1.
Corollary 1.2.8 If G is a finite cyclic group of order n, then the number of generators of G is φ(n),
where φ(n) is Euler’s φ function.
NOTE : φ(n) = number of positive integers less than n and relatively prime to n.
Example:
1. The number of generators of the cyclic group S = ({i, −1, −i, 1}, ×) is 2, since φ(4) = 2.
n
2. If o(a) = n < ∞ then o(am ) =
g.c.d(n, m)
n
3. In particular if o(a) = n < ∞ and m is a positive integer dividing n, then o(am ) =
m
Example: In the group G = (Z, +), all subgroups are of the form mZ f or m ∈ N.
Lemma 1.2.12 A cyclic group of finite order n has one and only one subgroup of order d, for every
positive divisor d of n.
Remark: If G is an infinite cyclic group generated by a, then a and a−1 are the only generators of
G. e.g. (Z, +) is an infinite cyclic group with 1 and −1 as generators. For a given m ∈ N, (mZ, +)
is an infinite cyclic group with m and −m as generators.
12
Remark: Since equivalence relation on a set partitions the set into different equivalence classes, any
two right cosets of H in G is either identical or have no elements in common (disjoint).
Lemma 1.3.3 There is one-to-one correspondence between any two right cosets of H in G
i.e. there exists a bijection between any two right cosets of H in G.
Theorem 1.3.4 (Lagrange) If G is a finite group and H is a subgroup of G, then o(H) is a divisor
of o(G)
Example: Let n ∈ N and U (n) = {a < n | g.c.d(a, n) = 1}(a is relatively prime to n). Then U (n)
is a group under multiplication mod n. (check)
Corollary 1.3.7 (Euler) Let n ∈ N. Let a be a positive integer such that g.c.d(a, n) = 1, then
aϕ(n) ≡ 1 mod n.
Corollary 1.3.9 If G is a finite group whose order is a prime number p, then G is a cyclic group.
13
Example:
1. Let G = S4 and H = A4 . Then H ≤ G and o(S4 ) = 24 and o(A4 ) = 12. ⇒ order H divides
order of G. We will give more details of Sn later.
2. Let G = Klein0 s 4 − group. and H =< a >. Then o(G) = 4 , o(H) = 2 and o(H)|o(G).
Remark:
3. The results that are true for “right coset” is also true for “left coset”
4. Converse of the Lagrange’s theorem is not true. i.e. if m is a divisor of o(G), then G need not
have a subgroup of order m. e.g. A4 the alternating group of 4-symbols, is a group of order
12 and it has no subgroup of order 6, even though 6|12. But the partial converse of Lagrange’s
theorem will be given by Sylow’s theorem, which we will see later.
Theorem 1.3.12 If H and K are finite subgroups of G of orders o(H) and o(K) respectively. Then
o(H) o(K)
o(HK) =
o(H ∩ K)
p p
Corollary 1.3.13 If G be a finite group, H ≤ G, K ≤ G and o(H) > o(G), o(K) > o(G) , then
H ∩ K 6= {e} ( or in other words, o(H ∩ K) > 1).
Remark: Use the above corollary to prove that, if G is a finite group of order pq, where p and q are
primes with p > q, then G can have at most one subgroup of order p.
14
Example:
1. Let G be a group. Then G and {e} are normal subgroups of G. (These are trivial normal
subroups off G).
Remark: Let G be a group and N E G. Let G/N = { N g | g ∈ G }, i.e. the set of all right cosets
of N in G. Then G/N forms a group under the operation ‘·’ given by, N x · N y = N xy, where x and
y are composed using the group composition.(Verify). This group (G/N, ·) is called quotient group.
o(G)
Lemma 1.4.2 If G is a group of finite order and N E G, then = o(G/N )
o(N )
Remark:
Note that the converse of above statements are not true. e.g. G = S3 and H = A3
Theorem 1.4.3 Let G be group and Z(G) be its centre. If G/Z(G) is cyclic, then G is abelian.
Theorem 1.4.4 Let N be a subgroup of a group G. Then the following are equivalent.
(i) N E G
(iii) gN = N g, ∀ g ∈ G
15
(iv) gN g −1 = N ∀ g ∈ G
(v) The composition defined by N x · N y = N xy, on the set of all right cosets, makes the set of all
right cosets into a group.
Exercise :
1. Prove that every subgroup H of a commutative group G is normal in G. What about the converse
? i.e. If every subgroup H of a group G is normal in G, then is the group G commutative ?
Example:
Then φ is a homomorphism(Verify).
Theorem 1.4.6 Let (G1 , ∗) and (G2 , ◦) be two groups and φ : G1 → G2 be a homomorphism. Then
(i) φ(e1 ) = e2
Theorem 1.4.7 Let (G1 , ∗) and (G2 , ◦) be two groups and φ : G1 → G2 be a homomorphism. Then
(ii) Im φ is a subgroup of G2
Lemma 1.4.8 Let (G1 , ∗) and (G2 , ◦) be two groups and φ : G1 → G2 be an homomorphism. Then
(i) If G1 is cyclic, then φ(G1 ) is cyclic, and the converse is not true.
(ii) If G1 is abelian, then φ(G1 ) is abelian, and the converse is not true.
Facts: (Verify)
2. There does not exists and onto homomorphism from (Z4 , +) to Klein’s 4-group.
3. Let G1 and G2 be two finite groups such that gcd(o(G1 ), o(G2 )) = 1. Then trivial homomorphism
is the only homomorphism between G1 and G2
Theorem 1.4.9 Let (G1 , ∗) and (G2 , ◦) be two groups and φ : G1 → G2 be an homomorphism. Then
Lemma 1.4.10 A subgroup N of a group G is normal if and only if it is the kernel of some homo-
morphism.
Lemma 1.4.11 If G is a finite group of order n and p is the smallest prime dividing o(G), then any
subgroup of index p is normal in G.
Example:
2. Let G1 = (R, +) and G2 = ({z ∈ C : |z| = 1}, ·) and φ : G1 → G2 be defined by φ(x) = e2πix .
Then φ is a homomorphism and ker φ = Z (Verify)
18
(OR)
G ∼
If φ : G1 → G2 be an onto homomorphism and H = kerφ, then = G2
H
Exercise :
1. Let G be a group and fix g ∈ G. Let φg : G → G be defined by φg (x) = gxg −1 . Prove that, for
every g ∈ G, φg is an isomorphism
2. Let G be a group of finite order n and let k ∈ N be such that gcd(k, n) = 1. Prove that any
g ∈ G can be written as xk for some x ∈ G. (Hint: Prove x 7→ xk is an onto homomorphism.)
Remark: The set of all automorphisms of G is denoted by Aut(G) and Aut(G) is a group under
composition of mappings (Verify).
Example:
1. Let G be a group and {e} be its identity element. Define φ : G → G by φ(x) = e for all x ∈ G.
Then φ is an automorphism of G onto G. (Verify)
2. Let G be an abelian group and define φ : G → G by φ(x) = x−1 for all x ∈ G. Then φ is an
automorphism of G onto G. (Verify)
Lemma 1.4.13 Let G be a group and g ∈ G. Then the mapping Tg : G → G defined by Tg (x) =
gxg −1 , for all x ∈ G is an automorphism of G.
19
G ∼
Lemma 1.4.15 Let G be a group and Z(G) be its centre. Then = Inn(G)
Z(G)
(Hint: Define φ : G →Aut(G) by φ(g) = Tg and show kerφ = Z(G), and use 1st isomorphism theorem)
( Un = {Set of all positive integers less than n and relatively prime to n})
Lemma 1.4.18 Let p be a prime and (V, +) be an abelian group with the property that pv = 0 for all
v ∈ V . If |V | = pn , then V is an n-dimensional vector space over the field Zp . The automorphisms
of V are precisely the non-singular linear transformations from V to itself, i.e. Aut(V ) ∼
= GLn (Zp ).
Therefore |Aut(V )| = (pn − 1)(pn − p)(pn − p2 ) · · · (pn − pn−1 )
Remark:
1. If G is a finite cyclic group of order n. Then the number of automorphisms of G is ϕ(n), where
ϕ(n) = number of positive integers less than n and relatively prime to n.
Definition: Let (G1 , ∗) and (G2 , ◦) be two groups. Then G1 × G2 forms a group under the binary
composition ‘·’ defined by (a, b) · (c, d) = (a ∗ c, b ◦ d). This group (G1 × G2 , ·) is called the direct
product of groups (G1 , ∗) and (G2 , ◦)
Example: G1 = (R, +) and G2 = (Z, +). Then G1 × G2 , G1 × G1 , G2 × G2 are all direct product
of groups.
20
Remark:
1. If e1 and e2 are identity elements of G1 and G2 respectively, then (e1 , e2 ) is the identity of
G1 × G2 .
Remark:
1. Verify that A1 and A2 are normal subgroups of G1 × G2 . i.e. Show that A1 and A2 are kernel
of some homomorphism of G1 and G2 respectively.
3. If G is cyclic, then G × G need not be cyclic. e.g. (Zn , ⊕n ) is a cyclic group for all n ∈ N. But
Zm × Zn is cyclic if and only if gcd(m, n) = 1. If gcd(m, n) = 1, then Zm × Zn ∼
= Zmn .
Definition: Two subsets S and T in a group G are said to be conjugate in G, if there is some g ∈ G
such that T = g −1 Sg.
|G|
Theorem 1.6.2 Let G be a group and a ∈ G. Then na = |Ca | = |G : C(a)| = . i.e. Number
|C(a)|
of conjugates of an element a of G is the index of the centralizer of a.
Theorem 1.6.3 (The Class Equation) Let G be a finite group and let g1 , g2 , g3 , . . . , gr be repre-
sentatives of distinct conjugacy classes of G not contained in the center Z(G) of G. Then
X r
X
|G| = na = |Z(G)| + |G : C(gi )|
a∈G i=1
Results :
1. Let G be a group of order pn , where p is a prime. Then the center Z(G) of G is non trivial. i.e.
Z(G) 6= {e}
5. Let G be a group of order pq, where p and q are primes and p < q. If p 6 |q − 1 then G is cyclic.
Theorem 1.6.4 (Cauchy’s Theorem) If p is a prime and p divides order of G, then G contains
an element of order p.
1. A group of order pα for some α ≥ 1 is called a p-group.Subgroups of G which are p-groups are
called p-subgroups.
3. The set of Sylow p-subgroups of G will be denoted by Sylp (G) and the number of Sylow p-
subgroups of G will be denoted by np (G)( or just np when G is clear from the context)
Theorem 1.6.5 (Sylow’s Theorem) Let G be a group of order pα m, where p is a prime not dividing
m.
Corollary 1.6.6 Let P be a Sylow p-subgroup of G. Then the following are equivalent:
2. P is normal in G
Theorem 1.6.7 If |G| = n and p is the smallest prime that divides n. Then any subgroup of index p
is normal
Remark: If o(G) = n and p|n then G need not have a sub-group of index p.
Theorem 1.6.8 (Cayley’s theorem) Every finite group is isomorphic to some subgroup of Sn
Theorem 1.6.9 Let G be a group and H ≤ G, S = {Ha | a ∈ G}. Then there exists homomorphism
θ : G → Sn and ker θ is the largest normal subgroup of G containing H.
Theorem 1.6.10 Let G, H, S and θ be as in above theorem. If o(G) 6 | i(H)! then ker {θ} =
6 {e}
Examples:
2. Let P =< x > , Q =< y >, o(P ) = p and o(Q) = q, where p and q are primes. If xy = yx then
|xy| = pq.
23
3. Let G be a group of order pq, where p and q are primes p < q. If p 6 | q − 1, then G is cyclic.
Soln : Let P ∈ Sylp (G) and Q ∈ Sylq (G). We show that both P and Q are normal in G.
Here nq = 1 + kq and nq |p and p < q ⇒ nq = 1 ⇒ Q is normal in G. Now np = 1 + kp and
np |q ⇒ np = 1 or q. Since p 6 |(q − 1) implies np 6= q ⇒ np = 1. Therefore P is a normal
subgroup of G. Now P and Q are are normal subgroups of order p and q respectively and hence
P Q is a subgroup of G of order pq. Now, from (2), it follows that there exists an element of
order pq in G and hence G is cyclic.
4. Let G be a group of order p2 q, where p and q are primes. Then G has a normal subgroup.
Soln : Let P ∈ Sylp (G) and Q ∈ Sylq (G).
(a) Let p > q. Since np ≡ 1( mod p) and np |q implies np = 1. This implies P is normal in G.
(b) Let q > p. We have nq ≡ 1( mod q) or nq = 1 + kq. Since nq |p2 implies nq = 1, p orp2 .
Now if nq = 1, then Q is normal in G. If nq 6= 1 then nq ≥ q and since q > p, we have
nq 6 |p. Therefore we have nq |p2 . i.e. 1 + kq|p2 . ⇒ q|(p2 − 1) since p2 − 1 = (p + 1)(p − 1)
and q > p > p − 1 ⇒ q 6 |(p − 1) we have q|(p + 1). It is possible only if p = 2 and q = 3.
Then |G| = p2 q = 12. Remember, there are 5 isomorphic groups of order 12. Now we prove
that there exists a normal subgroup in G. Here |G| = 12 = 22 3. Let H ∈ Syl2 (G) and
|H| = 4. K ∈ Syl3 (G) and |K| = 3. Claim: Either H or K is normal in G. Suppose K is
not normal. But n3 = 1 + 3k|4 implies n3 = 1 or 4. Since K is not normal, n3 6= 1, we have
n3 = 4. That means there are 4 distinct normal Sylow 3-subgroups K1 , K2 , K3 , K4 such
that |Ki | = 3, i = 1, 2, 3, 4 and Ki ∩ Kj = {e} when i 6= j (why ?). ⇒ K1 ∪ K2 ∪ K3 ∪ K4
contains 8 + 1 = 9 distinct elements of G. Therefore remaining 3 elements has to be in H.
Therefore H is a unique Sylow 2 subgroup of G and hence H is normal in G.
5. Groups of Order 30
Let G be a group of order 30. Then 30 = 5 · 3 · 2 = 5 · 6 = 3 · 10 = 2 · 15. Let P ∈ Syl5 (G),
Q ∈ Syl3 (G), T ∈ Syl2 (G). If either P or Q are normal, then P Q ≤ G and o(P Q) = 15 and
hence P Q is a normal subgroup, since P Q is of index 2 in G.
Now we will show that either P or Q is normal in G. Lets assume that, none of them are normal.
Then n5 6= 1 and n3 6= 1. But n5 = 1 + k5, n3 = 1 + k3. Therefore, n5 = 1, 6, 11, . . . and n3 =
4, 7, 10, 13, . . .. Since n5 |6 and n3 |10, we have n5 = 6 and n3 = 10. Let P1 , P2 , P3 , P4 , P5 , P6 be
6 distinct Sylow 5-subgroups of G. Then |Pi | = 5, i = 1, 2, 3, 4, 5, 6 and Pi ∩Pj = {e} when i 6= j.
Therefore G contains 6 × 4 + 1 = 25 distinct elements of order 5. Similarly Qi , i = 1, 2, . . . 10 are
24
distinct Sylow 3-subgroups of G such that |Qi | = 3 and Qi ∩ Qj = {e} when i 6= j. Therefore
there exists 10 × 2 = 20 distinct elements of order 3 in G. Therefore, there are total of 45
distinct elements in G, but this is absurd as o(G) = 30. Therefore, at our assumption is wrong
and hence at least P or Q is normal and hence P Q is a subgroup of G of order 15.
6. If |G| = 60 and G has more than one Sylow 5-subgroup, then G is simple.
7. An is simple for n ≥ 5
Definition: Sn is the set of all bijective maps from a set : Ω = {1, 2, 3, . . . n} (containing n elements
onto itself). Along with the operation “composition of mappings” (◦), the set Sn becomes a group.
Facts :
2. Order of Sn is n! (why ?)
Theorem 1.7.1 If σ, τ ∈ Sn are disjoint cycles, then στ = τ σ, (i.e. disjoint cycles commutes)
Theorem 1.7.3 The order of the k-cycle, as an element of Sn , is k; i.e. τ k = e and τ j 6= e for
0<j<k
Theorem 1.7.4 Let σ ∈ Sn have its cycle decomposition into disjoint cycles of lenght m1 , m2 , . . . , mk .
Then the order of σ is the least common multiple of m1 , m2 , . . . , mk .
25
Remark: Note that the disjointness of the cycles in the theorem is necessary. For example, (1 2)
and (1 3) which are not disjoint, are each of order 2, but their product (1 2)(1 3) = (1 3 2) is of order
3.
Examples:
1. Let σ = (1 2)(3 4 5 6)(7 8 9). Then σ contains 3 disjoint cycles of order 2, 4 and 3 respectively.
Therefore, by the theorem, o(σ) = lcm(2, 4, 3) = 12
Theorem 1.7.6 A permutation in Sn is either an odd permutation or an even permutation, but can
not be both
Theorem 1.7.7 The permutation σ is odd if and only if the number of cycles of even length in its
cycle decomposition is even.
Remark:
n! n!
3. For n > 1, Sn contains even permutations and odd permutations
2 2
Theorem 1.7.8 Let σ, τ be elements of the symmetric group Sn and suppose σ has a cycle decompo-
sition (a1 a2 a3 . . . ak1 ) (b1 b2 b3 . . . bk2 ) . . ..
Then τ στ −1 has cycle decomposition
τ (a1 ) τ (a2 ) τ (a3 ) . . .) τ (ak1 ) τ (b1 ) τ (b2 ) τ (b3 ) . . . τ (bk2 )
That is τ στ −1 is obtained from σ by replacing each entry i in the cycle decomposition for σ by the
entry τ (i)
Definition:
Theorem 1.7.9 Two elements of Sn are conjugate in Sn if and only if they have the same cycle type.
The number of conjugacy classes of Sn equal to the number partitions of n
Examples:
1. Let σ = (1 2)(3 4 5)(6 7 8 9) and let τ = (1 3 5 7)(2 4 6 8). Then τ στ −1 = (3 4)(5 6 7)(8 1 2 9)
2. Let σ1 = (1)(3 5)(8 9)(2 4 7 6) and let σ2 = (3)(4 7)(8 1)(5 2 6 9). Then define τ by τ (1) =
3, τ (3) = 4, τ (5) = 7, τ (8) = 8, τ (9) = 1, τ (2) = 5, τ (4) = 2, τ (7) = 6, τ (6) = 9). Then
τ = (1 3 4 2 5 7 6 9)(8) and τ σ1 τ −1 = σ2 .
27
n · (n − 1) · (n − 2) · · · (n − m + 1)
4. If σ is a m-cycle in Sn , then the number of conjugates of σ is =
m
(n!)
m · (n − m)!
But number of conjugates of an element σ is equal to the index of centralizer of σ in Sn which
|Sn | n! (n!)
is given by : = = ⇒ |CSn (σ)| = m · (n − m)!
|CSn (σ)| |CSn (σ)| m · (n − m)!
i.e. If σ is an m-cycle in Sn , then the number of elements which commutes with sigma is
m · (n − m)!. The elements with which σ commutes are 1, σ, σ 2 , σ 3 , σ 4 , . . . , σ m−1 and any per-
mutation in Sn which is disjoint from σ(viz. all those elements of Sn which fixes all the integers
appearing in m-cycle σ).
· · · · · · · · · · · · · · · TO BE CONTINUED :) ···············
28
Bibliography
[1] David Dummit and Richard Foote, Abstract Algebra, Second edition, Wiley Publications, New
York, 2010
[2] I. N. Herstein, Topics in Algebra, 2nd edition, John Wiley Publications, Singapore.
[3] S. K. Mapa, Higher Algebra : Abstract and Linear, Sarat Book Distributors, Kolkata 2005.
29