A priori, pour pouvoir utiliser le fameux lemme 7.3Milany a écrit:je n'ai pas compris pourquoi ils ont vérifié ceci
Ne serait-ce pas la conclusion du lemme 7.3 ?Milany a écrit:et à la fin d'après ce que j'ai compris comme la somme est nul donc les f(c) sont distincts pour tout c dans Fq donc f est une permutation sur Fq
Bref, sans savoir ce que représentent les variables de la formules de ton image, (ni ce que dit le lemme 7.3), c'est pas bien évident de répondre . . .
EDIT :
En fait, la formule de ton image, ça correspond pas mal à ce bout là du message d'Archytas (ci dessus).
Et le lemme 7.3, ça pourrait éventuellement être l'équivalence (1)<=>(3) de ce même message.Archytas a écrit:On a en plus trivialement (iii) implique (ii) et sachant (ii) en écrivant tel que s ne divise pas p, on obtient (iii).