est forcément un morphisme de A vers End(A)
, ce qui ne semble pas monstrueux :
, alors pour tout x,
soit
. Or il y a une unité, donc ...
de (A,+,.) dans End(A,+,°) est un homomorphisme d'anneaux qui est injectif.|
Posté par Galt
Le 3 est aussi assez simple (on connait les endomorphismes de Z)
|
est un endomorphisme de Z vers €nd(Z ).
pour un certain entier
.
un endomorphisme de Z , et posons
(c'est la seule possibilité logique, puisque on veut prouver que pour tout x,
).
est un endomorphisme du groupe (Z ,+), je peux écrire que
et continuer par récurrence
et pour les entiers négatifs.
de (A,+,.) dans (End(A),+,°) est un homomorphisme d'anneaux qui est injectif.
-