2
$\begingroup$

I'm trying to find the tensor product $\mathbb{Z}/m\mathbb{Z}\otimes \mathbb{Z}/n\mathbb{Z}$ using this theorem. Now I know what the end product is (namely: $\mathbb{Z}/\gcd(m,n)\mathbb{Z}$) and I proved it differently. However,

how do I get that $m\mathbb{Z}\cdot \mathbb{Z}/n\mathbb{Z}\cong \gcd(m,n)\mathbb{Z}/n\mathbb{Z}$?

$\endgroup$
2
  • $\begingroup$ For my own learning, I am wondering what does $m\mathbb{Z} \cdot \mathbb{Z}/n\mathbb{Z}$ mean? It is not a tensor product? $\endgroup$
    – Mike
    Jul 6, 2019 at 1:54
  • $\begingroup$ @Mike $\{k\cdot l \mid k\in m\mathbb{Z}, l\in \mathbb{Z}/n\mathbb{Z}\}$ $\endgroup$
    – bliipbluup
    Jul 7, 2019 at 20:20

1 Answer 1

3
$\begingroup$

More generally, if $I$ and $J$ are ideals of the commutative ring $R$, we have $$ I\cdot R/J=(I+J)/J $$ The proof is easier to formalize in the more abstract setting and is a simple verification.

In your case $I=m\mathbb{Z}$ and $J=n\mathbb{Z}$, so $$ I+J=m\mathbb{Z}+n\mathbb{Z}=\gcd(m,n)\mathbb{Z} $$

$\endgroup$
2
  • $\begingroup$ Where can I find a proof for this general case? $\endgroup$
    – bliipbluup
    Jul 5, 2019 at 9:13
  • 1
    $\begingroup$ @UnexpectedExpectation Let $x\in I$ and $y\in R$; then $x(y+J)=xy+J\in (I+J)/J$. Let $x\in I$, $y\in J$. Then $(x+y)+J=x+J=x(1+J)\in I\cdot R/J$. $\endgroup$
    – egreg
    Jul 5, 2019 at 9:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .