半单交换环

semi-simple commutative ring