Given a profinite group, it is well-known that any finite-index subgroup contains a finite-index normal subgroup, namely its core.
Does anything similar hold for profinite Lie algebras? More specifically, is it true that a finite-codimension Lie subalgebra contains a finite-codimension ideal?
Thanks in advance