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

automorphism group group theory

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

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

One Answer

Add your own answers!

Related Questions

Continuous $f$ has $≥2$ roots if $int_{-1}^{1} f(x)sqrt {1 – x^2} mathrm{d}x = int_{-1}^{1} xf(x) mathrm{d}x = 0$?

Does this lead to a contradiction within ZF?

Finding the probability of $Y>1/4$ when conditioned on $X=x$.

$arctan(z)$ and Riemann Surfaces

How does $A$ relate to $B$ if $A – lfloor A/B rfloor – lceil A/B rceil leq lfloor A/B rfloor times (B+1)$?

multiplicity of functions

If $x_n = (prod_{k=0}^n binom{n}{k})^frac{2}{n(n+1)}$ then $lim_{n to infty} x_n = e$

Find the angle that lets you make a bendy pipe

How beneficial are Gröbner bases for solving systems of equations

Evaluating $prod^{100}_{k=1}left[1+2cos frac{2pi cdot 3^k}{3^{100}+1}right]$

How many nonnegative integers $x_1, x_2, x_3, x_4$ satisfy $2x_1 + x_2 + x_3 + x_4 = n$?

Set of open sets notation

Need help to understand a theorem about direct sums and regular morphism of R-modules

Use cylindrical coordinates to find the volume of the solid using triple integrals

Proof by contradiction(sets)

Endomorphism of $mathcal{M}_n(mathbb{R})$ such that $ f({}^t M)={}^t f(M)$

Series Expansion by differentiation

How can I prove $left|frac{e^{it_p x_j}-1}{t_p}right| leq 2|x|$?

Are Transition Maps Implied within an Atlas?

For primes, $p_1 + p_2 +p_3+p_4 = p_1 p_2 p_3 p_4 – 15$

Ask a Question