Purely inseparable field extension