m 次正方行列 A 、n 次正方行列 B 、 行列 C が与えられたとき、 行列 X に関する方程式 … (1) を Sylvester の方程式という。 であるから、この行列の (i,j) 成分における の係数は である。そこで に新しい順序を で定義する。すなわち でもって に順序を…