代数, VI, p. 33
Bourbaki marks this one as harder than the rest.
令 I 为交换环 A 理想的半格有序幺半群(例 24)。 For a finite system of congruences x≡ai(ai) to admit a solution whenever any two of them admit a common solution (that is to say whenever
ai≡aj(ai+aj)
对于指标 i, j) 中的每一个对,律中的每一个都是充分必要的
(a,b)↦a∩b,(a,b)↦a+b,
in I be distributive over the other ("Chinese remainder theorem"). 可以按如下方式进行: a) 如果 (a1∩a2)+(a1∩a3)=a1∩(a2+a3) 并且三个同余 x≡ai(ai) (i=1,2,3) 中的任意两个承认公共的解,则这三个同余有公共的解 (令 x12 为公共的解 x≡a1(a1)和x≡a2(a2),并令x13为x≡a1(a1)和x≡a3(a3)的公共的解;表明同余x=x12(a1∩a2)和x≡x13(a1∩a3)有公共的解)。 b) 如果三个同余中的任何一个系统,其中任何两个具有公共的解,承认公共的解,则表明以下分配律成立
a+(b∩c)−(a∩b)∩(a+c),anda∩(b+c)−(a∩b)+(a∩c).
(对于第一个,注,对于所有x∈(a+b)∩(a+c),存在y∈b∩c,使得y≡x(a);对于第二个,注,对于所有x∈a∩(b+c),存在y∈a∩b,使得y≡x(c)。)注,通过a)和b),第二个分配式律意味着第一个(cf. 集合理论,III,p. 217,示例 16)。 c) 通过与a)类似的论证,证明所考虑的同余中数上的归纳的“中文余数定理”。 d) 主理想整环情况下的翻译。