From e2c26165354338c0ee66c24b44b76b01473642a8 Mon Sep 17 00:00:00 2001
From: Robert <9291792+bushshrub@users.noreply.github.com>
Date: Sat, 7 Sep 2024 23:14:48 -0400
Subject: [PATCH] add alternative proof of hk theorem

---
 chapter-lagrange-theorem.tex | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/chapter-lagrange-theorem.tex b/chapter-lagrange-theorem.tex
index 5b4531f..9bc7a8f 100644
--- a/chapter-lagrange-theorem.tex
+++ b/chapter-lagrange-theorem.tex
@@ -199,6 +199,7 @@
     So if $t = h\inv h' = k {k'}\inv$, then it all works out. This shows that
     every element in $HK$ is represented by precisely $\abs{H \cap K}$ products.
 \end{proof}
+The proof here actually leads to a proof of a more general fact, which is outlined in \cref{ex:generalization-of-hk-theorem}.
 
 
 Let us now see another application of Lagrange's theorem. This time, we classify
@@ -256,4 +257,14 @@ \subsection{Exercises and Problems}
     Prove that the rotation group of a cube is $S_4$.
 \end{exercise}
 
+\begin{exercise}[Generalization of $HK$ theorem]
+\label{ex:generalization-of-hk-theorem}
+    Let $H, K$ be subgroups of $G$, and $\alpha: H \times K \to G$ be the map
+    defined by $\alpha(h, k) = hk$. Prove that $\alpha\inv \paren{hk} = \set{(ht, t\inv k): t \in H \cap K}$,
+    and that additionally the cardinality of $\alpha\inv\paren{hk}$ equals to the cardinality of $H \cap K$. 
+    Conclude that if $HK$ has finite cardinality then $\abs{HK} = \abs H \abs K/(\abs{H \cap K})$.
+
+    See \autocite[Exercise~9,\pno~58]{Jacobson_2009}
+\end{exercise}
+
 \end{document}
\ No newline at end of file