>527,>529
ご回答ありがとうございます。
すいません。まだよく分かりません。

"same size"とはAもBも同じべき乗でOになるという意味ではないんですね。
AとBとが同じ行数と同じ列数という意味なのですね。
問題文はAは正方行列でAB=BAだと仮定しているので
AとBも同じ行数・列数になると思うのですが…。

それでこの"same size"はべき乗の意味だと解釈してました。