Supercommutative ring