See also
sage.rings.finite_rings.residue_field
sage.rings.algebraic_closure_finite_field
Number Fields