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 only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
1.7K
-
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 a 50% commission on every question that your affiliated users ask or answer.
- answered
- 1357 views
- $15.00
Related Questions
- Prove that a reduced Gorenstein ring of Krull dimension 1 is not a complete intersection ring.
- Would the Equation $s⋅G=P1+e⋅P2$ Reveal Hidden Points $P1$ and $P2$ on an Elliptic Curve?
- I have a question for 0/0 being undefined and wonder if anybody has a refutation.
- Suppose that $(ab)^3 = a^3 b^3$ for all $a, b \in G$. Prove that G must be an abelian goup [Group Theory].
- Certain isometry overfinite ring is product of isometries over each local factor
- $Tor$ over finite rings
- Finitely generated modules over a PID isomorphism
- Rotational symmertries of octahedron, $R(O_3)$