TIFR 2014 Problem 14 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

## Problem:True/False?

Let (G) be a group and (H,K) be two subgroups of (G). If both (H) and (K) has 12 elements, then which of the following numbers cannot be the cardinality of the set (HK={hk|h\in H , k\in K})

A. 72

B. 60

C. 48

D. 36

## Discussion:

We have (|H|=|K|=12).

We know that (|HK|=\frac{|H||K|}{|H\cap K|}).(…*)

Or, in other words (|HK||H\cap K|=|H||K|).

So, at-least we expect to have (|HK|) divides (|H||K|=12^2=144).

Here, (72,48,36) all divide (144) but (60) does not divide (144) therefore (|HK|) **can not be** (60).

Now, the question still remains whether there exists subgroups which give rise to (|HK|=72,48,36). The answer is yes they do exist. And this is in fact given by the formula (*) above. All we need to do is take two subgroups which have only (\frac{144}{72},\frac{144}{48},\frac{144}{36}) elements common respectively.

For example take (H=D_{2.6}) and (K={1,s}\times\mathbb{Z/6Z}) where (s) is the reflection (element of order 2) and we then get example of (|HK|=72). Here we considered (D_{12}) as (D_{12}\times{\bar{0}}). The intersection is ({1,s}\times{\bar{0}}) which has cardinality 2.

Take (H=A_4) and (K={(1),(12)(34),(13)(24),(14)(23)}\times \mathbb{Z/3Z}). Then we get example of (|HK|=36). Here we considered (A_4) as (A_4\times{\bar{0}}). The intersection is ({(1),(12)(34),(13)(24),(14)(23)}\times {\bar{0}}) which has cardinality 4.

For the same (H) taking (K={(1),(123),(132)}\times \mathbb{Z/4Z}) we get (|HK|=48).

## Helpdesk

**What is this topic:**Abstract Algebra**What are some of the associated concept:**Finite Order,Order of Subgroup**Book Suggestions:**Contemporary Abstract Algebra by Joseph A. Gallian