Bourbaki

习题 25, § 1

标签 06YJ,永久不变。引用为 [Bourbaki, Tag 06YJ]。

代数, VI, p. 33

Bourbaki marks this one as harder than the rest.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 I 为交换环 A 理想的半格有序幺半群(例 24)。 For a finite system of congruences x≡ai(ai)x \equiv a_i (a_i) to admit a solution whenever any two of them admit a common solution (that is to say whenever

ai≡aj(ai+aj) a_i \equiv a_j (a_i + a_j)

对于指标 i, j) 中的每一个对,律中的每一个都是充分必要的

(a,b)↦a∩b,(a,b)↦a+b, (a, b) \mapsto a \cap b, (a, b) \mapsto a + b,

in I be distributive over the other ("Chinese remainder theorem"). 可以按如下方式进行: a) 如果 (a1∩a2)+(a1∩a3)=a1∩(a2+a3)(a_1 \cap a_2) + (a_1 \cap a_3) = a_1 \cap (a_2 + a_3) 并且三个同余 x≡ai(ai)x \equiv a_i (a_i) (i=1,2,3i = 1, 2, 3) 中的任意两个承认公共的解,则这三个同余有公共的解 (令 x12x_{12} 为公共的解 x≡a1(a1)x \equiv a_1(a_1)和x≡a2(a2)x \equiv a_2(a_2),并令x13x_{13}为x≡a1(a1)x \equiv a_1(a_1)和x≡a3(a3)x \equiv a_3(a_3)的公共的解;表明同余x=x12(a1∩a2)x = x_{12}(a_1 \cap a_2)和x≡x13(a1∩a3)x \equiv x_{13}(a_1 \cap a_3)有公共的解)。 b) 如果三个同余中的任何一个系统,其中任何两个具有公共的解,承认公共的解,则表明以下分配律成立

a+(b∩c)−(a∩b)∩(a+c),anda∩(b+c)−(a∩b)+(a∩c). a + (b \cap c) - (a \cap b) \cap (a + c), \quad \text{and} \quad a \cap (b + c) - (a \cap b) + (a \cap c).

(对于第一个,注,对于所有x∈(a+b)∩(a+c)x \in (a + b) \cap (a + c),存在y∈b∩cy \in b \cap c,使得y≡x(a)y \equiv x(a);对于第二个,注,对于所有x∈a∩(b+c)x \in a \cap (b + c),存在y∈a∩by \in a \cap b,使得y≡x(c)y \equiv x(c)。)注,通过a)和b),第二个分配式律意味着第一个(cf. 集合理论,III,p. 217,示例 16)。 c) 通过与a)类似的论证,证明所考虑的同余中数上的归纳的“中文余数定理”。 d) 主理想整环情况下的翻译。

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。