ttp://www.math.kyushu-u.ac.jp/~taguchi/nihongo/notes/030711.html

F_1 上の Frobenius とか出てきますが、
この F_1 て一元体のことですか？