Bourbaki

Exercice 25, § 1

Algèbre, VI, p. 32

Bourbaki marks this one as harder than the rest.

Soit I le monoïde semi-réticulé des idéaux d’un anneau commutatif A (exerc. 24). Pour qu’un système de congruences en nombre fini x≡ai(ai)x \equiv a_i (a_i) admette une solution chaque fois que deux quelconques d’entre elles ont une solution commune (c’est-à-dire que l’on a

ai≡aj(ai+aj) a_i \equiv a_j(a_i + a_j)
pour tout couple d’indices i,ji, j), il faut et il suffit que, dans I, chacune des lois
(a,b)↦a∩b,(a,b)↦a+b, (a, b) \mapsto a \cap b, (a, b) \mapsto a + b,
soit distributive par rapport à l’autre (« théorème chinois »). On pourra procéder de la façon suivante : a) Si l’on 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) et si deux quelconques des trois congruences x≡ai(ai)x \equiv a_i(a_i) (i=1,2,3i = 1, 2, 3) admettent une solution commune, alors les trois congruences ont une solution commune (soit x12x_{12} une solution commune de x≡a1(a1)x \equiv a_1(a_1) et x≡a2(a2)x \equiv a_2(a_2), x13x_{13} une solution commune de x≡a1(a1)x \equiv a_1(a_1) et x≡a3(a3)x \equiv a_3(a_3); montrer que les congruences x≡x12(a1∩a2)x \equiv x_{12}(a_1 \cap a_2) et x≡x13(a1∩a3)x \equiv x_{13}(a_1 \cap a_3) ont une solution commune). b) Si tout système de trois congruences, telles que deux quelconques d’entre elles aient une solution commune, admet une solution commune, montrer qu’on a les formules de distributivité
a+(b∩c)=(a+b)∩(a+c),eta∩(b+c)=(a∩b)+(a∩c). a + (b \cap c) = (a + b) \cap (a + c), \quad \text{et} \quad a \cap (b + c) = (a \cap b) + (a \cap c).
(Pour la première, remarquer que pour tout x∈(a+b)∩(a+c)x \in (a + b) \cap (a + c), il existe yy tel que y∈b∩cy \in b \cap c et y≡x(a)y \equiv x(a); pour la seconde, remarquer que, pour tout x∈a∩(b+c)x \in a \cap (b + c), il existe y∈a∩by \in a \cap b tel que y≡x(c)y \equiv x(c).) On notera que, en vertu de a) et b), la seconde formule de distributivité entraîne la première (cf. E, III, p. 72, exerc. 16). c) Démontrer le « théorème chinois » par récurrence sur le nombre des congruences considérées, par une méthode analogue à celle de a). d) \ Traduction dans le cas des anneaux principaux. \*

EXERCICES

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.