Non-maximal closed prime ideals in a unital commutative Banach algebra are accessible

TL;DR

The paper proves that in commutative unital Banach algebras, all non-maximal closed prime ideals are accessible via intersections, leading to results on the continuity of derivations and properties of separating ideals.

Contribution

It establishes the accessibility of non-maximal closed prime ideals and derives implications for derivations, epimorphisms, and separating ideals in such algebras.

Findings

Non-maximal closed prime ideals are accessible as intersections of larger closed ideals.

All derivations and epimorphisms in commutative unital semi-prime Banach algebras are continuous.

Separating ideals are nilpotent and thus nil ideals.

Abstract

It is proved that in a commutative unital Banach algebra, every non-maximal closed prime ideal is accessible. Specifically, it can be represented as the intersection of all closed ideals of the algebra that properly contain it. Consequently, all derivations and epimorphisms on commutative unital semi-prime Banach algebras are continuous. Moreover, any separating ideal in a commutative unital Banach algebra is nilpotent and, therefore, a nil ideal.