ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Anneaux : définition et calculs

Exercice 1

Calcul

Les ensembles suivants, munis des deux lois indiquées, sont-ils des anneaux ? Le cas échéant, préciser s'ils sont commutatifs ; sinon, indiquer quel axiome échoue.

1. (ℕ ;+ ;×)(\mathbb{N} \,;+\,;\times)

2. (ℤ ;+ ;×)(\mathbb{Z} \,;+\,;\times)

3. (2ℤ ;+ ;×)(2\mathbb{Z} \,;+\,;\times)

4. (ℚ ;+ ;×)(\mathbb{Q} \,;+\,;\times)

5. (ℝℝ ;+ ;×)\big(\mathbb{R}^{\mathbb{R}} \,;+\,;\times\big), les opérations étant définies point par point.

6. (ℝ2 ;+ ;×)\big(\mathbb{R}^{2} \,;+\,;\times\big), les opérations étant définies coordonnée par coordonnée.

7. (𝒫(E) ;Δ ;∩)\big(\mathcal{P}(E) \,;\Delta\,;\cap\big), où Δ\Delta désigne la différence symétrique du chapitre 1.

Corrigé

On suit l'ordre NADA : neutres, groupe abélien additif, distributivité, associativité multiplicative.

1. L'ensemble (ℕ ;+)(\mathbb{N} \,;+) n'est pas un groupe, puisque 33 n'y admet pas d'opposé. Ce n’est pas un anneau : l’axiome 𝐀 eˊchoue.\boxed{\text{Ce n'est pas un anneau : l'axiome \textbf{A} échoue.}}

2. Les quatre axiomes sont vérifiés, et la multiplication est commutative : (ℤ ;+ ;×) est un anneau commutatif, de neutres 0 et 1.\boxed{(\mathbb{Z} \,;+\,;\times) \text{ est un anneau commutatif, de neutres } 0 \text{ et } 1.}

3. L'ensemble (2ℤ ;+)(2\mathbb{Z} \,;+) est bien un groupe abélien, et la multiplication y est interne, associative et distributive. Mais 1∉2ℤ1 \notin 2\mathbb{Z} : Ce n’est pas un anneau : il n’y a pas de neutre multiplicatif.\boxed{\text{Ce n'est pas un anneau : il n'y a pas de neutre multiplicatif.}}

4. On procède de la même manière, la multiplication des rationnels étant commutative : (ℚ ;+ ;×) est un anneau commutatif.\boxed{(\mathbb{Q} \,;+\,;\times) \text{ est un anneau commutatif.}}

5. Les quatre axiomes se vérifient point par point, à partir de ceux de ℝ\mathbb{R}. Les neutres sont la fonction nulle et la fonction constante égale à 11. (ℝℝ ;+ ;×) est un anneau commutatif.\boxed{\big(\mathbb{R}^{\mathbb{R}} \,;+\,;\times\big) \text{ est un anneau commutatif.}}

6. De même, coordonnée par coordonnée, avec pour neutres (0 ;0)(0\,;0) et (1 ;1)(1\,;1). (ℝ2 ;+ ;×) est un anneau commutatif.\boxed{\big(\mathbb{R}^{2} \,;+\,;\times\big) \text{ est un anneau commutatif.}}

7. D'après le chapitre 3, (𝒫(E) ;Δ)\big(\mathcal{P}(E) \,;\Delta\big) est un groupe abélien de neutre ∅\varnothing. L'intersection est associative, commutative, de neutre EE, et elle est distributive sur Δ\Delta : pour x∈Ex \in E, appartenir à A∩(B Δ C)A \cap (B \,\Delta\, C) signifie appartenir à AA et à exactement l'un des deux ensembles BB et CC, c'est-à-dire à exactement l'un des deux ensembles A∩BA \cap B et A∩CA \cap C. (𝒫(E) ;Δ ;∩) est un anneau commutatif, deˋs que E≠∅.\boxed{\big(\mathcal{P}(E) \,;\Delta\,;\cap\big) \text{ est un anneau commutatif, dès que } E \neq \varnothing.} La restriction E≠∅E \neq \varnothing est nécessaire : sinon 𝒫(E)={∅}\mathcal{P}(E)=\{\varnothing\} et les deux neutres coïncideraient, ce que la définition interdit.

Dans l'édifice

Thèmes

anneaux

Notions

anneau

Ouvrir dans l'atlas interactif →