Dénombrer les morphismes de groupes [formule].
L'image de [formule] détermine [formule], et son ordre divise [formule].
[formule] est déterminé par [formule]. Condition : [formule] dans [formule]. i.e. [formule] divise [formule]. Les éléments de [formule] d'ordre divisant [formule] : [formule]. Il y a donc [formule] morphismes. [formule]