2) Montrer que Iest un idéal de S+I.
Solution: Par hypothèse, Iest un idéal de A, c’est donc un groupe pour l’addition. Puisque S+I⊂A
on a (S+I)·I⊂Iet I·(S+I)⊂I.
3) Montrer que S∩Iest un idéal de S.
Solution: Puisque Sest un sous-anneau de Aet Iun idéal, (S, +) et (I, +) sont des sous-groupes
de (A, +). Ainsi (S∩I, +) est un sous-groupe de (A, +) inclu dans S, c’est donc un sous-groupe
de (S, +).
Soit x∈S∩Iet s∈S. On a sx ∈Icar x∈Iet Iest un idéal de Aet sx ∈Scar Sest stable pour
la multiplication. Ainsi sx ∈S∩Iet S∩Iest un idéal de S.
4) Montrer qu’il existe un homomorphisme non-nul Φ : S−→ (S+I)/I.
Solution: Soit φ:S→(S+I)/I défini par φ(s) = s+I. Puisque Iest un idéal de S+I,(S+I)/I
est un bien un anneau. Si s, t ∈Ialors
φ(s+t) = (s+t)+I= (s+I)+(t+I) = φ(s)+φ(t)et φ(st) = st+I= (s+I)(t+I) = φ(s)φ(t).
Ainsi, φest un morphisme d’anneau.
5) Montrer que (S+I)/I 'S/(S∩I).
Solution: D’après le premier théorème d’isomorphisme, S/ ker φ∼
=Im φ. Par définition on a
s∈ker φ⇐⇒ 0 = φ(s) = s+I⇐⇒ s∈I∩S.
On a donc montré que ker Φ = S∩I. De plus
Im φ={φ(s)|s∈S}={s+I|s∈S}= (S+I)/I.
Finalement, on a bien (S+I)/I ∼
=S/(S∩I).
Exercice 3 (Caractéristique d’un anneau) Soit Aun anneau unitaire. La caractéristique de Aest
le plus petit entier n > 0tel que
1A+ 1A+· · · + 1A
| {z }
ntermes
= 0.
S’il n’existe pas de tel entier, on dit que Aest de caractéristique 0.
1) Déterminer la caractéristique des anneaux suivants Z,Zn,Q[x],Zn[x],Z2×Z3,Z2×Z,Z2×Z2.
Solution: Les caractéristiques sont respectivement 0, n, 0, n, 6,0,2. Considérons par exemple l’an-
neau Z2×Z3. L’identité est (1,1). Les calculs dans la première composante sont faits modulu 2 et
dans la deuxième composante modulo 3. Ainsi
(1,1) = (1,1)
(1,1) + (1,1) = (0,2)
(1,1) + (1,1) + (1,1) = (1,0)
(1,1) + (1,1) + (1,1) + (1,1) = (0,1)
(1,1) + (1,1) + (1,1) + (1,1) + (1,1) = (1,2)
(1,1) + (1,1) + (1,1) + (1,1) + (1,1) + (1,1) = (0,0).
La caractéristique est donc 6.
2) Montrer que si Aest de caractéristique n > 0alors
a+a+· · · +a
| {z }
ntermes
= 0 for all a∈R.
Solution: C’est clair puisque
a+a+· · · +a=a(1R+ 1R+· · · + 1R) = a0=0.
3