Bourbaki

Exercice 12, § 1

Tag 0018, permanent. Cite it as [Bourbaki, Tag 0018].

Algèbre, VIII, p. 15

Soit K un corps commutatif. Notons (en)n∈N(e_n)_{n\in\mathbf{N}} la base canonique de l’espace vectoriel V=K(N)V = K^{(\mathbf{N})}. On définit une suite (un)n∈N(u_n)_{n\in\mathbf{N}} d’endomorphismes de V en posant :

u0(e0)=0u0(e1)=0u0(en+1)=enu_0(e_0) = 0u_0(e_1) = 0u_0(e_{n+1}) =e_n pour n⩾1n\geqslant 1

um(e0)=emum(en)=0u_m(e_0) =e_mu_m(e_n) = 0 pour m⩾1m\geqslant 1 et n⩾1n\geqslant 1.

Soit A la sous-K-algèbre unifère de EndK(V)_K(V) engendrée par la suite (un)n∈N(u_n)_{n\in\mathbf{N}}. Démontrer que le A-module à gauche V est artinien, de type fini (et même monogène), mais n’est pas noethérien.

Solution

No solution has been written yet.

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.