作为代数系统同构定理的一部分,挖补定理在代数系统同构的构造中扮演着非常重要的角色.张禾瑞编著的《近世代数》教材在环的构造前讲授了该定理,并在后面的教学内容中给了持续的应用.本文用现代的代数学语言对该定理做了一个更加精细化的描述,对初学者学懂这个结论有一定帮助作用.