Bourbaki

Exercice 11, § 7

Étiquette 008X, permanente. À citer comme [Bourbaki, Tag 008X].

Algèbre, VIII, p. 128

Soient K un corps commutatif, V un espace vectoriel sur K admettant une base (en)n⩾1(e_n)_{n\geqslant 1}. Soient u,vu, v les endomorphismes de V définis par u(e1)=0,u(ep)=ep−1u(e_1) = 0,u(e_p) =e_{p-1} pour p>1p >1, v(ep)=ep+1v(e_p) =e_{p+1} pour p⩾1p\geqslant 1, et soit A la sous-K-algèbre de EndK(V)_K(V) engendrée par 1,u1,u et vv. On a uv=1Vuv= 1_V et vu≠1Vvu\not= 1_V.

a) Prouver que les éléments viuj(i⩾0,j⩾0)v^iu^j(i\geqslant 0, j\geqslant 0) forment une base de A sur K.

b) Démontrer que l’anneau A est primitif et que son socle s\mathfrak{s} est l’ensemble des endomorphismes ww de V tels que la suite (w(ep))p⩾1(w(e_p))_{p\geqslant 1} soit à support fini (on pourra observer que s\mathfrak{s} est le plus petit idéal bilatère de A contenant 1V−vu1_V-vu). Démontrer que la K-algèbre A/sA/\mathfrak{s} est isomorphe à K[X,X−1]K[X,X^{-1}].

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.