2
$\begingroup$

Is there a way to describe all finite groups $G$, such that $Aut(G) = D_4$?

Two groups, that definitely satisfy that condition are $D_4$ itself and $\mathbb{C}_2 \times \mathbb{C}_4$.

I have read somewhere, that those two groups are the only two groups, that satisfy that condition. There was no proof of this statement given, however, so I do not know whether it is true or false (And if it is true, it would be interesting to know the proof).

Any help will be appreciated.

$\endgroup$
  • 2
    $\begingroup$ You asked a similar question about $S_3$ last month at math.stackexchange.com/questions/2875892. Did you try using the ideas in the answers there? If so, tell us what you found. If not, try to see what those ideas can do for you in this new setting. $\endgroup$ – KCd Sep 23 '18 at 14:23
8
$\begingroup$

Yes, this is true. This is Theorem 6.3(d) in the paper, “On solving the equation $\operatorname{Aut}(X) = G$“, by H. K. Iyer, Rocky Mountain J. Math. 9, No. 4, (1979), 653-670. The theorem lists all finite groups with automorphism group a dihedral group. There are many other results of a similar nature in the paper as well.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.