1
$\begingroup$
  1. $(Nx)(Ny)=Nxy$
  2. $N(x)(Nx^{-1})=(Nx^{-1})(Nx)=N$
  3. $N(Nx)=(Nx)N=Nx$

Deduce that the right cosets of $N$ in $G$ form a group under the given multiplication.

  • 0
    For the first, could I say LHS=(Nx)(N(x^-1)xy)=(Nx)((x^-1)Nxy)=Nxy? I don't understand what to do about the second N though, as I'd be left with NNxy...2012-12-09

1 Answers 1

3

Something which I like to do is using the monoid of nonempty subsets of $G$. Let $A,B\subset G$, we will define $AB=\{ab|a\in A,b\in B\}$. It is easy to show that multiplication of sets is associative. Note that the cosets $Nx,xN$ are $N\{x\},\{x\}N$ respectively. Also note that for any subgroup of $H$ of $G$ we have $HH=H$ In the next proof I will use the facts :$NN=N$ ,$N\{x\}=\{x\}N$ and the fact that multiplication of subsets is associative.

a) $(N\{x\})(N\{y\})=N(\{x\}N\{y\})=N(N\{x\}\{y\})=NN(\{x\}\{y\})=N\{xy\}$

b),c) can be proved similarly.

  • 0
    OK I noted a typing error2012-12-09