Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Simple Tensor Product

  1. Oct 15, 2012 #1
    1. The problem statement, all variables and given/known data
    Show that [itex]\mathbb{Z}_{10}\otimes_{\mathbb{Z}}\mathbb{Z}_{12} \cong \mathbb{Z}_{2}[/itex]

    3. The attempt at a solution
    Clearly, for any [itex]0\neq m\in\mathbb{Z}_{10}[/itex] and [itex]0\neq n \in \mathbb{Z}_{12}[/itex] we have that [itex]m\otimes n = mn(1\otimes 1)[/itex], and if either [itex]m=0[/itex] or [itex]n=0[/itex] we have that [itex]m\otimes n = 0\otimes 0[/itex].

    I just don't know how to finish it.

    I'm just working through Vakil's Algebraic Geometry monograph for fun, and this seemingly trivial question is bothering me.

    Thank you for any help!
    Last edited: Oct 15, 2012
  2. jcsd
  3. Oct 15, 2012 #2
    Can you prove that [itex]1\otimes 10=0[/itex]?
  4. Oct 15, 2012 #3

    [itex]1 \otimes 10 = 10(1\otimes 1)=10\otimes 1 = 0\otimes 1=0[/itex].
  5. Oct 15, 2012 #4
    What about [itex]m\otimes 1[/itex]. Can you prove that this is 0 for even m?
  6. Oct 15, 2012 #5
    Well it is trivial if [itex]m=0[/itex], so suppose [itex]m\neq 0[/itex] even. Then it follows that [itex]m=2k[/itex] hence [itex]m \otimes 1 = 2k\otimes 1 = 2(k\otimes 1)[/itex]

    Hence, for any morphism of [itex]\mathbb{Z}[/itex]-modules [itex]\phi : (\mathbb{Z}_{10}\otimes_{\mathbb{Z}}\mathbb{Z}_{12})\to \mathbb{Z}_{2}[/itex], it follows that [itex]\phi(m\otimes1)=2\phi(k\otimes 1)=0\in\mathbb{Z}_{2}[/itex].

    Also, another question, if we're dealing with [itex]\mathbb{Z}[/itex]-modules, we can treat them as abelian groups. So what would the tensor product of [itex]\mathbb{Z}[/itex]-modules translate to for abelian groups?
  7. Oct 15, 2012 #6
    Actually, I guess that doesn't really prove anything since it isn't assumed that [itex]\phi[/itex] is injective. Hrmm...
  8. Oct 15, 2012 #7
    Try the following for example:

    [tex]2\otimes 1=12\otimes 1=0[/tex]

    As for your other question. The tensor product of abelian groups is exactly defined as the tensor product of [itex]\mathbb{Z}[/itex]-modules.
  9. Oct 16, 2012 #8
    We have [itex]0= 1\otimes 0 = 1\otimes 12= 12(1\otimes 1)=12\otimes 1=(2\otimes 1)+ (10\otimes 1)=(2\otimes 1)+0=2\otimes 1[/itex].

    Hence, [itex]m\otimes 1 = k(2\otimes 1)=0[/itex].
  10. Oct 16, 2012 #9
    Thanks for the help!

    I got it.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook