定義
K = K_0 ⊂ K_1 ⊂ ．．．⊂ K_n = L を可換体の塔（過去スレpart4の864）とする。
各 K_i/K_(i-1)、i = 1、．．．、n が以下のどれかとする。

（1）素冪根単純拡大（>>371）
（2）Artin-Schreier拡大（>>374）

このとき L/K を一般素冪根拡大と呼ぶ。