相対可換環
relative commutative ring