Subgroup of factor groups

**tttcomrader** · October 20th 2007, 08:52 PM

Let G be a group, and let H be normal in G. Prove that every subgroups of G/H is of the form K/H, where K is a subgroup of G with $H \subset K$ .

My proof so far:

Let $Y:G \rightarrow \frac{G}{H}$ , let X be a subgroup of G/H. By a theorem, $Y^{-1}(X) = \{t \in \frac{G}{H} : Y(t) \in X \}$ is a subgroup of G.

Any help from here?

Thanks.

**ThePerfectHacker** · October 21st 2007, 07:38 AM

Originally Posted by tttcomrader

Let G be a group, and let H be normal in G. Prove that every subgroups of G/H is of the form K/H, where K is a subgroup of G with $H \subset K$ .

My proof so far:

Let $Y:G \rightarrow \frac{G}{H}$ , let X be a subgroup of G/H. By a theorem, $Y^{-1}(X) = \{t \in \frac{G}{H} : Y(t) \in X \}$ is a subgroup of G.

Any help from here?

Thanks.

I have no idea what it means "of the form K/H"
Given the canonical homormorphism $\gamma: G\mapsto G/H$ .
If $L\leq G/H$ is a subgroup, i.e. $L = qH$ then,
$\gamma^{-1} [L] = \{ x\in G | \gamma (x) \in qH \} = \{ x\in G | xH \in qH \} = qH$ .

Thread: Subgroup of factor groups

LinkBack

Thread Tools

Display

Subgroup of factor groups

Similar Math Help Forum Discussions

symmetric subgroup of alternating groups

groups...normalizer of subgroup..

[SOLVED] Homomorphisms groups and subgroup help

A subgroup of symmetry groups

Factor group/Normal subgroup proof

Search Tags