>>70
(gh)^=g^h^ が成り立つ
行列の集合が環をなす
これらがどういう場合に成り立つか考えよ