How to generate a finite field in Sage

Do some arithmetic in your field

Create a finite field with a given irreducible polynomial

Create a polynomial ring over Z/pZ, and factor polynomials or check irreducibility