Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to show that $\mathbb{Z}/8 \otimes_{\mathbb{Z}} \mathbb{Z}_{\langle 2 \rangle} \cong \mathbb{Z} / 8$.

If we let $S = \mathbb{Z} \setminus \langle 2 \rangle$, then $$\mathbb{Z}/8 \otimes_{\mathbb Z} \mathbb{Z}_{\langle 2 \rangle} = \mathbb{Z} /8 \otimes_{\mathbb{Z}} \mathbb{Z} [S^{-1}] \cong \mathbb{Z}/8 [S^{-1}].$$

So I would like to show that if $\displaystyle\frac{m}{s} \in \mathbb{Z}/8[S^{-1}]$ then there is some $y$ such that $\displaystyle\frac{m}{s} = \frac y 1$, i.e. there is some $y \in \mathbb{Z}/8$ such that $sy = m$. How can I guarantee that there is such a $y$? Any help would be appreciated.

Also it is clear to me that $\mathbb{Z} / 8 \otimes_{\mathbb{Z}} \mathbb{Z}_{\langle 2 \rangle} \cong \mathbb{Z}_{\langle 2 \rangle} / \langle 8 \rangle \mathbb{Z}_{\langle 2 \rangle}$, but I am not sure if this helps.

share|cite|improve this question
There is a natural ring surjective homomorphism ${\mathbf Z}_{(2)} \rightarrow {\mathbf Z}/8$, with which one gets a multiplication map ${\mathbf Z}/8 \times {\mathbf Z}_{(2)} \rightarrow {\mathbf Z}/8$ by reducing the second factor mod 8 and then multiplying. This leads to a ${\mathbf Z}$-linear map ${\mathbf Z}/8 \otimes_{\mathbf Z} {\mathbf Z}_{(2)} \rightarrow {\mathbf Z}/8$. Show that is an isomorphism. – KCd May 27 '12 at 2:43
up vote 5 down vote accepted

Note that $\mathbb{Z}[S^{-1}]$ consists of the rationals that can be written with an odd denominator. Note also that we want $sm=y$ in $\mathbb{Z}/8\mathbb{Z}$; that is, $sy\equiv m\pmod{8}$.

If $\frac{m}{s}\in\mathbb{Z}[S^{-1}]$, then $s$ is odd; in particular, $s^2\equiv 1\pmod{8}$, so we can take $y=sm$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.