# Isomorphism

• Nov 13th 2005, 03:29 PM
Isomorphism
I must find an isomorphism between $\displaystyle \mathbb{Z}_5[x]/(x^2+1)$ and $\displaystyle \mathbb{Z}_5 \times \mathbb{Z}_5$.

The problem is that multiplication is defined entirely differently in the two rings. Any attempt by me to define an iso between the two breaks down at multiplication.
• Nov 13th 2005, 08:34 PM
hpe
Quote:

I must find an isomorphism between $\displaystyle \mathbb{Z}_5[x]/(x^2+1)$ and $\displaystyle \mathbb{Z}_5 \times \mathbb{Z}_5$.

The problem is that multiplication is defined entirely differently in the two rings. Any attempt by me to define an iso between the two breaks down at multiplication.

There is no canonical multiplication on $\displaystyle \mathbb{Z}_5 \times \mathbb{Z}_5$, so you can use the bijection $\displaystyle \Phi: ax+b \mapsto (a,b)$ to lift the multiplication on $\displaystyle \mathbb{Z}_5[x]/(x^2+1)$ to $\displaystyle \mathbb{Z}_5 \times \mathbb{Z}_5$. For a different quadratic polynomial, you would get a different ring structure (a field for $\displaystyle \mathbb{Z}_5[x]/(x^2+2)$).
• Nov 14th 2005, 03:43 AM
Define $\displaystyle \Phi: Z_5[x]/(x^2+1) \to Z_5 \times Z_5$ by $\displaystyle \Phi(ax+b) = (a,b)$, where $\displaystyle ax+b$ is the unique representative of degree less than 2 of an element in $\displaystyle Z_5[x]/(x^2+1)$. This is a bijection. Then define
$\displaystyle (a,b) \cdot (c,d) = \Phi\left( \Phi^{-1}(a,b) \cdot \Phi^{-1}(c,d) \right)$, where the multiplication on the right is the one in $\displaystyle Z_5[x]/(x^2+1)$. Then work out what this means in $\displaystyle Z_5 \times Z_5$. Compare this to the formula for complex multiplication, and think about an explanation.