Non-removable ideals in commutative topological algebras with separately continuous multiplication.
An ideal in a commutative topological algebra with separately continuous multiplication is non-removable if and only if it consists locally of joint topological divisors of zero. Also, any family of non-removable ideals can be removed simultanously.