Is this an Extension of Complex Numbers? A quick search here shows me this question: No extension to complex numbers? where they explain there's no 3D or 4D analogue of complex numbers. Then there's a mention of quaternions but the multiplication is non-commutative. This has left me a bit "confused."
Anyway, I just learnt a theorem that if $F$ is field and $p(x) \in F[x]$ is an irreducible polynomial of degree $n$ then $K=F[x]/(p(x))$ is an $n$-dimensional vector space over $F$. 
So what if $F=\mathbb{R}$ and $p(x)=x^4+1$, then $\mathbb{C} \subset K$ and $[K:\mathbb{R}]=4$, right?
Specifically, if $\theta=x + (p(x))$ then $\{1, \theta, \theta^2, \theta^3\}$ are the basis for $K$ and $\mathbb{C} \cong \{a+b\theta^2 : a,b \in \mathbb{R}\}$.
 A: Massive hint: How sure are you that $p(x) = x^4  + 1$ is irreducible over $\Bbb{R}$? Do you know that 
$$x^4 + 1  = -(-x^2+\sqrt{2} x-1) (x^2+\sqrt{2} x+1)?$$
The resulting quotient ring is isomorphic to $\Bbb{C} \times \Bbb{C}$ (using the CRT) which is not even an integral domain.
A: Hint $\rm\ \ x^4\! + 1 = (x^2\!+\!1)^2 - 2x^2\, =\, (x^2\!+\!1)^2 - (\sqrt{2}\, x)^2 = \: \ldots\:  $ (factor the difference of squares), therefore the quotient ring is neither a domain nor a field.
A: That $\Bbb R[x]/(x^4+1)$ does not produce a field has been cleared up, but I'm surprised nobody has mentioned the connection to the Frobenius theorem.
It says that the only finite dimensional associative division algebras over $\Bbb R$ are $\Bbb R$, $\Bbb C$ and $\Bbb H$ the (quaternions). That's why the quaternions showed up in the other post, since they share this relationship with $\Bbb R$.
Since it looks like you implicitly wanted the analogue for the complex numbers to be a field extension of $\Bbb R$, and since the quaternions are noncommutative, the only possibility left is $\Bbb C$.
