6
$\begingroup$

I have a somewhat broad question related to group actions and their restriction to a normal subgroup. If we have a group action $\sigma : G \times X \rightarrow X$ with orbits $G_x$, and a normal subgroup, $H$ of $G$, such that the restriction of the action $\sigma$ to $H$, $\sigma |_H : H \times X \rightarrow X$ has the same orbits, $H_x=G_x$. What can we say about $H$ as a subgroup of $G$, and about it's relationship to $G$'s action on $X$?

Edit: The particular case I am interested in involves the action of $\operatorname{Aut}(G)$ on $G$, specifically I am interested in two subgroups, which are both characteristic (and hence normal) in $\operatorname{Aut}(G)$. One is the inner automorphism group, $\operatorname{Inn}(G)$, the other is the group of class-preserving automorphisms (those automorphisms which map conjugacy classes of $G$ to themselves), which I will denote as $\Lambda_{id}(G)$. I have already established that $\operatorname{Inn}(G) \trianglelefteq \Lambda_{id}(G)$ (follows from their normality in $\operatorname{Aut}(G)$, and that every inner automorphism is class-preserving). The interesting thing about the restricted actions, $\rho : \operatorname{Inn}(G) \times G \rightarrow G$ and $\pi : \Lambda_{id}(G) \times G \rightarrow G$, is that they both have the conjugacy classes of $G$ as orbits.

$\endgroup$
  • 2
    $\begingroup$ The question is too broad and you need to ask somethiong more specific. In general you cannot say anything about the relationship of $H$ to $G$ because the action could be trivial. And all that you can say about the relationship of the actions is that the orbits are the same. $\endgroup$ – Derek Holt Dec 11 '15 at 22:13
  • $\begingroup$ I am interested a fairly specific case, so I'll edit my OP and narrow it down to the case of interest. $\endgroup$ – Justin Benfield Dec 11 '15 at 22:16
  • $\begingroup$ I don't know much about this myself, but there are some papers on groups with class preserving outer automorphisms, for example facstaff.bucknell.edu/pbrooksb/docs/BM.pdf $\endgroup$ – Derek Holt Dec 12 '15 at 9:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.