有限纯不可分扩张

_

finite purely inseparable extension