Tensor Product

Intro to Tensor Products exercise.

Let $R$ be an integral domain, $F$ its field of fractions and $M$ a left $R$-module.
Look at $F$ as an $F$-$R$-bimodule using the operations of $F$ so that $F⊗_RM$ has a structure of $F$-vector space.

  • Show that if $X$ is the generating set of $M$ as $R$-module, then the set $\{1⊗x|x∈X\}$ generates $F⊗_RM$ as $F$-vector space. 


Answers can be viewed only if
  1. The questioner was satisfied and accepted the answer, or
  2. The answer was disputed, but the judge evaluated it as 100% correct.
View the answer
  • Hey, are the a_i, m_i, r_i, x_i just arbitrary elements? Didn't quite figure that out.

  • Martin Martin

    yes they are arbitrary elements, although they may depend on the other elements introduced before. For example in the expansion of the arbitrary element m the r_i and x_i depend on m

The answer is accepted.
Join Matchmaticians Affiliate Marketing Program to earn up to 50% commission on every question your affiliated users ask or answer.