Well, I'm stuck on the proof (somehow trivial one, I feel) of this fact:(adsbygoogle = window.adsbygoogle || []).push({});

Let H and K be subgroups of G. Show that [tex]|HK|=\frac{|H|\cdot |K|}{|H\cap K|}[/tex], whether or not HK is a subgroup of G.

Now, if [tex]H\cap K = \left\{1\right\}[/tex], where 1 is the identity element, then [tex]|H\cap K| = {1}[/tex], and, since [tex]HK=\left\{hk : h \in H \wedge k \in K\right\}[/tex], then [tex]|HK|=|H|\cdot|K|[/tex], and the fact is obvious. Assume [tex]H\cap K \neq \left\{1\right\}[/tex]. That's the place where I need a push. Thanks in advance.

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A group proof

Loading...

Similar Threads - group proof | Date |
---|---|

I Addition of exponents proof in group theory | Sep 2, 2017 |

Category-theoretic proof of free groups | Mar 20, 2014 |

Lazy Group Proofs and Efficiently Using Categories | Oct 29, 2013 |

Proof of a linear operator acting on an inverse of a group element | Oct 7, 2013 |

Error in proof for symmetry groups? | Aug 1, 2013 |

**Physics Forums - The Fusion of Science and Community**