Proposition 6

Tag 06QF, permanent. Cite it as [Bourbaki, Tag 06QF].

— The image under $\varphi_n$ of the Frobenius automorphism $\sigma_q$ is the residue class of $q \mod n$ .

Therefore, taking into account Prop. 6 of V, p. 84 :

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.