# Field extensions of $\prod \Bbb F_p /U$

The ultraproduct of all finite prime fields $\Bbb F_p$ (over a nonprincipal ultrafilter U) is a field of characteristic 0. How do I show that it has exactly one extension of degree n for each natural number n?

Hint: First show that this is true for all of the fields $\mathbb{F}_p$.
• To help Dominik: For the second part, things would be easier to do if one could refer to elements of an algebraic extension directly. But you can! Simply consider the ultraproduct of the structures $(\bar{\mathbb F_p},\mathbb F_p,\dots)$ to begin with. – Andrés E. Caicedo Jun 14 '13 at 1:51