Tensor Product of Modules

**slevvio** · December 9th 2011, 05:47 AM

Hello all, I was wondering if I could get some help proving the following statement:

$\mathbb{Z} / 8 \otimes_{\mathbb{Z}} \mathbb{Z}_{\langle 2 \rangle} = \mathbb{Z} / 8$

where $\mathbb{Z}_{\langle 2 \rangle}$ is the integers localised at the prime ideal <2>.

Can anyone give me some hints as to how to calculate this?
Any help would be appreciated.

**NonCommAlg** · December 9th 2011, 07:49 AM

Originally Posted by slevvio

Hello all, I was wondering if I could get some help proving the following statement:

$\mathbb{Z} / 8 \otimes_{\mathbb{Z}} \mathbb{Z}_{\langle 2 \rangle} = \mathbb{Z} / 8$

where $\mathbb{Z}_{\langle 2 \rangle}$ is the integers localised at the prime ideal <2>.

Can anyone give me some hints as to how to calculate this?
Any help would be appreciated.

let's consider a more general case: let $R$ be a commutative ring with 1 and let $I$ be an ideal of $R.$ let $S$ be a multiplicatively closed subset of $R$ with $1 \in S$ and $0 \notin S.$ suppose that every element of $S$ is invertible modulo $I,$ i.e. $s + I$ is an invertible element of $R/I$ for all $s \in S.$ then