Quiz : Qu’est-ce qu’un idéal d’un anneau ?

Soit $(A, +, \cdot)$ un anneau. Un sous-ensemble $I \subseteq A$ est un **idéal** (bilatère) si :

  1. $(I, +)$ est un sous-groupe de $(A, +)$ (il contient $0_A$ et est stable par soustraction).
  2. **Absorption par l’anneau** : $\forall r \in A, \forall x \in I, r \cdot x \in I$ et $x \cdot r \in I$.

Les idéaux sont les équivalents des sous-groupes normaux pour les anneaux, car ils permettent de construire des anneaux quotients $A/I$.

Question 1 : Si $I$ est un idéal d’un anneau $A$, $I$ doit être un sous-groupe pour quelle loi ?