Suppose H and K are both subgroup of a finite group G, and H⊂K. Prove [G:H]=[G:K][K:H]
Follow Math Help Forum on Facebook and Google+
Come on It's even in the first page!
Originally Posted by apple2009 Suppose H and K are both subgroup of a finite group G, and H⊂K. Prove [G:H]=[G:K][K:H] In a sense here, we see that . It follows by Lagrange's Theorem that both and divide .
Substituting the third equation into the first, we get .
Now substituting this result into the second equation, we have .
Does this make sense?
a less trivial version of this problem is to let G be any group (not necessarily finite) and assume that [G : H] is finite. note that then both [G : K] and [K : H] will also be finite.
View Tag Cloud