sous-algèbre de L(E)

(Cliquez-ici pour accéder à la version originale de cette discussion avec couleurs et images)





Posted by: ghis2007

Bonjour,

Je cherche à trouver toutes les seules sous-algèbres A de L(E) vérifiant la propriété :
"pour tout f de L(E), f appartient à A si f^2 appartient à A".

Voici mon raisonnement :

On suppose l'existence de f endomorphisme de E\A tq f^2 est dans A.
Alors comme A est une algèbre, (f+id)^2 est dans A, mais (f+id)^2=f^2+2f+id donc 2f est dans A ce qui est exclu par hypothèse.
Donc nécessairement A=L(E).

Je pense avoir une autre méthode dont je suis plus confiant (on montre que toutes les matrices élémentaires appartiennent à A), mais ça marche seulement en dimension finie...

Merci de me confirmer la validité de la 1è méthode !


Posted by: yos

Citation:
Posté par ghis2007
On suppose l'existence de f endomorphisme de E\A tq f^2 est dans A.

Bonjour.
Bizarre ton hypothèse non? Selon la définition de A, cela ne se peut pas.


Posted by: ghis2007

Ah oui, c'est absurde ....... du coup ça ne marche plus.

Y a-t-il une autre méthode en dimension quelconque ?


Posted by: yos

Tu veux prouver que A=L(E)?


Posted by: fahr451

bonsoir en dimension finie oui ce que tu dis est correct
n la dimension n>=2
Eij Eij = 0 est dans A (i différent de j) donc Eij dans A par hypothèse sur A puis

Eii = EijEji (j différent de i) est dans A par stabilité par produit


Posted by: ghis2007

Citation:
Posté par yos
Tu veux prouver que A=L(E)?


Je ne sais pas, pas forcément.


Posted by: yos

Fahr t'a confirmé la réponse.


Posted by: ghis2007

Citation:
Posté par yos
Fahr t'a confirmé la réponse.


Seulement en dimension finie.










-