ABSTRACT

Unless otherwise specified, all rings are assumed to be commutative.