10
$\begingroup$

Let $G$ be a group and $H$ be a subgroup of $G$. When is $\rm{Aut}(H)$ a subgroup of $\rm{Aut}(G)$?

  • 10
    Generally 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
  • 0
    This question on Mathoverflow is related: http://mathoverflow.net/questions/9749/characterising-extendable-automorphisms2014-07-18
  • 1
    A 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

1 Answers 1