In what quadratic or quartic integer ring is a prime of the form $a^4 + 4^b$ guaranteed to split?

Suppose $p = a^4+4^b$ for some non-negative integer $b$.

If $b\equiv 0\pmod 2$, then we can write $$\begin{align}p&=(a^2+2^{b}i)(a^2-2^{b}i)\\&=(a^2+2^{b/2}\sqrt{2}a+2^b)(a^2-2^{b/2}\sqrt 2a+2^b)\\&=(a^2+2^{b/2}\sqrt{-2}a-2^b)(a^2-2^{b/2}\sqrt {-2}a-2^b)\end{align}$$

so $p$ splits in any of $\mathbb Z[i],\mathbb Z[\sqrt2],\mathbb Z[\sqrt{-2}]$.

(We should probably assume that $p$ is an odd prime, since $2 = 1^4+4^0$ is ramified in all these rings.)

If $b\equiv 1\pmod 2$, then letting $b'=\frac{b+1}2$ we have $$p=(a^2+2^{b'}a+2^{b})(a^2-2^{b'}a+2^{b}),$$ so assuming, wlog, that $a\ge 0$, we see that $p$ can be prime only if $$a^2-2^{b'}a+2^b = \pm1$$which, solving for $a$ as a quadratic, can occur only when $$2^{2b'}-4(2^b\mp1)=4(2^{b-1}-2^b\pm1)=4(\pm1-2^{b-1})$$is a perfect square - i.e. $a=b=1$ and $p=5$.

Now $5=(1+2i)(1-2i)$ splits in $\mathbb Z[i]$, but not in $\mathbb Z[\sqrt{\pm 2}]$ since $X^2\pm 2$ is irreducible modulo $5$.

It follows that $\mathbb Z[i]$ is the ring you're after.


I think Mathmo123 already gave the Best Answer (and the one which deserves the bounty), and I understand your trepidation at dealing with quartic domains. But I also think you were a bit too hasty to drop the quartic domains line of inquiry, even though it still leads to a quadratic domain as the answer.

For now I'm going to ignore the special case $a = b = 1$ to concentrate on $b$ an even nonnegative integer (and then of course $a$ has to be odd).

Suppose there is a number $\theta$, possibly complex (I don't know at this point), such that $\theta^4 - 1 = 0$, so $\mathbb{Z}[\theta]$ is almost certainly a quartic domain. Then $$(a^2 - 2^{\frac{b}{2}})(a^2 + 2^{\frac{b}{2}}) = a^4 - 4^b \theta^2.$$

Clearly my thinking is still dominated by quadratic domains. But if it were the case that $\theta^2 = -1$, we would be done, as the right hand side of that equation would boil down to $a^4 + 4^b$. In fact, the only way to have $\theta^2 = -1$ and $\theta^4 = 1$ is for $\theta$ to be $i$ or $-i$. Then it turns out that $\mathbb{Z}[\theta] = \mathbb{Z}[i]$, a quadratic domain after all. And it works for the special case, too, as we have $1^4 + 4^1 = 5$ and $5 = (2 - i)(2 + i)$.

What about $\theta^4 + 1 = 0$? Then $\theta = \pm \sqrt{i}$. That's still a bit beyond my ability at this point.