ただし "s"opは "s" の反転環(opposite ring、積を逆にしたもの)である。