# 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$.

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

## Related Questions

### Numerically approximating the second order derivative at the end points of a closed interval

0  Asked on October 5, 2020 by aulwmate

### How are those vectors linearly independent?

1  Asked on October 5, 2020 by user378298

### Computing the variance of hypergeometric distribution using indicator functions

3  Asked on October 5, 2020 by xxx

### KF Riley problem 13.7

0  Asked on October 4, 2020 by user215736

### Critical values of the evaluation map for rational curves in toric surface

0  Asked on October 3, 2020 by blm

### Monoid, where $2+2 = 2$

0  Asked on October 3, 2020 by hekto

### Can a non-inner automorphism map every subgroup to its conjugate?

1  Asked on October 3, 2020 by benjamin

### Solving a system of nonlinear equations: show uniqueness or multiplicity of solutions

1  Asked on October 2, 2020 by stf

### Is there a symbol or notation for collinearity?

2  Asked on October 2, 2020 by kantura

### Why is the Volume integration & Surface Area integration of a sphere different?

1  Asked on October 1, 2020 by vignesh-sk

### Let $(X,d)$ be a metric space and $x_0∈X$ be a limit point of $X-{x_0}$

1  Asked on October 1, 2020 by calmat

### Cross Product of Image of Self-Adjoint Operator

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

### Finding the associated unit eigenvector

1  Asked on September 30, 2020 by laufen

### 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

### Relationship between projection of $y$ onto $x_1, x_2$ individually vs. projection on both?

0  Asked on September 29, 2020 by roulette01

### How do you solve for the intersection or multiplication rule of three dependent events?

1  Asked on September 27, 2020 by androidv11

### Looking for some background on closed linear span

0  Asked on September 25, 2020 by integrand

### a subset of $l_2$.

1  Asked on September 24, 2020 by luiza-silva

### Is the union of finitely many open sets in an omega-cover contained within some member of the cover?

2  Asked on September 23, 2020 by objectivesea