ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Corps

Exercice 14

Démonstration

Les anneaux suivants sont-ils des corps ? Justifier, en exhibant le cas échéant un élément non nul non inversible.

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

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

3. ℤ/5ℤ\mathbb{Z}/5\mathbb{Z}

4. ℤ/6ℤ\mathbb{Z}/6\mathbb{Z}

5. ℤ/11ℤ\mathbb{Z}/11\mathbb{Z}

6. ℤ/12ℤ\mathbb{Z}/12\mathbb{Z}

7. (ℝ2 ;+ ;×)\big(\mathbb{R}^{2} \,;+\,;\times\big)

8. (ℝℝ ;+ ;×)\big(\mathbb{R}^{\mathbb{R}} \,;+\,;\times\big)

Corrigé
Corps ?Justification
(ℤ ;+ ;×)(\mathbb{Z} \,;+\,;\times)non22 est non nul et non inversible.
(ℚ ;+ ;×)(\mathbb{Q} \,;+\,;\times)ouiTout rationnel non nul pq\frac{p}{q} a pour inverse qp\frac{q}{p}.
ℤ/5ℤ\mathbb{Z}/5\mathbb{Z}oui55 est premier (théorème 1).
ℤ/6ℤ\mathbb{Z}/6\mathbb{Z}non6=2×36=2 \times 3 n'est pas premier ; 2‾\overline{2} n'est pas inversible.
ℤ/11ℤ\mathbb{Z}/11\mathbb{Z}oui1111 est premier.
ℤ/12ℤ\mathbb{Z}/12\mathbb{Z}non1212 n'est pas premier ; 4‾\overline{4} n'est pas inversible.
(ℝ2 ;+ ;×)\big(\mathbb{R}^{2} \,;+\,;\times\big)non(1 ;0)(1\,;0) est un diviseur de zéro (exercice 3).
(ℝℝ ;+ ;×)\big(\mathbb{R}^{\mathbb{R}} \,;+\,;\times\big)nonLes fonctions de l'exercice 3 sont des diviseurs de zéro.

Piège : pour les deux derniers, il ne suffit pas de dire qu'une fonction peut s'annuler. C'est la présence de diviseurs de zéro qui interdit d'être un corps, d'après la question 5 de l'exercice 3.

Dans l'édifice

Thèmes

anneaux, éléments inversibles, corps

Notions

anneau, inversible, corps

Ouvrir dans l'atlas interactif →