Bourbaki

Exercice 11, § 7

Algèbre, III, p. 190

Bourbaki marks this one as harder than the rest.

Soient K un corps commutatif dans lequel 2=02 = 0, A l’anneau de polynômes K[X,Y,Z]K[X, Y, Z], E le A-module A3/MA^3/M, où M est le sous-module de A3A^3 engendré par l’élément (X,Y,Z)(X, Y, Z) de A3A^3; enfin, soit F le A-module quotient de A par l’idéal AX2+AY2+AZ2AX^2 + AY^2 + AZ^2. Montrer qu’il existe une application bilinéaire alternée de E2E^2 dans F qui n’est antisymétrisée d’aucune application bilinéaire de E2E^2 dans F, mais que dans T2(E)T^2(E), le module J2′′\mathfrak{J}_2'' est égal au noyau de l’endomorphisme z↦azz \mapsto az (considérer T2(E)T^2(E) comme un module quotient de T2(A3)T^2(A^3) et montrer que le noyau de z↦azz \mapsto az est l’image canonique du module des tenseurs symétriques S2′(A3)S_2'(A^3)).

Solution

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

Transcrit du volume imprimé. Non traduit.