Let $G,H$ be groups with an action of $H$ on $G$, meaning a group homomorphism $H\to Aut(G)$, and let $S\le H$ be a subgroup, not necessarily normal.

Consider the semidirect products $G \rtimes H$ and $G \rtimes S$, formed respectively with the action above, and its restriction on $S$. Now the latter is a subgroup of the former. What can we say in general about the relationship between the two products, are there known results?

For example, consider the cosets of the inclusion $S\to H$ and the cosets of the inclusion $G\rtimes S\to G\rtimes H$. Are they isomorphic?

  • $\begingroup$ When you write "an action" you mean, I presume, "an action by automorphisms", right? And... what "cosets" ? $\endgroup$ – DonAntonio Mar 27 '17 at 11:13
  • $\begingroup$ "are the cosets isomorphic" does not mean anything. Please clarify. $\endgroup$ – Derek Holt Mar 27 '17 at 11:33
  • $\begingroup$ Edited, I hope it's clearer now. $\endgroup$ – geodude Mar 27 '17 at 11:53
  • $\begingroup$ You are still asking whether cosets are isomorphic, which doesn't mean anything. If $T$ is a set of coset representatives of $S$ in $H$, then $\{(1_G,t) : t \in T\}$ is a set of coset representatives of $G \rtimes S$ in $G \rtimes H$. $\endgroup$ – Derek Holt Mar 27 '17 at 12:24

As written in the comments, what "cosets isomorphic" means is not clear. However, there is a natural map $f$ from $H/S$ to $G\rtimes H/G\rtimes S$ defined by sending $h\cdot S$ to $(1,h)\cdot G\rtimes S$.

What you can check is that $f$ is one-to-one and onto. Furthermore for any $h,h'$ in $H$ :

$$f(h\cdot(h'\cdot S))=h\cdot ( h'\cdot G\rtimes S)\text{.}$$

In other words $f$ is an isomorphism if $H/S$ and $G\rtimes H/G\rtimes S$ are given the structure of $H$-set (i.e. sets with an action of $H$) and if you don't assume $S$ normal in $H$ this is the only isomorphism you can have.

  • $\begingroup$ Yes, I meant exactly isomorphic as $H$-sets! $\endgroup$ – geodude Apr 11 '17 at 8:58

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.