Bonjour,
Voici ce que j'ai à démontrer :
Soient G1, G2 deux groupes finis dont leur ordre sont premiers entre eux.
Montrer que Aut(G1xG2) est isomorphe à Aut(G1)xAut(G2).
J'ai du mal à voir comment faire intervenir l'ordre des groupes (leur cardinal) dans la démonstration. Je remercie la personne qui pourrait m'éclairer sur ce point déjà :p