Free commutative algebra