シュール分解は、"a"-不変部分空間からなる包含列{0}＝ "v"0 ⊂ "v"1 ⊂ ... ⊂ "vn" ＝c"n" が存在することを意味する。