Let R be a commutative ring with ideal I. Here is what prime ideals and maximal ideals mean in the context of quotient rings:
The quotient ring R/I is
In the next section, we shall take a closer look at finite fields.