Non-abelian groups whose groups of isomorphisms are abelian. (Q1440323)

Es werden notwendige Bedingungen dafür aufgestellt, daß\ eine endliche Gruppe \(G\) eine Isomorphismengruppe \(J\) besitzt, die kommutativ ist. Der bekannte Fall, daß\ \(G\) selbst eine Abelsche Gruppe ist, wird dabei ausgeschlossen. Die Bedingungen beziehen sich teils auf das Verhalten der Elemente von \(G\) bei isomorphen Abbildungen -- z. B: Bleibt bei einer isomorphen Abbildung ein Element von \(G\) ungeändert, so bleibt auch jedes konjugierte Element ungeändert. Jeder Kommutator von \(G\) ist ein charakteristisches Element --, teils auf den Aufbau der Gruppe \(G\) -- z. B: Erzeugende Elemente von \(G\) können auf gewisse Weise ausgewählt werden --, teils auf Beziehungen zwischen den Gruppen \(G\) und \(J\) -- z. B: Ist die Ordnung von \(G\) eine Potenz der Primzahl \(p\), so gilt dies auch von der Ordnung von \(J\).