I am self-studying my way through Dummit and Foote's Abstract Algebra (3rd Ed), and am currently working my way through the following problem (Exercise 18 in Section 3.2):
Let $G$ be a finite group, let $H$ be a subgroup of $G$, and let $N\trianglelefteq G$. Prove that if $|H|$ and $|G:N|$ are relatively prime then $H\le N$.
After wrestling with this for a little while, I feel like I might have made a breakthrough that would help my broader understanding greatly, but I would appreciate some feedback on whether I am being blinded by my small sample size of examples.
Consider $G=S_4$ and $N=\langle(12)(34),(13)(24)\rangle$. Since $N$ is normal, we can make a nice table of the left cosets and know that each column has a well-behaved product of its own, like this.
Now, if I highlight the members of any $H\le G$, I find that every column has either nothing highlighted or exactly $|H\cap N|$ cells highlighted. For instance,
- $H=A_4$: the leftmost column and rightmost two columns are highlighted
- $H=\langle(12),(12)(34)\rangle$: the leftmost two columns are highlighted
- $H=\langle(12),(13)\rangle$: one cell from each column is highlighted (they do not form a rectangle in my diagram, but that could be rectified if I chose my left coset representatives with more care)
- $H=\langle(13),(24)\rangle$: there are two columns with two highlighted cells apiece (see below)
Based on the way things these pictures are working in $S_4$, it looks like every subgroup can be arranged as a highlighted rectangle whose height and width are factors of the height and width of the entire grid. Proving the conjecture seems to be easier than finding it if I'm translating it correctly, because the statement about rows is saying $|H\cap N|$ is a factor of $|N|$ and the statement about columns is saying $|H:H\cap K|=|HN:N|$ is a factor of $|G:N|$ and those are both pretty obvious since $H\cap N\le N$ and $HN\le G$.
With that lemma out of the way, the problem at the top is easy to solve. In the context of my diagram, if $|H|$ (the area of the highlighted area) and $|G:N|$ (the number of columns in the entire grid) are relatively prime, then the highlighted $H$ can only lie in the single leftmost column, so $H\subset N$ and thus $H\le N$. That all comes out of Lagrange's theorem, then.
Is this a valid argument? Generally, D&F are much better with the hand-holding in the exercises, but I really needed to go on a journey here. But if I'm right, it's giving me a handle on the Second Isomorphism theorem that I didn't have in my first few times trying to tackle it.