2
$\begingroup$

I am studying a proof of a theorem that states that a subgroup $N$ of a group $G$ is normal in $G$ if and only if $(xA)(yA) = (xy)A$ for all $x,y \in G$. The author goes through a fairly involved element-chase to prove necessity. However, it seems clear that if $N$ is normal in $G$ that $ (Nx)(Ny) = (Nx)(yN) = N(xy)N = (xy)NN = (xy)N $ where only normality and the nature of the "product" $AB = \{ab | a \in A, b \in B\}$ is used.

Does my argument work or am I overlooking a detail?

  • 1
    This shows the "only if"; how do you show the "if"?2012-01-21

1 Answers 1

1

Your argument is correct, but it requires as a lemma that multiplication of subsets of groups is associative, i.e. if $A$, $B$, and $C$ are subsets of a group, then $(AB)C = A(BC)$. This isn't itself hard to prove, but it explains why your textbook eschews this approach in favor of an argument involving elements.