ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Sous-anneaux
Exercice 9
Soient et deux sous-anneaux d'un anneau .
1. Démontrer que est un sous-anneau de .
2. On prend , muni des lois coordonnée par coordonnée, et . Vérifier que et sont deux sous-anneaux de , puis démontrer que n'en est pas un.
3. L'intersection d'une famille quelconque de sous-anneaux de est-elle un sous-anneau ? Justifier.
Corrigé
1. On a . De plus appartient à et à , donc à . Soient enfin et dans . Comme est un sous-anneau, et appartiennent à ; comme en est un, ils appartiennent aussi à .
2. Le couple appartient à comme à . 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 .
Considérons alors et . Leur somme vaut : dont aucune des deux coordonnées n'est entière : elle n'appartient ni à , ni à .
3. Soit une famille de sous-anneaux de , et . Chaque contient , donc aussi. Et si et appartiennent à , alors pour tout les éléments et appartiennent à , donc à . On retrouve l'asymétrie déjà rencontrée aux chapitres 3 et 4 : l'intersection se comporte bien, la réunion non.