3
$\begingroup$

Dummit and Foote leave this as an "easy exercise for verification" and I would like to verify that I am indeed reasoning correctly.

Proof Take an arbitrary element $kH \in K/H$, and let $G/H$ act on $K/H$ by conjugation. $(gH)(kH)(gH)^{-1} = (gH)(kH)(H^{-1}g^{-1}) = gh_1 kh_2 h_3^{-1} g^{-1} = gh_1kh_4g^{-1}$ But $H\le K$, and so $h_1 \in H$ is also in $K$, then $h_1 kh_4 \in K$, and $K$ is normal in $G$, so $gKg^{-1} = K$, and thus $(gH)(kH)(gH)^{-1} \in K$.

My Question

How do I recover my coset $kH \in K/H$? I have made an error along the way, and can't see where my error lies.

  • 0
    @Phira I see, I was confused by the switch between left cosets and right cosets or elements..2012-11-03

1 Answers 1

4

The second equality sign in your proof is not an equality, as you go from a set notation to a notation that gives a generic member of the set. At the end, you did the reverse notational misstep, by writing a set being an element instead of a subset of another set.

So, you start out with a set that you want to be a coset of type $k'H$ with $k' \in K$, (not necessarily the same $k$!) so it is enough to show that your generic element can be written as $k'h'$ with $k' \in K$ and $h' \in H$, but since $H$ is a subgroup of $K$ this is exactly the same thing as showing that the generic element is in $K$ which is precisely what you have done (up to notational problems).


For completeness, let me detail Cocopuffs' comment:

Since $H$ is normal, you can calculate with the cosets "the easy way":

$(gH)(kH)(gH)^{-1} = (gkg^{-1})H= k'H$ where the first equality uses the normality of $H$ and the second equality uses the normality of $K$-

  • 0
    Understood. Thanks for the precise explanation2012-11-03