Bonjour,
En regardant une preuve pour le theoreme de la progression arithmétique de Dirichlet, j'ai lu dans deux sources différentes une phrase comme
où q est un entier naturel, p un entier premier et premier avec q, f(p) l'odre de p dans (Z/qZ)*, et w une f(p)-ieme racine de l'unité.
Aucune des deux sources ne donne d'informations supplémentaires (ou du moins je n'en ai pas trouvé) dans le chapitre en question, et il me manque une étape pour comprendre pourquoi cela est vrai.
Il m'est clair qu'un caractère modulo q doit vérifier pour une f(p)-ieme racine de l'unité, donc on obtient un homomorphisme de groupe
S'il était surjectif, alors on aurait le résultat en factorisant par le noyau.
Ma question est donc: comment montrer que pour tout w racine f(p)-ieme de 1, il existe un caractère modulo q avec .
Je ne sais pas si c'est évident, mais je ne vois pas pourquoi c'est le cas...