1. Pour tout premier p et n≥1, il existe un corps à pⁿ éléments. 2. Construction : corps de décomposition de X^pⁿ-X. 3. Unicité à isomorphisme près. 4. Structure multiplicative cyclique
Corps de décomposition. F_pⁿ* est cyclique