Establishing a bijection between subgroups of the domain that contain the kernel and subgroups of the codomain

Yes, this is true and part of the isomorphism theorems. Show that every subgroup containing $K$ is the preimage of its image (this property characterizes the subgroups containing $K$).

Tags:

Group Theory

Related

Is every closed simply connected manifold a non-trivial covering space? $a_{n+1} = \sqrt{2 + a_n}$ Specific Theorem Needed ODE $f''''(x)+f(x) = \cos{x} - \left( \sin{x} \right)^2$ with boundary conditions $f(0)=f(\pi); \quad \quad f'(0)=f'(\pi)$ If $H$ is a subgroup of infinite index and $G = H \cup H_1 \cup H_2 \cup \cdots \cup H_p$, show that $G = H_1 \cup H_2 \cup \cdots \cup H_p$. Improving an approximation for the inverse of the Riemann–Siegel θ-function What's the best way to find a perpendicular vector? $\int_1^\infty \frac{\ln(t)}{t}dt$ is divergent? Continuous Fibonacci number F(n) The equation $|z-\omega|^2+|z-\omega^2|^2=\lambda$ will represent a circle if Math/Logic Puzzle When are eight integers entirely determined by their pairwise sums? Using algebraic isomorphisms to define a topology if one of the algebraic objects has a topology?

Recent Posts