ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Sous-anneaux

Exercice 9

Démonstration

Soient BB et CC deux sous-anneaux d'un anneau AA.

1. Démontrer que B∩CB \cap C est un sous-anneau de AA.

2. On prend A=ℚ2A=\mathbb{Q}^{2}, muni des lois coordonnée par coordonnée, B=ℚ×ℤB=\mathbb{Q} \times \mathbb{Z} et C=ℤ×ℚC=\mathbb{Z} \times \mathbb{Q}. Vérifier que BB et CC sont deux sous-anneaux de AA, puis démontrer que B∪CB \cup C n'en est pas un.

3. L'intersection d'une famille quelconque de sous-anneaux de AA est-elle un sous-anneau ? Justifier.

Corrigé

1. On a B∩C⊂AB \cap C \subset A. De plus 1A1_{A} appartient à BB et à CC, donc à B∩CB \cap C. Soient enfin xx et yy dans B∩CB \cap C. Comme BB est un sous-anneau, x−yx-y et xyxy appartiennent à BB ; comme CC en est un, ils appartiennent aussi à CC. B∩C est un sous-anneau de A.\boxed{B \cap C \text{ est un sous-anneau de } A.}

2. Le couple (1 ;1)(1\,;1) appartient à ℚ×ℤ\mathbb{Q} \times \mathbb{Z} comme à ℤ×ℚ\mathbb{Z} \times \mathbb{Q}. Les deux parties sont stables par différence et par produit, ceux-ci se calculant coordonnée par coordonnée : ce sont bien deux sous-anneaux de ℚ2\mathbb{Q}^{2}.

Considérons alors (12 ;1)∈B\left(\dfrac{1}{2}\,;1\right) \in B et (1 ;12)∈C\left(1\,;\dfrac{1}{2}\right) \in C. Leur somme vaut : (32 ; 32)\left(\frac{3}{2} \,;\, \frac{3}{2}\right) dont aucune des deux coordonnées n'est entière : elle n'appartient ni à BB, ni à CC. B∪C n’est pas stable par addition, donc n’est pas un sous-anneau de ℚ2.\boxed{B \cup C \text{ n'est pas stable par addition, donc n'est pas un sous-anneau de } \mathbb{Q}^{2}.}

3. Soit (Bi)i∈I(B_{i})_{i \in I} une famille de sous-anneaux de AA, et B=⋂i∈IBiB=\bigcap_{i \in I} B_{i}. Chaque BiB_{i} contient 1A1_{A}, donc BB aussi. Et si xx et yy appartiennent à BB, alors pour tout ii les éléments x−yx-y et xyxy appartiennent à BiB_{i}, donc à BB. Oui : une intersection quelconque de sous-anneaux est un sous-anneau.\boxed{\text{Oui : une intersection quelconque de sous-anneaux est un sous-anneau.}} On retrouve l'asymétrie déjà rencontrée aux chapitres 3 et 4 : l'intersection se comporte bien, la réunion non.

Dans l'édifice

Thèmes

anneaux, sous-anneaux

Notions

anneau

Ouvrir dans l'atlas interactif →