Published online by Cambridge University Press: 24 October 2008
An ideal I in a ring R is primal if whenever J1, …, Jn is a finite set of ideals of R with J1 … Jn = {0} then Ji ⊆ I for at least one i ∈ {1, …, n}. If the ring is commutative then is is easily shown that each primal ideal contains a prime ideal. In this paper it is shown that in a separable semi-simple Banach algebra each primal ideal contains a prime ideal, and that the space of minimal prime ideals is compact and extremally disconnected in the hull-kernel topology. An example is given of an inseparable C-algebra with a primal ideal which does not contain a prime ideal.