MHB Sizes of kernels of homomorphisms

  • Thread starter Thread starter kalish1
  • Start date Start date
  • Tags Tags
    Homomorphisms
kalish1
Messages
79
Reaction score
0
I have a problem that I have been stuck on for two hours. I would like to check if I have made any progress or I am just going in circles.

**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.
 
Physics news on Phys.org
If $g \in \text{ker}(\alpha)$ then it is immediate that:

$\beta\alpha(g) = \beta(e_H) = e_K$, so that:

$g \in \text{ker}(\beta\alpha)$.

Hence it is obvious that all of $\text{ker}(\alpha)$ is contained within $\text{ker}(\beta\alpha)$, so the latter must be the larger set (it may the same set if $\beta$ is an isomorphism).
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...
Back
Top