Given that H and K are subgroups of G, prove that |HK| = |H||K| / |H ∩ K|. i have that if H and K share elements then there is some h1k1 = h2k2 in HK. but since H and K are subgroups, the inverse elements of each element exists and so $\displaystyle h_2^{-1}h_1 = k_2 k_1^{-1} = x \in H\intersect K $. so whenever a product equals another, there is an element x in the intersection that lets you go from one to another. in this example $\displaystyle h_2 = h_1 x^{-1} $ and $\displaystyle k_2 = xk_1 $.

what i am having trouble showing is that every element in HK has multiple elements in H x K mapping to it. in fact each element in HK has n different products that multiply to it where n is |H ∩ K|. i know that there is some element in HK that is repeated as i showed above but i am having trouble seeing that for every single element. it seems to me like its possible to miss some elements so although some elements in HK are repeated some others are unique and are not repeated. but i know that for the formula i need to prove to be true, every element in HK has to be repeated the same number of times. but if i did not know the formula beforehand i would think some elements could be repeated while others are unique which is why this problem is confusing me so much. can someone help me out on the details of this proof? thanks!