Updated commutative-algebra