commutative algebra (structure)