424だけど忘れてるんだけど、

標数p>0の場合の有限次拡大は、その構造が決定されているんじゃなかった?