residually solvable just infinite profinite lie algebras

We provide some characterization theorems about just infinite profinite residually solvable lie algebras, similarly to what c. reid has done for just infinite profinite groups. in particular, we prove that a profinite residually solvable lie algebra is just infinite if and only if its obliquity subalgebra has finite codimension in the lie algebra, and we establish a criterion for a profinite residually solvable lie algebra to be just infinite, looking at the finite lie algebras occurring in the inverse system.