|HK|=|H||K|/|H intersect K|

Finally, the LaTeX path not specified problem has been solved by WordPress!

This post is about how to prove that |HK|=\frac{|H||K|}{|H\cap K|}, where H and K are finite subgroups of a group G.

A tempting thing to do is to use the “Second Isomorphism Theorem”, HK/H\cong K/(H\cap K). However that would be a serious mistake since the conditions for the Second Isomorphism Theorem are not met. In fact HK may not even be a group.

The correct way is to note that HK=\bigcup_{h\in H}hK.

Therefore |HK|=|K|\times |\{hK:h\in H\}|. For h_1,h_2\in H, we have:

\begin{aligned}h_1K=h_2K&\iff h_1h_2^{-1}\in K\\    &\iff h_1h_2^{-1}\in H\cap K\\    &\iff h_1(H\cap K)=h_2(H\cap K)    \end{aligned}

Therefore |\{hK:h\in H\}|=|\{h(H\cap K):h\in H\}|, i.e. the number of distinct cosets h(H\cap K). Since H\cap K is a subgroup of H, applying Lagrange’s Theorem gives the number of distinct cosets h(H\cap K) to be \frac{|H|}{|H\cap K|}.

Thus, we have |HK|=\frac{|H|}{|H\cap K|}\cdot |K|.

Undergraduate Math Books



About mathtuition88

This entry was posted in group and tagged , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.