_60。
交换环上的推广.
主理想整环.设是一个主理想整环，是其中的个元素，并且两两互质。令formula_46为这些元素的乘积，那么可以定义一个从商环映射到环乘积的同态：并且formula_64是一个环同构。因此formula_64的逆映射也存在。而这个逆映射的构造方式就如同中国剩余定理构造一元线性同余方程组的解一样。由于和formula_46互质，所以存在和使得而映射就是formula_64的逆映射。formula_71也是一个主理想整环。将以上