D´ecomposition d’un anneau fini
Dans ce probl`eme, tous les anneaux consid´er´es sont commutatifs et poss`edent
un ´el´ement neutre multiplicatif distinct du neutre additif.
1 Anneau produit et idempotents
On rappelle qu’un ´el´ement xd’un anneau Aest appel´e idempotent ssi x2=x.
1. Soit (B, +, ., 0,1) et (C, +, ., 0,1) deux anneaux. Soit (x, y) un ´el´ement de
l’anneau produit B×C. Montrer que (x, y) est un idempotent de B×Cssi
xest un idempotent de Bet yun idempotent de C.
En d´eduire que B×Cposs`ede au moins 4 idempotents distincts.
2. Soit (A, +, ., 0,1) un anneau commutatif et eun idempotent non nul de A.
Montrer que l’id´eal Ae poss`ede la structure d’anneau de neutre e: (Ae, +, ., 0, e).
Cet id´eal n’est pas un sous-anneau car son neutre est distinct du neutre de
initial de Asauf dans la cas o`u e= 1.
3. Soit (A, +, ., 0,1) un anneau commutatif et eun idempotent diff´erent de 0 et
de 1.
Montrer que 1 −eest un idempotent et que l’application
ϕ:A→Ae ×A(1 −e)
x7→ (xe, x(1 −e))
est un isomorphisme d’anneaux.
On se penchera tout particuli`erement sur le probl`eme de la surjectivit´e. La
relation e(1 −e)=0sera alors tr`es utile.
4. On dit qu’un anneau est ind´ecomposable ssi il n’est pas isomorphe au produit
cart´esien de deux anneaux.
Montrer qu’un anneau int`egre est ind´ecomposable.
5. Montrer qu’un anneau commutatif est ind´ecomposable ssi ses seuls idempo-
tents sont 0 et 1.
6. Montrer qu’un anneau commutatif qui poss`ede un nombre finis d’idempotents
est isomorphe au produit cart´esien d’un nombre fini d’anneaux ind´ecompo-
sables.
En d´eduire que le nombre d’idempotents d’un tel anneau est de la forme 2n.
7. Montrer que tout anneau commutatif fini est isomorphe au produit cart´esien
d’un nombre fini d’anneaux ind´ecomposables.
2 Anneaux locaux
Soit (A, +, ., 0,1) un anneau commutatif. On rappelle que A∗d´esigne l’ensemble
des ´el´ements inversibles de Aet donc que A∗6=A\ {0}sauf dans le cas o`u Aest
un corps. En particulier, dans notre contexte Z∗={1,−1}.
On dit que Aest un anneau local ssi A\A∗est un id´eal de A.
1. Montrer que tout corps est un anneau local.
2. (a) Montrer que les id´eaux de Z/nZsont de la forme dZ/nZo`u dest un
diviseur de n.
(b) Montrer que si pest un nombre premier et si k∈N∗, alors Z/pkZest un
anneau local.
1