模扩张(modular extension)是比可分扩张更广泛的一类域扩张。特征为p≠0的域扩张K/F，若对于每个整数n≥1，K与F都是线性分离的，则称为模扩张。可分扩张就是模扩张的一个例子。当F上每个域扩张都是模扩张时，F就称为模完备域。模扩张(modular extension)是比可分扩张更广泛的一类域扩张。特征为p≠0的域扩张K/F，若对于每个整数n≥1，K与F都是线性分离的，则称为模扩张。可分扩张就是模扩张的一个例子。当F上每个域扩张都是模扩张时，F就称为模完备域。F成为模完备域，当且仅当[F∶Fp]≤p。模完备域有一个类似于完备域的性质：模完备域的代数扩域仍然是模完备域。就纯不可分扩张K/F而言，K上存在一个惟一的极小扩域L，使得L/F成为模扩张。这个L称为K/F的模闭包。满足K∩Fp-1=F的不可分扩张K/F称为例外扩张。F成为模完备域的另一个充分必要条件，是F上不存在例外扩张。