Understand the problem

A countable group can have only countably many distinct subgroups.
Source of the problem
TIFR GS 2018 Part A Problem 21
Topic
Group Theory
Difficulty Level
Easy
Suggested Book
Abstract Algebra, Dummit and Foote

Start with hints

Do you really need a hint? Try it first!

This is a really artistic problem.
Pre-Solution Thoughts:
Lemma: A group is finite iff the number of subgroups of a group is finite.(Check!)
The lemma is a way to understand that an infinite group will have infinite number of subgroups.
  • We are considering here set of all subsets of a countable group G, which is a subset of the Power Set of G.
  • Given G is countable the Power Set of G is uncountable.
  • Now we know that \(2^d\), where d is the set of natural numbers denotes the cardinality of the Power Set of G which is an uncountable set as it is bijective to the Real Numbers [Here d is not finite by the way, d is countably infinite].
  • So it is kinda intuitive that it may be uncountable.
  • First I took the group (Z,+), but we all know that the subgroups of  Z are nZ only. This doesn’t solve our purpose.
  • So naturally the next choice was the group (Q.+) whose subgroup is (Z,+).
  • While understanding the subgroups of (Q.+), the question is solved.
  • We need to understand the subgroups of (Q.+).
  • Consider any rational number q and the subgroup qZ of (Q.+) generated by q.
  • What if we take two rational numbers?
  • For simplicity check the subgroup generated by {1/2 , 1/3}.
  • Prove that the subgroup generated by {1/2 , 1/3} is (1/2.3)Z.{Observe that co-prime property of 2 and 3 is playing an important role}.
  • Now what if we take three mutually coprime natural numbers say a,b,c and see the subgroup generated by { 1/a , 1/b ,1/c}. In fact for simplicity take a,b,c to be primes.
  • Observe that it is of the form (1/a.b.c)Z.
  • Hence for every finite subset of primes, we generate a distinct subgroup of (Q,+).
  • Hence the total number of subgroups contained all the subsets of primes, which has a bijection with the Real Numbers as mentioned above.
  • So the answer is False.
Exercise
  • Find all the subgroups of (Q,+) with proof.

Watch the video

Connected Program at Cheenta

College Mathematics Program

The higher mathematics program caters to advanced college and university students. It is useful for I.S.I. M.Math Entrance, GRE Math Subject Test, TIFR Ph.D. Entrance, I.I.T. JAM. The program is problem driven. We work with candidates who have a deep love for mathematics. This program is also useful for adults continuing who wish to rediscover the world of mathematics.

Similar Problems

ISI MStat PSB 2006 Problem 8 | Bernoullian Beauty

This is a very simple and regular sample problem from ISI MStat PSB 2009 Problem 8. It It is based on testing the nature of the mean of Exponential distribution. Give it a Try it !

ISI MStat PSB 2009 Problem 8 | How big is the Mean?

This is a very simple and regular sample problem from ISI MStat PSB 2009 Problem 8. It It is based on testing the nature of the mean of Exponential distribution. Give it a Try it !

ISI MStat PSB 2009 Problem 4 | Polarized to Normal

This is a very beautiful sample problem from ISI MStat PSB 2009 Problem 4. It is based on the idea of Polar Transformations, but need a good deal of observation o realize that. Give it a Try it !

ISI MStat PSB 2009 Problem 6 | abNormal MLE of Normal

This is a very beautiful sample problem from ISI MStat PSB 2009 Problem 6. It is based on the idea of Restricted Maximum Likelihood Estimators, and Mean Squared Errors. Give it a Try it !

ISI MStat PSB 2009 Problem 3 | Gamma is not abNormal

This is a very simple but beautiful sample problem from ISI MStat PSB 2009 Problem 3. It is based on recognizing density function and then using CLT. Try it !

ISI MStat PSB 2009 Problem 1 | Nilpotent Matrices

This is a very simple sample problem from ISI MStat PSB 2009 Problem 1. It is based on basic properties of Nilpotent Matrices and Skew-symmetric Matrices. Try it !

ISI MStat PSB 2006 Problem 2 | Cauchy & Schwarz come to rescue

This is a very subtle sample problem from ISI MStat PSB 2006 Problem 2. After seeing this problem, one may think of using Lagrange Multipliers, but one can just find easier and beautiful way, if one is really keen to find one. Can you!

Problem on Inequality | ISI – MSQMS – B, 2018 | Problem 2a

Try this problem from ISI MSQMS 2018 which involves the concept of Inequality. You can use the sequential hints provided to solve the problem.

Data, Determinant and Simplex

This problem is a beautiful problem connecting linear algebra, geometry and data. Go ahead and dwelve into the glorious connection.

Problem on Integral Inequality | ISI – MSQMS – B, 2015

Try this problem from ISI MSQMS 2015 which involves the concept of Integral Inequality and real analysis. You can use the sequential hints provided to solve the problem.