Answer to Question #16667 in Algebra for Irvin

Question

Let A = C[x; σ], where σ denotes complex conjugation on C. Show that A/A • (^x2 + 1) is isomorphic to H, the division ring of real quaternions.