环上的Hensel赋值和半序

研究交换环上的Hensel赋值,从而将域上Hensel赋值的一些相关结果推广到交换环上,由此得到类似实域理论中的一些基本结论。