15
$\begingroup$

I think in most situations(for example, in $S_n$ or $D_n$), proving by definition is too complicated because you have to calculate $gng^{-1}$ for every $n$ in $N$ and $g$ in $G$. To prove that all the left cosets are also right cosets is also too complicated because you have to find all those cosets. I wonder if there's a way to do this without having to calculate everything by hand.

  • 0
    Oh wow. Here's a [nice](http://groupprops.subwiki.org/wiki/Proving_normality) website!2011-11-07

4 Answers 4

18

There are a number of ways in which the work can be shortened.

  1. If you can come up with a homomorphism whose kernel is precisely $N$, then this guarantees that $N$ is normal. This is often the case.

  2. It suffices to check a generating set for $N$. That is, if $N=\langle X\rangle$, then $N$ is normal in $G$ if and only if $gxg^{-1}\in N$ for every $x\in X$. For instance, this makes proving that the subgroup generated by all $m$ powers is normal easy.

  3. It suffices to check a generating set for $G$ and its inverses. That is, if $G=\langle Y\rangle$, and $yNy^{-1}\subseteq N$ and $y^{-1}Ny\subseteq N$ for all $y\in Y$, then $N$ is normal.

  • 0
    @ArturoMagidin Can I know why 3. will tell us that$N$is normal?2014-11-17
10

If your subgroup has index 2, then it is always normal (because whether you consider left or right cosets, there are only these 2: the subgroup itself, and the rest of the elements).

Another way (maybe the best way) is to show that the subgroup is the kernel of a homomorphism having the group as its domain.

  • 0
    @arturo magidin: yeah i know... but i'm still very unexperienced ==2011-11-07
2

That would depend on the problem. I believe the following properties are most useful.

A subgroup $N$ of $G$ is normal iff one of the following is true:

  1. For every $g\in G$ and $n\in N$, $gng^{-1}\in N$.
  2. For every $g\in G$, $gNg^{-1}\subseteq N$.
  3. For every $g\in G$, $gNg^{-1}=N$.
  4. Every left coset of $N$ is a right coset of $N$.
  5. The product of two right cosets of $N$ is again a right coset of $N$.
2

If you know a subgroup of a particular order is the ONLY subgroup of that order, then you know it's normal. I know that's a unique case, but just another tool to keep in mind.

  • 0
    Can you explain why?2018-10-31