Congruence Class Arithmetic
This section is remarkably similar to Section 2.2. It deals with the developments of rings in and arithmetic of congruence classes in
. The notation for these types of rings is different from what has previously been encountered:
where F is a field and
a non constant polynomial in
.
The ideas behind this section are relatively straightforward given that rings in have already been studied. However arithmetic in this form may be more difficult. At least right now I fail to see how the ring
is composed of the elements
.