Bonjour, je cherche à dénombrer les morphismes de groupes de vers .
J'ai peur de m'être légèrement embrouillé, donc je vous demande des pistes (juste le début, ou des remarques) si vous le voulez bien.
Voilà ce que j'ai fait:
- il me semble intéressant d'utiliser les générateurs du groupe de départ pour caractériser tous les morphismes que l'on peut créer, puisque si en est un on obtient .
- Je sais de plus que l'ensemble généré est aussi un sous groupe de B, et celà me semble assez restrictif car on sait caractériser les sous groupes avec (et ses générateurs, les "racines primitives").
Par exemple, on sait que l'ordre de divise n, on le note d, ce qui force
-et donc un ensemble interessant est peut être aussi ou p divise m. Car alors on vient de voir que y appartient: . (l'ordre de w^p divise d)
L'ordre de cet élément étant un diviseur de m aussi, on peut déjà conclure si que donc que le seul morphisme de groupe dans ce cas est la projection sur l'élément neutre.
Ouf. Mais sinon, je ne suis pas sûr.
Merci d'avance
-----