Free commutative ring