finite field F의 characteristic이 p라고 하면 F는 Z_p의 algebraic closure 의 subfield임?


이게 아마 맞을텐데 어케 증명하지


F가 Z_p를 subfield로 포함함(up to isomorphic)
은 알고 있음.