Let G be a group and let H and K be normal subgroups of G with H a subgroup of K. Then and
How do I show:
most of the work here is showing that K/H is a subgroup of G/H. normality quickly follows.
(H is clearly normal in K, since it's normal in a larger group G).
so consider Hk, Hk' in K/H. is Hkk'^-1 is K/H?
what would it mean for K/H to be normal in G/H?
we would need (Hg)(K/H)(Hg)^-1 to be in K/H.
an element of (Hg)(K/H)(Hg)^-1 is the coset product: (Hg)(Hk)(Hg)^-1 = Hgkg^-1.
but K is normal in G, so....
well, the way i was looking at it was: suppose we define φ:V/N → V/M by φ(v+N) = v+M. φ is well-defined because M ⊆ N.
of course, in this case φ(v+N) = 0 (that is, 0+M) implies v is in M, which in turn implies v is in N, so ker(φ) = N, so we have an isomorphism between φ(V/N) and V/N.
the similarity being, the construction of φ (do we really need a basis? oh, and alex, if you're reading this, in light of what i wrote in the other thread, the fact that i'm asking this question here surely must be somewhat...ironic...)
suppose φ(gH) = K, the identity of G/K. since φ(gH) = gK, this means g is in K. so gH is an element of K/H, which are the cosets of H in K.
so ker(φ) ⊆ K/H.
on the other hand, suppose we have kH as an element of G/H (so kH is a coset of H in G, where k is an element of K).
then φ(kH) = kK = K, so every element of G/H of the form kH for k in K, is in ker(φ). thus K/H ⊆ ker(φ), so the two sets are equal.
(remember, K/H is a subset (even stronger, a subgroup) of G/H consisting of only those elements kH, where k is in K).