Bourbaki

Exercise 15, § 4

Commutative Algebra, VII, 575

Let AA be the polynomial ring Z[X,Y,T,U,V,W]\mathbf{Z}[X, Y, T, U, V, W], LL the free AA-module A4,(ei)1≤i≤4A^4, (e_i)_{1 \leq i \leq 4} its canonical basis and MM the submodule of LL generated by the four vectors Xe1,Ye2,Te3+Ue4,Ve3+We2Xe_1, Ye_2, Te_3 + Ue_4, Ve_3 + We_2. Show that

δ1(L/M)δ3(L/M)⊄(δ2(L/M))2 \delta_1(L/M)\delta_3(L/M) \not\subset (\delta_2(L/M))^2
(compare with Exercise 14 (b)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.