[MODIFICATION] Question dans l'arithmethiques

[zerow2001]

Salut !! c'est une modification et clarification d'une question que j'ai déjà poser.

Les Données :
P_{n}=[k\in [[0;n-1]]/pgdc(k,n)=1]
f est une application de vers où l'image de est où :
est le reste de la division euclidienne de sur où et et

La question :
En observant que : où
Montrez que : où

Mon papier :
j'ai remarqué que si alors :
et aussi qu'il y a Pn nombres dans f(Pn)
alors f est une bijection
pouvez-vous m'aider svp

[raito123]

Salut !! c'est une modification et clarification d'une question que j'ai déjà poser.

Les Données :
P_{n}=[k\in [[0;n-1]]/pgdc(k,n)=1]
f est une application de vers où l'image de est où :
est le reste de la division euclidienne de sur où et et

La question :
En observant que : où
Montrez que : où

Mon papier :
j'ai remarqué que si alors :
et aussi qu'il y a Pn nombres dans f(Pn)
alors f est une bijection
pouvez-vous m'aider svp

Je pensais t'avoir aider ici https://www.maths-forum.com/lycee/petite-question-svp-t204981.html

Qu'est ce qui te fait dire que f est bien définie? c'est-à-dire que f(P_n) C P_n ? pourquoi f est une bijection ? si c'est une bijection alors c'est fini non ?