1) the properties of a field is missing closure under the operation. This is kind of assumed from context, but I would include it.

2) the reduction step up multiplication of nth order polynomials (to keep them nth order) is missing (or at least I missed it after a couple of readings.)

Apart from those quibbles, this was really good overall though. I enjoyed it.