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.
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.