うーん・・SL[2](F3)で

[[2, 0], [0, 2]] = [[-1, 0], [0, -1]]

が成り立つってのがちょっと不可解だったもので。
負数の剰余ってどうなるんかなぁ、と。