Banach Lie algebras with Lie subalgebras of finite codimension: Their invariant subspaces and Lie ideals

The paper studies the existence of closed invariant subspaces for a Lie algebra L of bounded operators on an infinite-dimensional Banach space X. It is assumed that L contains a Lie subalgebra L₀ that has a non-trivial closed invariant subspace in X of finite codimension or dimension. It is proved that L itself has a non-trivial closed invariant subspace in the following two cases: (1) L₀ has finite codimension in L and there are Lie subalgebras L₀=L⁰⊂L¹⊂?⊂Lp=L such that Li+1=Li+[Li,Li+1] for all i; (2) L₀ is a Lie ideal of L and dim(L₀)=∞. These results are applied to the problem of the existence of non-trivial closed Lie ideals and closed characteristic Lie ideals in an infinite-dimensional Banach Lie algebra L that contains a non-trivial closed Lie subalgebra of finite codimension.