15
$\begingroup$

Let $N,H$ be groups, $\phi \colon H\rightarrow Aut(N)$ be a homomorphism, $f\in Aut(N)$ and $\hat{f}$ be an inner automorphism of $Aut(N)$ induced by $f$. Then $$N\rtimes_{\phi} H \cong N\rtimes_{\hat{f}\circ\phi}H.$$ Also, if $\psi \in Aut(H)$, then $$N\rtimes_{\phi}H\cong N\rtimes_{\psi\circ\phi}H.$$

What are sufficient conditions for isomorphism of semidirect products? Are there any other criteria for isomorphism of semidirect products?

$\endgroup$
7
  • $\begingroup$ This post is relevant: mathoverflow.net/questions/52812/semidirect-products $\endgroup$ Feb 5, 2011 at 4:18
  • $\begingroup$ uo to some extent! But, I would like to ask necessary and sufficient conditions for isomorphism of semidirect products. Obviously, every homomorphism from H to Aut(N) will give a semidirect product, but using these two facts, we can consider less homomorphimsms to construct all possible semidirect products. Even then, some semidirect products become isomorphic. It happens in construction of small p-groups. $\endgroup$
    – Marshall
    Feb 5, 2011 at 4:35
  • 7
    $\begingroup$ The word criterias does not exist. The plural of criterion is criteria. $\endgroup$ Feb 5, 2011 at 6:29
  • $\begingroup$ What is the inner automorphism induced by an arbitrary automorphism? $\endgroup$
    – Alex B.
    Feb 5, 2011 at 9:03
  • 1
    $\begingroup$ Presumably $\hat{f} : \mathrm{Aut}(N) \rightarrow \mathrm{Aut}(N)$ sends $g$ to $f^{-1} \circ g \circ f$. $\endgroup$
    – Siksek
    Feb 5, 2011 at 9:29

2 Answers 2

9
$\begingroup$

This is not an answer to your question, but there is another way that an isomorphism can arise. It is possible for two semidirect products $N_1 \rtimes H_1$ and $N_2 \rtimes H_2$ (with $N_1 \cong N_2$, $H_1 \cong H_2$) to be isomorphic as groups, but for there to be no isomorphism that maps $N_1$ to $N_2$. An example of this is the group

$G = \langle x,y,z \mid x^{29}= y^{29}=z^7=1, xy=yx, x^z=x^7, y^z=y^{16} \rangle,$ which is an extension of $C_{29} \times C_{29}$ by $C_7$. Let $N_1$ and $N_2$ be the normal subgroups of order 29 generated by $x$ and $y$. Then $G/N_1 \cong G/N_2$ is the unique nonabelian group of order $29 \times 7$, but there is no automorphism of $G$ that maps $N_1$ to $N_2$, so this group can be expressed as a semidirect product of $C_{29}$ by the nonabelian group of order $29 \times 7$ in two different ways.

You might prefer ot restrict your attention to isomorphisms between $N_1 \cong N_2$ and $H_1 \cong H_2$ that map $N_1$ to $N_2$. If you do that, then I don't know the answer to your question in general, but I believe that in the special case when $N$ is an elementary abelian $p$-group, all isomorphisms arise in the ways you have described in your post. I don't feel like trying to write down a proof right now!

$\endgroup$
0
3
$\begingroup$

Aside from the two ways you've mentioned, I think there are just two other ways of getting an isomorphism (i.e. any isomorphism of semidirect products with same $N$ and $H$ is some combination of all four):

  • Change $H$ to a different complement. This corresponds to multiplying $\phi$ pointwise by inner automorphisms of $N$. These are classified by (non-abelian) 1-cocycles $\mathrm{Z}^1(H,N)$, or since you've already incorporated global conjugations in $N$, you can use the non-abelian cohomology $\mathrm{H}^1(H,N)$. This coincides with the usual cohomology if $N$ is abelian. Note that this doesn't affect the induced map $\tilde{\phi}: H \to \mathrm{Out}(N)$.

  • Change $N$ to a different normal subgroup of the total group which happens to be isomorphic (and have isomorphic complement.) Edit: This case is hard to deal with in general, but one situation it can be avoided is if you only consider semidirect products in which $N$ plays some special role, like being the derived subgroup. Derek elaborates more on this case in his answer.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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