Idéal idempotant
Bonsoir
Soient $f$ un homomorphisme d'anneaux de $A$ dans $B$, $J$ un idéal de $B$ tel que $J \subset Idemp(B)$ ($Idemp(B$) = les idempotents de $B$).
Je veux montrer quand $f^{-1}(J) $ est inclus dans $Idemp(A)$.
Si $f$ et injective on aura le résultat.
Ma question est la suivante.
Est-ce qu'on peut trouver le résultat en prenant une autre hypothèse ? sur l'anneau $A$ par exemple ?
Merci pour vos retours.
Soient $f$ un homomorphisme d'anneaux de $A$ dans $B$, $J$ un idéal de $B$ tel que $J \subset Idemp(B)$ ($Idemp(B$) = les idempotents de $B$).
Je veux montrer quand $f^{-1}(J) $ est inclus dans $Idemp(A)$.
Si $f$ et injective on aura le résultat.
Ma question est la suivante.
Est-ce qu'on peut trouver le résultat en prenant une autre hypothèse ? sur l'anneau $A$ par exemple ?
Merci pour vos retours.
Réponses
-
Aucune raison que ce soit vrai uniquement en imposant des choses sur $A$ : $B=J=\{0\}$ et $A$ quelconque.
-
Pour clarifier : tu cherches des hypothèses sur $(A,B,f,J)$ qui font que le $f^{-1}(J) $ est inclus dans les idempotents ?
-
Si $f^{-1}(J)$ est constitué d'idempotents, alors soit $x,y \in f^{-1}(J)$, $f(x) \in J$ et $f(y) \in J$, donc $f(x+y) \in J$ et $x+y \in f^{-1}(J)$. De plus $x^2=x$ et $y^2=y$, et $(x+y)^2=x+y$, donc si l'anneau est commutatif, on a $2xy=0$, pour tout $x,y \in f^{-1}(J)$. Donc, notamment, $2x^2=0$ pour tout $x \in f^{-1}(J)$, donc $2x=0$, pour tout $x \in f^{-1}(J)$.
De même, si $J$ est constitué d'idempotents, pour tout $x,y \in J$, on a $x+y \in J$, donc $(x+y)^2=x+y$ et $x^2=x$ et $y^2=y$, donc $2xy=0$. Donc, en particulier, $2x^2=0$. Donc $2x=0$, pour tout $x \in J$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres