# Abstract Algebra: Solving with Cosets

1. Dec 11, 2013

### ZZ Specs

1. The problem statement, all variables and given/known data

Suppose H is a subgroup of G. For g in G, define fg : G/H > G/H by fg (aH) = gaH for a in G, where G/H is the set of left cosets of H in G.

I know that fg is a well-defined permutation. However, we have not established (yet) that G/H is a group.

2 parts to the question:

1) for a given aH in G/H, find the set {g in G : fg(aH) = aH }

2) find the set {g in G : fg = the identity permutation in G/H}

3. The attempt at a solution

I have done part (1), finding the solution set {g in G : g = aha-1 for some h in H}.

However, I struggle with part (2), as we have no information on a or H so I'm not sure what counts as a solution. I feel that normality may be involved but I cannot find out how to use it.

I know we want g such that fg(aH) = gaH = aH for all cosets aH ; this is the identity permutation. By equality of cosets, we can say that a-1ga = h for some a in G and h in H, or that g = aha-1 for some a in H and g in G, but I'm not sure if this consitutes a solution.

Any help is very much appreciated. Thank you.

2. Dec 11, 2013

### Dick

The only difference between 1) and 2) is that for 1) it has to be true for single value of a. For 2) it has to be true for all values of a in G.

Last edited: Dec 11, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted