定義
A_1、A_2、．．．を可換環の有限または無限列とし、
各 A_(i+1)/A_i、i = 1、2、．．． は拡大（>>22）とする。
このとき列 A_1、A_2、．．．または A_1 ⊂ A_2 ⊂ ．．．を可換環の塔という。