定義
K を可換体とする。
L/K を素冪根単純拡大（>>371）とする。
[L : K]（過去スレpart4の560）が K の標数と異なるとき、
L/K を正則な素冪根単純拡大と呼ぶ。