Proving When a Tensor is 0: M \cong M \otimes K

  • Context: Graduate 
  • Thread starter Thread starter Site
  • Start date Start date
  • Tags Tags
    Tensor
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
Sign up Log in
3 replies · 3K views
Site
Messages
26
Reaction score
0
Let [itex]M[/itex] be a module over the commutative ring [itex]K[/itex] with unit 1. I want to prove that [itex]M \cong M \otimes K.[/itex] Define [itex]\phi:M \rightarrow M \otimes K[/itex] by [itex]\phi(m)=m \otimes 1.[/itex] This is a morphism because the tensor product is K-linear in the first slot. It is also easy to show that the map is surjective. This is where I get stuck.

Suppose [itex]\phi(m)=\phi(n),[/itex] so that [itex]0 = m \otimes 1 - n \otimes 1 = (m-n) \otimes 1.[/itex] How do I prove that this implies that [itex]m=n[/itex] and thus the map is injective? More generally, how can you tell when a tensor is 0?
 
Physics news on Phys.org
Thanks, micromass! I think I've got it. If you wouldn't mind, please let me know if this looks alright.

Define [itex]h: M \times K \rightarrow M[/itex] by [itex]h(m,k)=mk.[/itex] This map is bilinear, so it factors through the tensor map [itex]M \times K \rightarrow M \otimes K.[/itex] Thus there is a unique (irrelevant?) morphism [itex]f[/itex] such that [itex]f(m \otimes k)=mk.[/itex] This is the right and left inverse of the morphism [itex]\phi[/itex], implying that [itex]\phi[/itex] is an isomorphism.