What is group isomorphic to $\text{Aut}(\mathbb{Z}_4 \times \mathbb{Z}_8)$?
I don't even know order of this group.
Please give me hint or proof outline.
Thanks!
What is group isomorphic to $\text{Aut}(\mathbb{Z}_4 \times \mathbb{Z}_8)$?
I don't even know order of this group.
Please give me hint or proof outline.
Thanks!
Let $m\neq n$, and $p$ be a prime. Then order of the group ${\rm Aut}(Z_{p^m} \times Z_{p^n})$ is given by $$ \phi(p^m)\phi(p^n)p^{2\min(m,n)}. $$ This has been shown at MSE here. In our case we have $p=2$ and $(m,n)=(2,3)$, so that the order is $128$. This coincides with the result using GAP.
g:=AutomorphismGroup(DirectProduct(CyclicGroup(4),CyclicGroup(8)));
. NowSize(g)
returns 128 andStructureDescription(g)
returns"(C2 x (((C4 x C2) : C2) : C2)) : C2"
where:
denotes a semidirect product. – Olexandr Konovalov Mar 29 '17 at 13:05