Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like some help on the following problem from anyone who would like to help.

Let $f: H \to G$ be a group homomorphism. For $h \in H$, define $\rho(h) = \phi_{f(h)} \in Aut(G)$.

The situation being as described, prove that the semi-direct product $G\rtimes_{\rho} H$ is isomorphic to the direct product $G \times H$.

Help will be greatly appreciated!

share|cite|improve this question
What is $\phi_{f(h)}$? Is it the inner automorphism induced by conjugating by $f(h)$? – JSchlather Dec 1 '12 at 21:15
It is the conjugation by $f(h)$, i.e. $\phi_{f(h)}(g) = f(h)gf(h)^{-1}, \forall g \in G$ – user44069 Dec 1 '12 at 21:18
Look at the subgroup $(f(h),h^{-1})$ in the semidirect product. what does conjugation by $g\in G$ do? – user641 Dec 1 '12 at 21:24
@SteveD: Dear Steve, are the OP speaking about the internal semidirect product when he works on $G\time H$? Because as a fact D.Robinson noted in his book that we can find two subgroups like $N^*, H^*$ which $N^*\cong G$ and $H^*\cong H$ and $N^*\cap H^*=\{1\}$ such that $G\times_{\rho} H\cong N^*\times H^*$. Thanks. – Babak S. Dec 2 '12 at 15:44
@Stefan: See this – Babak S. Dec 2 '12 at 19:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.