整数論総合スレッド

素数全体の集合 P = {2, 3, 5, ..... } の
適当なウルトラフィルター U で、
p 元体 F_p のウルトラ積 F が素体の代数的閉方を含むものが存在する。