いよいよ山本先生の本数論入門 (現代数学への入門)による相互法則の証明を見ていきます。有限体$F_p$におけるフロべニウス写像とガウス和を用いた証明です。今回はいくつかの補助定理を紹介し、それらを使った相互法則の証明を紹介します。それぞれの補助定…