0
$\begingroup$

Also I need to show that every 1-dimensional representation of $G$ arise from some 1-dimensional representation of $G/N$.

  • 0
    I've changed [tag:algebra] tag to [tag:abstract-algebra], since we don't use algebra tag anymore, see [meta](http://meta.math.stackexchange.com/questions/473/the-use-of-the-algebra-tag/3081#3081) for details.2012-10-21

3 Answers 3

3

To show that $N\lhd G$, it suffices to show $gng^{-1}\in N$ where $n\in N$ and $g\in G$

Hint: Try to write down an element $n\in N$. What does it look like?
Then, try to convert $gng^{-1}$ into a form that is in $N$.

1

Without many words (this is assumed to be only a hint as this questions smells like homework). Let us write $\,xyx^{-1}=y^x\,$ for simplicity (this is also a widespread notation):

$(ghg^{-1}h^{-1})^x=x(ghg^{-1}h^{-1})x^{-1}=g^xh^x(g^{-1})^x(h^{-1})^x$

Finally, check that in general $\,(y^{-1})^x=(y^x)^{-1}\,$

0

The subgroup of $G$ generated by all commutators $ghg^{-1} h^{-1}$ is obviously invariant under every automorphism of $G$, i.e. it is a characteristic subgroup of $G$. And in general, characteristic subgroups are normal (use inner automorphisms).

As already noted in the comments, the subgroup generated by all commutators is known as the commutator subgroup $[G,G]$. Clearly, $G^{ab} := G/[G,G]$ is abelian, and the homomorphism theorem immediately implies the following universal property: If $A$ is an abelian group, then every homomorphism $G \to A$ factors uniquely through the projection $G \to G^{ab}$. In order words, there is a natural bijection $\hom(G^{ab},A) \cong \hom(G,A)$. Now apply this to $A=\mathbb{C}^*=\mathrm{GL}(1,\mathbb{C})$. Then this exactly says that $1$-dimensional representations of $G$ correspond to $1$-dimensional representations of $G^{ab}$.