>>822,>>823
たしかに823の書き方の方がいい気はする。論理としては。
ただ、著者は論理的正しさの他に、著書の読みやすさなども考えるだろうから、
823のように書くべきかどうかはよくわからない。
>>825
ST=Iのとき、SとTは互いの逆写像。S^{-1}STS=S^{-1}S、TS=I。逆も同様