10
$\begingroup$

This is a homework problem for algebraic number theory but I'm having trouble getting started. Do I use induction in general, or show this holds for $p \equiv 1,3$ (mod 4)?

Any help would be appreciated!

  • 1
    @HagenvonEitzen Ahhh, okay, that makes a lot more sense. I'd been thinking about stepping from one prime to the next, which seemed crazy on the face of it.2012-11-12

1 Answers 1

6

(1) Use the fact that $X^4+1 = (X^2+\sqrt{-1})(X^2-\sqrt{-1}) = (X^2+\sqrt{2}X+1)(X^2-\sqrt{2}X+1) = (X^2+\sqrt{-2}X-1)(X^2-\sqrt{-2}X-1),$ to show that $X^4+1$ is reducible in $\mathbb{F}_p[X]$ (even for $p=2$). You may need the law of quadratic reciprocity.

(2) Conclude with Hensel Lemma.