Project Euclid - Commutative Algebra