Show that if $ gcd(|G|,|H|) = 1 $, then $ text{Aut}(G times H) cong text{Aut}(G) times text{Aut}(H) $.

Mathematics Asked by La Rias on December 24, 2020

Let $ G $ and $ H $ be finite groups. If $ gcd(|G|,|H|) = 1 $, then I want to show that
text{Aut}(G times H) cong text{Aut}(G) times text{Aut}(H).
In my attempt, I first defined the map $ f: text{Aut}(G) times text{Aut}(H) to text{Aut}(G times H) $ by
forall (phi_{G},phi_{H}) in text{Aut}(G) times text{Aut}(H): quad
f(phi_{G},phi_{H}) stackrel{text{def}}{=} phi_{G} times phi_{H},
but I don’t know how to use the fact that $ gcd(|G|,|H|) = 1 $.

One Answer

Automatically ${rm Aut}(G)times{rm Aut}(H)subseteq{rm Aut}(Gtimes H)$. The gcd condition forces this to be an equality.

Let $phiin{rm Aut}(Gtimes H)$. Show $phi(Gtimes1)= Gtimes1$; argue $subseteq$ by contradiction (show the order of an element outside of $Gtimes1$ is divisible by a factor of $|H|$...). Symmetrically, $phi(1times H)=1times H$.

After that it is straightforward to check $phi=(phi|_G,phi|_H)$, hence $phiin{rm Aut}(G)times{rm Aut}(H)$.

Correct answer by anon on December 24, 2020

Add your own answers!

Related Questions

How are those vectors linearly independent?

1  Asked on October 5, 2020 by user378298


KF Riley problem 13.7

0  Asked on October 4, 2020 by user215736


Monoid, where $2+2 = 2$

0  Asked on October 3, 2020 by hekto


Is there a symbol or notation for collinearity?

2  Asked on October 2, 2020 by kantura


Cross Product of Image of Self-Adjoint Operator

1  Asked on September 30, 2020 by jos-victor-gomes


how to solve rational problem solving question

1  Asked on September 29, 2020 by ranveer-masuta


3 category car insurance probability

1  Asked on September 29, 2020 by mizerex


a subset of $l_2$.

1  Asked on September 24, 2020 by luiza-silva


Ask a Question

Get help from others!

© 2022 All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP