Let $A$ be a Banach algebra with identity $e_A$ and let $B$ be a Banach algebra with identity $e_B$. Let $\phi:A\longrightarrow B$ be a Banach algebra homomorphism i.e $\phi$ is linear and $\phi(ab)=\phi(a)\phi(b)$. Then is $\phi(e_A)=e_B?$
2026-03-25 04:36:32.1774413392
Regarding Banach algebra homomorphism
359 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
The answer to the question exactly as you asked it is no, because it could be that $\phi(x)=0$ for every $x$.
Edit: In the original I said that was the only counterexample. Thanks to Omno-something for pointing out that that's nonsense. A less trivial counterexample: Define $\phi:C([0,1])\to C([0,1]\cup[2,3])$ by $$\phi f(x)=\begin{cases}f(x),&(x\in[0,1]), \\0,&(x\in[2,3]).\end{cases}$$
In fact
One direction is trivial, since $\phi_B$ is invertible.
If there exists $x$ with $\phi(x)$ is invertible then $$e_B\phi(x)=\phi(x)=\phi(e_Ax)=\phi(e_A)\phi(x),$$which implies $\phi(e_A)=e_B$ since $\phi(x)$ is invertible.