Let $G$ be a group and $H$ be a subgroup of $G$. When is $\rm{Aut}(H)$ a subgroup of $\rm{Aut}(G)$?
On group automorphism of subgroup a group $G$
10
$\begingroup$
abstract-algebra
group-theory
-
10Generally speaking a question of this type has a shot at a reasonable answer if there is a canonical map $\text{Aut}(H) \to \text{Aut}(G)$ and you want to ask when this map is injective. But in this case there is no such map. Instead there is a canonical map the other way from the subgroup of automorphisms of $G$ preserving $H$ to the group of automorphisms of $H$. So it's not clear to me what you want: do you just want to know when there exists, abstractly, an injection of $\text{Aut}(H)$ into $\text{Aut}(G)$? Do you want this injection to land only in the subgroup of $\text{Aut}(G)$... – 2012-01-20
-
5...which preserves $H$ and to respect the action on $H$? (That would require that you could somehow extend automorphisms of $H$ to automorphisms of $G$ in some reasonable way.) There are lots of things you could want and I doubt there is an easy answer to any of the possible forms of this question. – 2012-01-20
-
3@Ali Gholamian: Please consider registering in the site; that will make it easier to keep track of your questions. – 2012-01-20
-
0@Ali Gholamian: As above, there is a lot of thing this qestion brings here. You certainly know that $\mathbb{Z}_{6}$ and $\mathbb{Z}_{3}$ know just one group as their Automorphism Group. – 2012-01-21
-
0This question on Mathoverflow is related: http://mathoverflow.net/questions/9749/characterising-extendable-automorphisms – 2014-07-18
-
1A partial but also quite trivial answer to this question is: If $\text{Out}(H)=0$, then $\text{Aut}(H)=\text{Inn}(H) \leq \text{Inn}(G) \leq \text{Aut}(G)$. – 2015-10-17
-
0@QiaochuYuan One consider a similar question in term of shoer exact sequence (in various category):let $0\to A \to B \to C \to 0$ is a short exact sequence. when Aut(A) is embedable in Aut B? – 2016-03-09