Anneaux quotients

[fabnicol]

Dans la démonstration du ITEMooYBEGooTlHgNz du 1.211, il manque la vérification de la condition d'inversibilité pour la loi +, pour caractériser le groupe (A/I, +), qui est certes trivialement évidente mais non explicitée. Rajouter en dessous du (1.326):

[a] + [-a] = [a - a] = [0],
et l'on peut noter :
-[a] = [-a]
l'inverse de [a] dans (A/I, +).

[LaurentClaessens]

fait. merci