Commutative superalgebra