この記事では平方剰余の相互法則の証明に必要な補助定理である命題4.19を証明します。そためにまず命題4.18を補題として示します。 命題4.18$p,q$を相異なる奇素数、有限体$F_p$上で$1$の原始$q$乗根の１つを$\zeta$とします。法$q$に関する平方剰余記号の値…