近世代数中环的挖补定理用英文怎么说