- Thread starter
- #1

**Problem: Let $\alpha:G \rightarrow H, \beta:H \rightarrow K$ be group homomorphisms. Which is larger, $\ker(\beta\alpha)$ or $\ker(\alpha)$?**

**My work:** $\ker(\alpha)<G, \ker(\beta\alpha)<G, |G|=|\ker\alpha|*|im\alpha|=|\ker\beta|*|im\beta|$

$|G|=|\ker\alpha|[G:\ker\alpha]=|\ker\beta|[G:\ker\beta]$

$|im\alpha|$ divides $|G|$ and $|H|$

$|im\beta\alpha|$ divides $|G|$ and $|K|$

$|ker(\beta\alpha)|=\frac{|G|}{|im(\beta\alpha)|}, |ker(\alpha)|=\frac{|G|}{|im(\alpha)|}$

$\frac{|\ker(\beta\alpha)|}{|\ker\alpha|} \leq \frac{|H|}{|im(\beta\alpha)|}$

With similar analysis, I get $|\ker(\beta\alpha)| \geq \frac{|G|}{|K|}$ and $|\ker(\alpha)| \geq \frac{|G|}{|H|}$.

This seems like too much work with zero output.