Bonjour, je me demandais si on pouvait expliciter tout les morphismes de dans . 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 .
Si est un morphisme de groupes avec , alors , donc .
Réciproquement, soit tel 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 a morphismes de groupes de dans .
Il suffit de compter les x possibles. Notons le 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.
-----