
TIFR 2014 Problem 25 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 Topics in Algebra by I.N.Herstein. This book is very useful for the preparation of TIFR Entrance.
Also Visit: College Mathematics Program
Which of the following groups are isomorphic?
A. (\mathbb{R}) and (\mathbb{C})
B. (\mathbb{R}^* ) and (\mathbb{C}^*)
C. (S_3 \times \mathbb{Z}_4) and (S_4)
D. (\mathbb{Z}_2 \times \mathbb{Z}_2 ) and ( \mathbb{Z}_4 )
(\mathbb{R}) and (\mathbb{C}) are isomorphic:
Both these spaces are vector spaces ove (\mathbb{Q}).
We state a result without proof.
Theorem: Let (V) be an infinite dimensional vector space over a countable field (F). Then the dimension of (V) over (F) is (|V|) (the cardinality of (V) ).
This immediately tells us that (\mathbb{R}) has dimension (|R| = 2^{\aleph _0 } ).
Now the dimension of (\mathbb{C}) over (\mathbb{Q}) is (dim(\mathbb{R}^2) = 2 \times 2^{\aleph _0 } =2^{\aleph _0 } ).
What did we just show? We showed that (dim(\mathbb{C})=dim(\mathbb{R}) ) over (\mathbb{Q}).
Therefore they are isomorphic as vector spaces. So they are isomorphic as groups with respect to addition.
(\mathbb{R}^* ) and (\mathbb{C}^*) are not isomorphic:
(\mathbb{C}^) has an element of order 4, namely (i) has order 4. If there was an isomorphism then the corresponding element in (\mathbb{R}^) will also have order 4. But there is no element of order 4 in (\mathbb{R}^*). Hence we conclude that these two groups are not isomorphic.
(S_3 \times \mathbb{Z}_4) and (S_4) are not isomorphic:
The order of (((1 2 3), [1] ) \in S_3 \times \mathbb{Z}_4) is 12. (S_4) does not contain an element of order 12.
(\mathbb{Z}_2 \times \mathbb{Z}_2 ) and ( \mathbb{Z}_4 ) are not isomorphic:
(\mathbb{Z}_2 \times \mathbb{Z}_2 ) is not cyclic and ( \mathbb{Z}_4 ) is cyclic. So they can not be isomorphic.

Publishing original scientific research in a peer-reviewed journal is an achievement many scholars work toward for years. Achieving this feat early in one's academic journey requires exceptional intellectual rigor, creativity, and persistence. Aaditya Punatar and Muskan Sadana have reached this remarkable milestone, successfully publishing their collaborative research paper in the prestigious Journal of Emerging Investigators […]

Her project on quantum-accelerated Steiner trees for 15-minute cities earned a place among the finalists at the world's largest pre-college STEM competition. Prishaa Shrimali of Marymount School of New York, was selected as a Grand Finalist at the 2026 Regeneron International Science and Engineering Fair (ISEF) in Phoenix, Arizona. Her project was Optimizing Urban Accessibility: […]

In 2026, the following Cheenta students have been successful for Indian Statistical Institute's M.Stat Entrance. They ranked within the first 50 in the entire country in these entrances. I.S.I. M.Stat Entrance

In 2026, the following Cheenta students have been successful for Indian Statistical Institute's B.Stat Entrance and Chennai Mathematical Institute's B.Sc. Math Entrance. They ranked within the first 200 in the entire country in these entrances. Most of these students attended the problem solving workshops regularly, which happen 5 days every week. CMI B.Sc. Math Entrance […]