あ・・>>681の仰るとおりだった。混乱させてゴメン。そして回答ありがと。

>>680
G := SL[2](F3)に部分集合Q := {x^i * y^j | i, j = 0, 1, 2, ...}を定義する。
ただし、x := [[-1, -1], [-1, 1]], y := [[0, 1], [-1, 0]]

って感じに問題文の冒頭に書いてあったんで、"-1"って表記は大丈夫なのかなぁ、と。
先の疑問は、解答でx^2 = y^2と言われたのが不可解だった点でして。