1
$\begingroup$

I'm studying C-algebras and I don't know how to address the following question: let $(A_k)_{k\in \mathbb{N}}$ a family of C-algebras and let $\mathcal{G}$ a subset of $\displaystyle\bigoplus_{k\in \mathbb{N}}A_{k}$. Consider $m\in \mathbb{N}$ and define $B_{m}(\mathcal{G}):=\{a_{m}:a \in \mathcal{G}\}$. Under what conditions does the following equality hold?: $$B_{m}(C^*(\mathcal{G}))= C^*(B_{m}(\mathcal{G})).$$ Where $C^*(\mathcal{G})$ and $C^*(B_{m}(\mathcal{G}))$ stands for the C*-algebra generated by the subsets $\mathcal{G}$ and $B_{m}(\mathcal{G})$ respectively. Thank you in advance for your help.

$\endgroup$

1 Answer 1

4
$\begingroup$

This is always true. The key point is that the projection map $a \mapsto a_m$ from the direct sum onto $A_m$ is a $*$-homomorphism, so its restriction to $C^*(G)$ is a $*$-homomorphism, and the image of any C${}^*$-algebra under a $*$-homomorphism is a C*-algebra.

$\endgroup$
2
  • $\begingroup$ Impressive how easily you answered, it is evident the great handling that you have of the concepts, my admiration for you. Thank you very much dear teacher. Best regards. $\endgroup$ Commented Mar 19, 2022 at 2:01
  • $\begingroup$ @XavierGonzález you bet, glad I could help! $\endgroup$
    – Nik Weaver
    Commented Mar 19, 2022 at 4:36

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .