2 votos

*-homomorfismo entre C*-álgebras

Sean $\mathcal{A}$ y $\mathcal{B}$ C*-álgebras. Sea $\phi:\mathcal{A} \rightarrow M_2\mathcal{(B)}$ un *-homomorfismo y $$\phi=\begin{bmatrix} \phi_{11} & \phi_{12}\\ \phi_{21} & \phi_{22} \end{bmatrix}$$ Si $\phi_{11}:\mathcal{A} \rightarrow M(\mathcal{B})$ es un *-homomorfismo, ¿es cierto que $\phi_{12}=\phi_{21}=0$ y que $\phi_{22}$ es un *-homomorfismo?

Usando $\phi(ab)=\phi(a)\phi(b)$ obtengo

$\phi_{11}(a)\phi_{21}(b)=0$

$\phi_{12}(ab)=\phi_{11}(a)\phi_{12}(b)+\phi_{12}(a)\phi_{22}(b)$

$\phi_{21}(ab)=\phi_{21}(a)\phi_{11}(b)+\phi_{22}(a)\phi_{21}(b)$

$\phi_{22}(ab)=\phi_{21}(a)\phi_{12}(b)+\phi_{22}(a)\phi_{22}(b)$

No pude concluir nada. Gracias de antemano.

1voto

Studer Puntos 1050

Si miras las entradas 1,1 de $\phi(a^*a)$ y $\phi(a)^*\phi(a)$, obtienes (después de usar que $\phi_{11}$ es un $*$-homomorfismo) que $\phi_{21}(a)^*\phi_{21}(a)=0$. Así que $\phi_{21}(a)=0$ para todo $a$.

Ahora usa que $\phi$ preserva adjuntos para obtener que $\phi_{12}=0$. Y ahora tu última ecuación te da que $\phi_{22}$ es multiplicativa.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X