6
$\begingroup$

This is a question about tensor product of modules.

How to show that $$\Bbb Z[x]/\langle f(x) \rangle \otimes_{\Bbb Z} \Bbb Z/p\Bbb Z \cong (\Bbb Z/p\Bbb Z)[x]/\langle f(x) \rangle$$ for any prime $p$ and irreducible polynomial $f(x)\in\Bbb Z[x]$?

Attempt: I start with the map $$\phi:\Bbb Z/p\Bbb Z[x] \to \Bbb Z[x]/\langle f(x) \rangle \otimes_{\Bbb Z} \Bbb Z/p\Bbb Z$$ defined by $$\phi(a_0+a_1x+\cdots+a_nx^n)=1\otimes a_0+x\otimes a_1+\cdots+x^n\otimes a_n.$$ It is easy to show that $\phi$ is a well-defined surjective module homomorphism, so it suffices to show that $$\ker\phi=\langle f(x) \rangle \subset\Bbb{Z}/p\Bbb{Z}[x].$$ But this is where I am stuck. Suppose $$\phi(a_0+\cdots+a_nx^n)=1\otimes a_0+\cdots+x^n\otimes a_n=(a_0+\cdots+a_nx^n)\otimes 1=0.$$ I am tempted to say that this implies that $a_0+\cdots+a_nx^n=0\in\Bbb{Z}[x]/\langle f(x)\rangle$, but I am not sure how to justify this.

$\endgroup$
1
$\begingroup$

Recall the following isomorphism for an $R$-Module $M$ -

$R/I \otimes_R M \simeq M/IM$

Let $M = \mathbb{Z}[X]/\left(f\right)$$\implies M \otimes_\mathbb{Z} \mathbb{Z}/p\mathbb{Z} \simeq M/pM$

$pM = p \mathbb{Z}[X]/\left(f\right) = \big(p,f\big)/(f) \in \mathbb{Z}[X]/(f)$

Thus - \begin{align*} M/IM &= \bigg(\mathbb{Z}[X]/(f)\bigg)/\bigg(\big(p,f\big)/(f)\bigg)\\ &\simeq \mathbb{Z}[X]/\big(p,f\big)\\ &\simeq \bigg(\mathbb{Z}[X]/(p)\bigg)/\bigg(\big(p,f\big)/(p)\bigg)\\ &\simeq \bigg(\mathbb{Z}/p\mathbb{Z}\bigg)[X]/\big(f\big) \end{align*}

As required.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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