このとき、formula_45およびformula_46が非自明なformula_47-不変部分空間であることが容易に分かる。