isomorphism between semi-direct products

given two groups H and K, and two morphisms $$φ$$ and $$φ'$$ from K to $$Aut(H)$$.

given $$σ \in Aut(K)$$ such that $$φ' = φ ◦ σ$$, prove that $$H \rtimes_φ K \cong H \rtimes_{φ'} K$$.

I found this simple isomorphism $$f: H \rtimes_φ K \to H \rtimes_{φ'} K$$ defined by $$f(h,k) = (h, σ(k))$$ which is injective and surjective by construction. Is that correct or there is a more subtle answer?

We just have to check it against the multiplication rule of the two groups, to see whether it's a homomorphism. The product $$(h_1,k_1)\cdot (h_2,k_2)$$ in the first group is $$(h_1\varphi(k_1)(h_2),k_1k_2)$$. In the second group, we have the product of $$(h_1,\sigma(k_1))$$ and $$(h_2,\sigma(k_2))$$, which is $$f(h_1,k_1)\cdot f(h_2,k_2) = (h_1,\sigma(k_1))\cdot (h_2,\sigma(k_2)) = (h_1\varphi'(\sigma(k_1))(h_2),\sigma(k_1)\sigma(k_2))$$ $$(h_1\varphi'(\sigma(k_1))(h_2),\sigma(k_1)\sigma(k_2)) \stackrel{?}{=} (h_1\varphi(k_1)(h_2),\sigma(k_1k_2)) = f((h_1,k_1)\cdot (h_2,k_2))$$ That works in the second coordinate, but not in the first; we would need $$\varphi'\circ\sigma=\varphi$$, and we instead have $$\varphi'=\varphi\circ\sigma$$. Indeed, this isn't correct.
How do we repair it? Simple - use $$f(h,k)=(h,\sigma^{-1}(k))$$ instead. Or, equivalently, turn the arrow around.
• Thanks! in the second formulae to check. do you mean $(h_1\varphi'(\sigma(k_1))(h_2),\sigma(k_1)\sigma(k_2)) \stackrel{?}{=} (h_1\varphi(k_1)(h_2),k_1k_2)$? because in the first group there should be no mention of $\sigma$? – PerelMan Mar 10 at 21:37
• The $\stackrel{?}{=}$ line is comparing the product $f(h_1,k_1)\cdot f(h_2,k_2)$ with $f((h_1,k_1)\cdot (h_2,k_2))$. Actually, I'll edit to make that clearer; I hadn't noticed that $f$ has a name while writing that part, and was working around it a bit awkwardly. – jmerry Mar 10 at 21:43
{"ft_lang_label":"__label__en","ft_lang_prob":0.7797391,"math_prob":0.99999094,"size":922,"snap":"2019-43-2019-47","text_gpt3_token_len":359,"char_repetition_ratio":0.18518518,"word_repetition_ratio":0.0,"special_character_ratio":0.3991323,"punctuation_ratio":0.17435898,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000068,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-10-20T17:21:55Z\",\"WARC-Record-ID\":\"<urn:uuid:f3bd51c8-da19-4864-9252-aa545b12e16e>\",\"Content-Length\":\"139971\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7b508437-c578-46a0-a849-48d17cb64240>\",\"WARC-Concurrent-To\":\"<urn:uuid:c6d4e738-9102-4bfd-a8cf-e77d271ca579>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/3142870/isomorphism-between-semi-direct-products/3142890\",\"WARC-Payload-Digest\":\"sha1:NVMCS75WOPCKHTANWA43A4I5WNAO7KYN\",\"WARC-Block-Digest\":\"sha1:2BUDWQAFUAHRUAIP6VAZ5DC24INDQXVK\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-43/CC-MAIN-2019-43_segments_1570986717235.56_warc_CC-MAIN-20191020160500-20191020184000-00498.warc.gz\"}"}