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.
Answer
Answers can be viewed only if
- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.
-
Hey, are the a_i, m_i, r_i, x_i just arbitrary elements? Didn't quite figure that out.
-
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.
- answered
- 244 views
- $15.00
Related Questions
- Prove that a reduced Gorenstein ring of Krull dimension 1 is not a complete intersection ring.
- Suppose that $(ab)^3 = a^3 b^3$ for all $a, b \in G$. Prove that G must be an abelian goup [Group Theory].
- Homomorphism
- [Modules] Show that $h_3$ is injective given comutative diagram
- Finitely generated modules over a PID isomorphism
- Homomorphism
- Abstract Algebra : Commutativity and Abelian property in Groups and Rings
- Question on a subgroup of permutations