Maxima で綴る数学の旅

以下の式は$F_p$のフロべニウス写像によって$a$がいつ平方剰余になるのかを特徴づけているとも見えます。 $$\sqrt{a}^p=\left(\frac{a}{p}\right)\,\sqrt{a}\tag{A}$$ それが前回の記事の最後のステートメントでした。それらを再掲します。 「このことから第１補充則、第２補充則、相互法則をフロべニウス写像の言葉で言う…