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$.
Action of Groups over group quotient
0
$\begingroup$
abstract-algebra
group-theory
-
0Well, 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
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$
-
0I’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