Bourbaki

Exercise 31, § 7

Algebra, II, 407

It is set in small type as supplementary.

Let K0K_0 be a commutative field, AA the polynomial ring K0[X,Y]K_0[X, Y] in two indeterminates over K0K_0, which is an integral domain, and EE the ideal AX+AYAX + AY of AA. Show that in the tensor product E⊗AEE \otimes_A E the element X⊗Y−Y⊗XX \otimes Y - Y \otimes X is ≠0\neq 0 and that XY(X⊗Y−Y⊗X)=0XY(X \otimes Y - Y \otimes X) = 0 (consider the AA-bilinear mappings of E×EE \times E into the quotient module A/EA/E).*

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.