Can we embed unital Banach algebras into semi-simple ones?

139 Views Asked by At

A Banach algebra is (Jacobson) semi-simple if the intersection of all maximal left ideals is the zero ideal.

Take a unital abelian Banach algebra $B$. Can we embed it unitally into an abelian semi-simple Banach algebra?

My attempt was to take the algebra $A=C([0,1], B)$ of all continuous $B$-valued functions but I am not sure how to proceed.

2

There are 2 best solutions below

2
On BEST ANSWER

Isn't a nilpotent element of a commutative ring contained in every maximal ideal?

0
On

EDIT: Robert Israel mentioning the words "commutative ring" got me thinking. My answer was somewhat stupid. Perfectly correct, but stupid not to note that (unless I'm missing something) exactly the same argument works in the context of commutative rings instead of Banach algebras. Take what's below and take "complex homomorphism" as a nonstandard spelling of "homomorphism onto some field"...


Clearly not. Maximal ideals are the kernels of complex homomorphisms $\phi$ with $\phi(e)=1$. Say $A$ is not semisimple. This says there exists $x\in A$ with $x\ne0$ but $\phi(x)=0$ for every complex homomorphism $\phi$ of $A$.

Now suppose $A$ is a subalgebra of $B$, and $\phi$ is a complex homomorphism of $B$ with $\phi(e_B)=1$. Let $\psi=\phi|_A$. Then $\psi$ is a complex homomorphism of $A$, so $\psi(x)=\phi(x)=0$. Hence $B$ is not semisimple.