Salut,
est ce que vous pouvez m'aider à montrer que :
isomorphe
Merci d'avance
Bonjour,
Pour commencer,peux-tu nous donner un automorphisme d'ordre 4 de (que j'identifie au groupe additif ). Bien sûr, un tel automorphisme est entièrement déterminé par les images de et de , mais on ne peut pas prendre n'importe quoi comme images.
Une étape préalable : déterminer les éléments d'ordre 4 de , ceux d'ordre 2. Un automorphisme devra nécessairement envoyer sur un élément d'ordre 4 et sur un élément d'ordre 2.
Reste ensuite à voir comment se débrouiller pour avoir un automorphisme d'ordre 4.
Je dirais plutôt "envoie (1,0) sur (3,1) et envoie (0,1) sur (2,1)".
Peux-tu expliciter ta remarque sur "la dernière valeur n'est pas prise" ? Cette explicitation permettrait sans doute de vérifier que ce que tu décris définit bien un automorphisme, et permettrait aussi de compter le nombre d'automorphismes.
Tu penses ou tu es sûr qu'il est d'ordre 4 ? C'est facile à vérifier.
OK. Donc, combien d'automorphismes ?
Ensuite, il reste à décrire un isomorphisme de sur le groupe des isomorphismes de . Pour cela, il peut être commode d'utiliser une présentation de (la présentation classique avec pour générateurs une rotation d'ordre 4 et une symétrie axiale).
C'est l'idée, mais la démonstration n'est pas tout à fait complète : est-ce que toutes les relations entre et sont conséquences de celle-là ?
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :