Suppose there is a cyclic group $G$ and a prime $p$. Why can one write

$$ \mathbb{Z}_p[G] \cong \mathbb{Z}_p \otimes _\mathbb{Z} \mathbb{Z}[G]$$

Is this some theorem which has a name? Thanks for hints.