Exercise 11, § 7
Algebra, III, 635
Bourbaki marks this one as harder than the rest.
Let K be a commutative field in which , A the polynomial ring and E the A-module , where M is the submodule of generated by the element of ; finally, let F be the quotient A-module of A by the ideal . Show that there exists an alternating bilinear mapping of into F, which is the skewsymmetrization of no bilinear mapping of into F, but that in the module is equal to the kernel of the endomorphism (consider as a quotient module of and show that the kernel of is the canonical image of the module of symmetric tensors ).
Solution
No solution has been written yet.