剰余系の構成(整数の問題) ≫No. 1
ごみ
2010/06/16 20:09
任意に奇素数pを与える。
F_p = Z/pZ とする。(同型を固定した)
B=Sym(F_p) とする。
各f∈Bに対して、A_f={xf(x)|x∈F_p}とおく。
このとき、max_[f∈B]|A_f| を求めよ。
(注意)
一般に、有限集合Xに対して、Sym(X)というのは、
XからXへの全単射全体の集合を表しています。
|Sym(X)| = |X|! < ∞ がいえますから、
問題文のmaxはきちんと存在しています。
ごみ 2010/06/16 20:09
F_p = Z/pZ とする。(同型を固定した)
B=Sym(F_p) とする。
各f∈Bに対して、A_f={xf(x)|x∈F_p}とおく。
このとき、max_[f∈B]|A_f| を求めよ。
(注意)
一般に、有限集合Xに対して、Sym(X)というのは、
XからXへの全単射全体の集合を表しています。
|Sym(X)| = |X|! < ∞ がいえますから、
問題文のmaxはきちんと存在しています。