ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Anneaux : définition et calculs
Exercice 1
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.
2.
3.
4.
5. , les opérations étant définies point par point.
6. , les opérations étant définies coordonnée par coordonnée.
7. , où 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 n'est pas un groupe, puisque n'y admet pas d'opposé.
2. Les quatre axiomes sont vérifiés, et la multiplication est commutative :
3. L'ensemble est bien un groupe abélien, et la multiplication y est interne, associative et distributive. Mais :
4. On procède de la même manière, la multiplication des rationnels étant commutative :
5. Les quatre axiomes se vérifient point par point, à partir de ceux de . Les neutres sont la fonction nulle et la fonction constante égale à .
6. De même, coordonnée par coordonnée, avec pour neutres et .
7. D'après le chapitre 3, est un groupe abélien de neutre . L'intersection est associative, commutative, de neutre , et elle est distributive sur : pour , appartenir à signifie appartenir à et à exactement l'un des deux ensembles et , c'est-à-dire à exactement l'un des deux ensembles et . La restriction est nécessaire : sinon et les deux neutres coïncideraient, ce que la définition interdit.