Bonjour, je me demandais si on pouvait expliciter tout les morphismes dedans
. Je crois avoir trouvé une réponse, mais je ne suis pas sûr et je n'arrive pas à trouver une référence à ce sujet, donc si vous pouvez vérifier le raisonnement ou si vous avez déjà étudier ce problème, vos commentaires sont les bienvenues.
Soit. On commence par montrer qu'il existe
morphisme de groupes avec
si et seulement si
.
Siest un morphisme de groupes avec
, alors
, donc
.
Réciproquement, soittel que
. Notons
un représentant de
. Posons
,
. Avec l'hypothèse, on a immédiatement
, puisque
. Ainsi
se factorise en
qui vérifie ce que l'on veut.
Après je montre qu'il y amorphismes de groupes de
dans
.
Il suffit de compter les x possibles. Notonsle représentant de x compris entre 0 et m-1.
oùet
. Réciproquement si
, alors
. Ainsi les a possibles sont
d'où le résultat.
Question :
Peut-t-on dire autre chose d’intéressant en général sur ces morphismes ?
Merci tout le monde.
-----