Simplicial commutative ring