How Cheenta works to ensure student success?

Explore the Back-Story

TIFR 2014 Problem 23 Solution is a part of TIFR entrance preparation series. The Tata Institute of Fundamental Research is India's premier institution for advanced research in Mathematics. The Institute runs a graduate programme leading to the award of Ph.D., Integrated M.Sc.-Ph.D. as well as M.Sc. degree in certain subjects.

The image is a front cover of a book named Contemporary Abstract Algebra by Joseph A. Gallian. This book is very useful for the preparation of TIFR Entrance.

Also Visit: College Mathematics Program

There exists an onto group homomorphism

A. from (S_5) to (S_4)

B. from (S_4) to (S_2)

C. from (S_5) to (\mathbb{Z}_5)

D. from (S_4) to (\mathbb{Z}_4)

(S_2) is the permutation group on 2 letters. It has order 2, so it is isomorphic to (\mathbb{Z}_2).

And we know a group homomorphism from (S_n) to (\mathbb{Z}_2), namely the signature map.

(\sigma \to 0 ) if ( \sigma ) is even

(\sigma \to 1 ) if ( \sigma ) is odd.

This map is onto. And it is a homomorphism. This is fairly well known fact so let us not prove it here.

So we know for sure that **B is true**.

How do we know that C is not true?

For that, suppose (\phi:S_5 \to \mathbb{Z}_5 ) be an onto group homomorphism. Apply first isomorphism theorem for groups, then (S_5/ker{\phi} ) is isomorphic to (\mathbb{Z}_5). That implies their orders are same. And (|G/H|=|G|/|H| ) so we get (|ker{\phi}| = 4! =24 ).

Now remember that (ker{\phi} ) is a normal subgroup of (S_5). Also, notice that any 4-cycle in (S_5) must go to the identity of (\mathbb{Z}_5) since the order of image must be divisible by the order of domain which in the case of 4-cycles are 4. So the image of any 4-cycle must have order 1,2 or 4 in (\mathbb{Z}_5). But out of these, only order 1 is possible in (\mathbb{Z}_5). Hence the image of any 4-cycle is the identity. So, the kernel must contain all the 4-cycles in (S_5). Now we count the number of 5-cycles in (S_5).

There are ({{5}\choose{4}} ) ways to choose 4 elements out of 1,2,3,4,5. Next, given any 4 elements, we can always write them in increasing order. Let's say we chose 2,4,5,3. Then we write this as 2,3,4,5. Now to count the number of possible 4-cycles (distinct) we fix 2 in the first position and permute the rest. Each of these permutations will give a different 4-cycle. There are (3!) such permutations. So in total, there are ({{5}\choose{4}}\times 3! =30 ) 4-cycles in (S_5). This is more than our cardinality of (ker{\phi}). This is a contradiction.

So option **C is false**.

The same kind of argument will apply to **option D** as well. Here one can consider the 3 cycles in (S_4) and get a contradiction as above.

For option A, consider the 5-cycles in (S_5). They must map to identity (because of order reasons as above). And there are (4!=24) 5-cycles (start the cycles with 1, permute rest). But first isomorphism theorem will give the cardinality of the kernel as (\frac{5!}{4!}=5), a contradiction. This **disproves A**.

**What is this topic:**Abstract Algebra**What are some of the associated concept:**Permutation Group, Homeomorphism**Book Suggestions:**Contemporary Abstract Algebra by Joseph A. Gallian

TIFR 2014 Problem 23 Solution is a part of TIFR entrance preparation series. The Tata Institute of Fundamental Research is India's premier institution for advanced research in Mathematics. The Institute runs a graduate programme leading to the award of Ph.D., Integrated M.Sc.-Ph.D. as well as M.Sc. degree in certain subjects.

The image is a front cover of a book named Contemporary Abstract Algebra by Joseph A. Gallian. This book is very useful for the preparation of TIFR Entrance.

Also Visit: College Mathematics Program

There exists an onto group homomorphism

A. from (S_5) to (S_4)

B. from (S_4) to (S_2)

C. from (S_5) to (\mathbb{Z}_5)

D. from (S_4) to (\mathbb{Z}_4)

(S_2) is the permutation group on 2 letters. It has order 2, so it is isomorphic to (\mathbb{Z}_2).

And we know a group homomorphism from (S_n) to (\mathbb{Z}_2), namely the signature map.

(\sigma \to 0 ) if ( \sigma ) is even

(\sigma \to 1 ) if ( \sigma ) is odd.

This map is onto. And it is a homomorphism. This is fairly well known fact so let us not prove it here.

So we know for sure that **B is true**.

How do we know that C is not true?

For that, suppose (\phi:S_5 \to \mathbb{Z}_5 ) be an onto group homomorphism. Apply first isomorphism theorem for groups, then (S_5/ker{\phi} ) is isomorphic to (\mathbb{Z}_5). That implies their orders are same. And (|G/H|=|G|/|H| ) so we get (|ker{\phi}| = 4! =24 ).

Now remember that (ker{\phi} ) is a normal subgroup of (S_5). Also, notice that any 4-cycle in (S_5) must go to the identity of (\mathbb{Z}_5) since the order of image must be divisible by the order of domain which in the case of 4-cycles are 4. So the image of any 4-cycle must have order 1,2 or 4 in (\mathbb{Z}_5). But out of these, only order 1 is possible in (\mathbb{Z}_5). Hence the image of any 4-cycle is the identity. So, the kernel must contain all the 4-cycles in (S_5). Now we count the number of 5-cycles in (S_5).

There are ({{5}\choose{4}} ) ways to choose 4 elements out of 1,2,3,4,5. Next, given any 4 elements, we can always write them in increasing order. Let's say we chose 2,4,5,3. Then we write this as 2,3,4,5. Now to count the number of possible 4-cycles (distinct) we fix 2 in the first position and permute the rest. Each of these permutations will give a different 4-cycle. There are (3!) such permutations. So in total, there are ({{5}\choose{4}}\times 3! =30 ) 4-cycles in (S_5). This is more than our cardinality of (ker{\phi}). This is a contradiction.

So option **C is false**.

The same kind of argument will apply to **option D** as well. Here one can consider the 3 cycles in (S_4) and get a contradiction as above.

For option A, consider the 5-cycles in (S_5). They must map to identity (because of order reasons as above). And there are (4!=24) 5-cycles (start the cycles with 1, permute rest). But first isomorphism theorem will give the cardinality of the kernel as (\frac{5!}{4!}=5), a contradiction. This **disproves A**.

**What is this topic:**Abstract Algebra**What are some of the associated concept:**Permutation Group, Homeomorphism**Book Suggestions:**Contemporary Abstract Algebra by Joseph A. Gallian

Cheenta is a knowledge partner of Aditya Birla Education Academy

Advanced Mathematical Science. Taught by olympians, researchers and true masters of the subject.

JOIN TRIALAcademic Programs

Free Resources

Why Cheenta?

Online Live Classroom Programs

Online Self Paced Programs [*New]

Past Papers

More