この記事では有限体\(F_p\)の乗法群\(F_p^{\times}\) の指標\(\chi : F_p^{\times}\to C^{\times}\)を定義しました。 一般的には有限群の上で指標を定義できます。有限群\(G\)上の指標とは、準同型\(\chi:G\to C^{\times}\)、\(C^{\times}\)は0と異なる複素…