>>295
Kが完全体である⇔（char(K)=0、または、char(K)>0でFrob_p:K→Kが全射）
だから、
Kが非完全体⇔char(K)>0でFrob_p:K→Kが非全射
ってだけの話だろ？何か難しいことでも言ってるつもりなのか？