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$
-
1You still have to show that $\bigcap_{x\in G}aHa^{-1}$ is normal in $G$, and that if $N\le H$ is normal in $G$, then $N\subseteq\bigcap_{x\in G}aHa^{-1}$. – 2012-09-04
-
0but a theorem said that $ker\phi_g$ always is normal at group, and containment results from $N\le G$ – 2012-09-04
-
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