>>921
今の場合、MもS_iも3次元行列の場合を考えています。
MとS_iが満たす条件が与えられなければ、Mの9個の成分の間に何も条件が
課されないのだから線形独立な成分の数は9個ですよね。
しかしここでn個の行列S_iが
M=S_iMS_i^{-1}
を満たすということが分かっている場合（>>917で添え字iを書き忘れました。すみません）、
Mの成分9個のうち線形独立なものは何個まで減るのか、というのを知りたいのです。

>>923
そうです。