整扩张

integral extension