1
$\begingroup$

This question/thread is continuation from here Also I.N Herstein in Page 40 Question 6 has brought up the same question

My approach: We know the property $\left | G:K \right |\leq \left | G:H \right|\left | H:K \right | $ if $K$ is the subgroup of $H$ which is the subgroup of $G$

So if we can prove $H\cap K$ is a subgroup of H, then the work is done

We know, $H \cap K \subseteq H$

$\Rightarrow$ if $h_1,h_2 \in H\cap K$, then $h_1,h_2 \in H$ also if $h_1,h_2 \in H\cap K$, then $h_1,h_2 \in K$

$\Rightarrow$ $h_1\cdot h_2 \in H$ and $h_1\cdot h_2 \in K$

$\Rightarrow$ $h_1\cdot h_2 \in H \cap K$

Thus its closed under product

Similarly, we can argue about $1_G \in H \cap K $ [since $H,K$ are both subgroups and thus identity must be common to both of them]

$\Rightarrow$ inverse exists in $H \cap K$

Thus $H \cap K$ is a subgroup of $H$ as well as $K$

Hence applying the property

$\left | G:K \right | \leq \left | G:H \right|\left | H:K \right | $

We get if $\left | G:H \right|$ = $m$ [since finite] and $\left | H:H \cap K \right|$=$k$

$\Rightarrow \left | G:K \right | \leq mk$

Equality holds when $G$ is a finite group, $mk$ being the upper bound of the index of $H\cap K$ in $G$

Soham

Please do raise any questions if I have gone wrong somewhere

Soham

  • 0
    thanks @rschwieb I missed that2012-08-01
  • 2
    How do you know that $H\cap K$ is finite index in $H$?2012-08-01
  • 1
    I would have thought Herstein would have taken it as a given that the intersection of two subgroups is a subgroup. The content of the question is probably to show the inequality you assume as given, (I can't remember whether that is theorem earlier in the text) and then, as Jim Conant points out, you need to justify why $[H:H \cap K]$ is finite.2012-08-01
  • 0
    Okay, thanks I think I have missed that part, further I was rightly thinking that Herstein surely wouldnt have marked it as starred to show intersection of two subgroups is a sg. :) Thanks let me work on it.2012-08-01
  • 0
    If $H$ and $K$ be assumed to be finite subgroups pf $G$ then you can show that $[H:H∩K]≤[G:K]$.2012-08-01
  • 0
    @BabakSorouh But we can't isnt it? Its just said, the subgroups have finite index. That doesnt mean, either of them i.e $G$ or $H$ are finite groups. e.g $Z$ and $Z_12$ the subgroup has an index of 12 in $Z$2012-08-01
  • 0
    If there's already a question asking whether the intersection of two finite index subgroups has finite index, why isn't this just posted as an answer to that question?2012-08-01
  • 0
    Because, I am not sure of my own method, as seen in hte light of comment by Conant and Geoff, I was not far off from my self-assessment2012-08-01
  • 0
    The inequality state by Babak is true whether or not $H$ and $K$ are finite, but maybe it's a type and he mean to say "finite index subgroups".2012-08-01
  • 0
    @GeoffRobinson Yes, I agree.2012-08-01

1 Answers 1