0
$\begingroup$

Let $G$ a group, $H \le G$ and $A= G/H $. Then there exists an action $\phi: G\rightarrow S_A$ such that the kernel is the maximum subgroup normalized by $G$ and contained in $H$.

  • 0
    Well, what is the simplest operation you can imagine that takes an element of $G$ and a coset in $G/H$ to produce another coset?2012-09-04

1 Answers 1

1

the homomorfism is well defined for $g\in G$: $\phi_g (aH)=gaH $ for $ aH\in G/H$.
then

$\begin{align*} \ker\phi_g&= \{g\in G:\phi_g(aH)= aH\ \forall a\in G \}\\ &=\{g\in G: gaH=aH\ \forall a\in G\}\\ &=\{g\in G:a^{-1}ga \in H\ \forall a\in G\}\\ &=\bigcap\limits_{x\in G}aHa^{-1} \end{align*}$

next any normal subgroup is in $\ker\phi_g$

  • 0
    I’ll grant that it’s pretty obvious that $\ker\varphi_t$ is normal in $G$, but you have to do a **little** work to justify the claim that if $N\le H$ is normal in $G$, then $N\subseteq_{x\in G}aHa^{-1}$.2012-09-04