(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Consider [itex]\frac{\mathbb Z_2[X]}{X^2+1}[/itex], is this ring isomorphic to [itex]\mathbb Z_2 \oplus \mathbb Z_2, \mathbb Z_4[/itex] or [itex]\mathbb F_4[/itex] or to none of these?

2. Relevant equations

/

3. The attempt at a solution

- [itex]\mathbb F_4[/itex] No, because [itex]\mathbb Z_2[X][/itex] is a principle ideal domain (Z_2 being a field) and X²+1 is reducible in [itex]\mathbb Z_2[X][/itex] and in a principle ideal domain an ideal formed by a reducible element isnotmaximal and thus the quotient is not a field

- [itex]\mathbb Z_4[/itex] No, as it can obviously not be cyclical

- [itex]\mathbb Z_2 \oplus \mathbb Z_2[/itex] No. Because say thereisan isomorphism [itex]\phi: \frac{\mathbb Z_2[X]}{X^2+1} \to \mathbb Z_2 \oplus \mathbb Z_2[/itex], then say [itex]\phi(X) = (a,b)[/itex], then [itex]\phi(1) = \phi(X^2) = \phi(X)* \phi(X) = (a^2,b^2) = (a,b)[/itex] since a and b are either zero or one. As a result "1" and "X" would have the same image. Contradiction.

Is this correct? If so, does this also seem like a good way to do it, or did I overlook an easier way to do this?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: [abstract algebra] is this ring isomorphic to

**Physics Forums | Science Articles, Homework Help, Discussion**