Bourbaki

Exercise 30, § 7

Algebra, II, 406

Let AA be an integral domain and E,FE, F two AA-modules. Show that if xx is a free element of EE and yy a free element of FF, then x⊗y≠0x \otimes y \neq 0 in E⊗AFE \otimes_A F. (Reduce it to the case where EE and FF are torsion-free, then to the case where EE and FF are finitely generated and use Exercise 29 (b) to show that there is an AA-bilinear mapping ff of E×FE \times F into KK such that f(x,y)≠0f(x, y) \neq 0.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.