- #1
PirateFan308
- 94
- 0
Homework Statement
Try to apply the First Isomorphism Theorem by starting with a homomorphism from a polynomial ring [itex]R[x][/itex] to some other ring [itex]S[/itex].
Let [itex]I = \mathbb{Z}_2[x]x^2[/itex] and [itex]J = \mathbb{Z}_2[x](x^2+1)[/itex]. Prove that [itex]\mathbb{Z}_2[x]/I[/itex] is isomorphic to [itex]\mathbb{Z}/J[/itex] by using the homomorphism [itex]\mathbb{Z}_2[x] \rightarrow \mathbb{Z}_2[x][/itex] given by [itex]x \rightarrow x+1[/itex].
Homework Equations
First isomorphism theorem states that if [itex]\varphi: R \rightarrow S[/itex] is a homomorphism then [itex]R / ker \varphi[/itex] is isomorphic to Image[itex]\varphi[/itex]
The Attempt at a Solution
The only thing that I was able to think of was to use the First Isomorphism Theorem twice to find some ring S that both [itex]\mathbb{Z}/I[/itex] and [itex]\mathbb{Z}/J[/itex] are isomorphic (hence making them isomorphic to each other), but I am completely stumped about which ring S I should use. I'm also confused about how the homomorphism given will help?
I attempted to find [itex]kernel (\varphi)[/itex], but had no luck as I'm confused about how which functions would be s.t. [itex]f(x+1)=0[/itex] in [itex]\mathbb{Z}_2[x][/itex]?
I did notice that [itex]\varphi (x^2+1) = (x+1)^2+1 = x^2 + 2x + 1 + 1 = x^2[/itex] in [itex]\mathbb{Z}_2[x][/itex]. Similarly, [itex]\varphi (x^2) = (x+1)^2 = x^2 + 2x + 1 = x^2 + 1[/itex], but I'm not sure how exactly this could help.
Any hint on where to get started would be greatly appreciated! Thanks!