Bonsoir, je suis en maths expertes et je voudrais montrer l'équivalence entre les 3 propositions suivantes (en sachant : A et B idempotentes dans M_n(R)) :
(a) : A+B idempotente
(b) : AB+BA = On (Avec : On la matrice nulle d'ordre n)
(c) : AB = BA = On
J'ai déjà montré les implications (a) => (b) et (c) => (a) là par calcul direct (en partant de l'hypothèse d'idempotence de A et B dans M_n(R)), mais j'arrive pas à poser l'implication (b) => (c), j'ai déjà essayé à vue d'oeil, on a :
AB + BA = On
=> A^2B + ABA = On (Produit à gauche par A, qui existe toujours sur M_n(R))
=> A^2B^2 + ABAB = On (Produit à droite par B)
=> AB + (AB)^2 = On (Par idempotence des matrices A et B)
=> AB = -(AB)^2
Mais est-ce qu'on a : N = -N^2 => N = On pour le cas général dans M_n(R) ? Il y a des contre-exemple ?
Message édité le 10 décembre 2021 à 23:48:54 par Modulowe