If $H$ and $K$ are finite supgroups of a group $G$, then $|HK| = \frac{|H||K|}{H\cap K}$ [duplicate]

I want to prove following statement

If $H$ and $K$ are finite supgroups of a group $G$, then $|HK| = \frac{|H||K|}{H\cap K}$

This is a proposition 13 in Dummit's abstract algebrac chapter 3.3.

Intuitively, i can guess the order of $|HK|$ is proportial to $|H|$ and $|K|$ modulo some intersection.

The textbook states, \begin{align} HK = \cup_{h\in H} hK \end{align} then it suffices to show that there are $\frac{|H|}{|H\cap K|}$ distinct coset in this union.

I can understand the division of $HK$ as a sum of $hK$, but having trouble understanding the next step.

Can you explain this in more detail?

Perhaps other prove of this will be helpful.

I have found same problem in

How to prove that $|HK| = \dfrac{|H| \; |K|}{|H \cap K|}$?

Now i got some sense

marked as duplicate by phy_math, Dietrich Burde abstract-algebra StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Apr 15 '17 at 8:43

For $h,h' \in H$ you have $$hK = h'K \iff hh'^{-1} \in K \iff hh'^{-1}\in H\cap K$$ Therefore for fixed $h$ there are exactly $|H\cap K|$ elements $h'\in H$ such that $hK = h'K$, and $hK$ is of cardinal $|K|$. We also proved that the intersections of the cosets is empty.