Petite question sur les groupes

Voilà un beau petit problème de colle : quels sont les groupes possédant un automorphisme non-trivial ?

Il y a une solution élégante, pas très longue…

5 réponses
  1. PB
    PB dit :

    Je connais 🙂

    Proposition : soit G un groupe tel que Aut(G)={id}. Alors |G| vaut 1 ou 2.

    Preuve :

    – pour tout x dans G, l’application y–>x^{-1}yx est un automorphisme (dit intérieur). Mais id est le seul automorphisme, par hypothèse. On en déduit que G est commutatif.

    – Puisque G est commutatif, on peut le noter additivement et il est naturellement muni d’une structure de Z-module (par nx=x+x+…+x si n est un entier naturel…). L’application x–>-x est un automorphisme de G. On en déduit que 2x=0 pour tout x, et donc G est naturellement un (Z/2Z)-module. Mais Z/2Z est un corps, donc G est libre : G est isomorphe à (Z/2Z)^(I) pour un certain ensemble I. Il est alors clair que G a plein d’automorphismes : par exemple toute permutation de I induit un automorphisme de G. Il faut donc que I ne possède que 0 ou 1 élément, d’où la conclusion.

    Répondre
  2. Zunde
    Zunde dit :

    Ne faut-il pas plutôt considérer les automorphismes \(\forall x, f_{x}: y \rightarrow x^{-1}yx\) pour montrer la commutativité ?

    Répondre

Laisser un commentaire

Rejoindre la discussion?
N’hésitez pas à contribuer !

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *