>>151
本当だ。1-ax＝0だと x*y＝x y*x＝yになるからyは逆元の性質を満たしませんね。

では、逆元に関する解答は
a≠1/xのときは逆元は存在しy＝{(-x)/(1-ax)}になる(証明は>>148①②)
a＝1/xのときは逆元は存在しない(証明は上記の通り)

と場合分けすればokでしょうか。