D dash Guest Mar 4, 2009 #1 let Z_3 = {a+bi : a,b in Z_3} show that the field Z_3 is ring-isomorphic to the field Z_3[x]/<x^2+1>