Smallest symmetric group which embeds $D_n \rtimes Aut(D_n)$

Asked Jan 07 '17 at 02:20

Active Jan 09 '17 at 21:49

Viewed 58 times

This question answers which the smallest symmetric group to embeds $D_n$ of order $2 n$.

I would like to know what is the smallest symmetric group which embeds $D_n \rtimes Aut(D_n)$.

I understand that to know the answer I need to know the order of the elements in the product. From here, I can say that the order of a semidirect product is the product of the orders of the operand groups. We know that $$Aut(D_n) = C_n \rtimes_\phi Aut(C_n)$$. So, $$|D_n \rtimes Aut(D_n)| = |D_n \rtimes (C_n \rtimes_\phi Aut(C_n))| $$.

Then I have shown here that:

$$ |D_n \rtimes Aut(D_n)| = 2 n^3 \prod_{p|n} \left(1 - \frac{1}{p}\right) $$

I am not sure how to proceed from here.

PS. I initially thought that $|Aut (D_n)|$ is also $2 n$ which is incorrect as Dietrich pointed out. So, I fixed it.

edited Apr 13 '17 at 12:21

Community

asked Jan 07 '17 at 02:20

Omar Shehab

1

Your last sentence is not true, since $\operatorname{Aut}(\mathbb {D}_n) \cong \mathbb {Z}_n \rtimes \operatorname{Aut}(\mathbb {Z}_n)$, see here. – Dietrich Burde Jan 07 '17 at 14:55
@DietrichBurde, are you suggesting that the order of the automorphism group may not be the same as the order of the original group? – Omar Shehab Jan 08 '17 at 21:48
1

Yes, I do. Do you see this differently? Take for example $Q_8$ and its automorphism group $S_4$, see here. – Dietrich Burde Jan 08 '17 at 23:08
@DietrichBurde, I just checked, there is no reason that automorphism preserves order. – Omar Shehab Jan 09 '17 at 08:23
@DietrichBurde, I have updated the question. – Omar Shehab Jan 09 '17 at 09:12

Smallest symmetric group which embeds $D_n \rtimes Aut(D_n)$

0 Answers0