Let $A$ be the $c_0$ direct sum of $M_{n}(\mathbb{C})$,I know the fact that the multiplier algebra of $A$ ,M($A$) is $\prod M_n(\mathbb{C})$.
Does the corona algebra $M(A)/A$ have uncountable tracial states?How to construct the tracial state?
I try to define $\tau:M(A)/A\rightarrow \mathbb{C}$ as following: $\tau((a_1,\cdots,a_n,\cdots)+\oplus M_n(\mathbb{C}))=tr(a_1)$,where $a_i \in M_{i}(\mathbb{C})$ for $i=1,2,\cdots$,$tr$ is the standard trace on $M_{1}(\mathbb{C})$.But this definition is not well defined.Would you mind giving me some help?
For any $a\in M(A)$, consider the sequence $t(a)=(\operatorname{tr}(a_1),\operatorname{tr}(a_2),\ldots)\in\ell^\infty(\mathbb N)$. Let $\omega\in\beta\mathbb N\setminus\mathbb N$ be any free ultrafilter. Then, using the normalized trace $\operatorname{tr}$ on each $M_n(\mathbb C)$, we have that $\tau_\omega(a)=\lim_\omega\operatorname{tr}(a_j)$ defines a trace on $M(A)$, and since $\tau_\omega(a)=0$ for all $a\in A$, it extends to $M(A)/A$.
Let $\{q_n\}$ be some enumeration of $\mathbb Q\cap [0,1]$. For each $r\in[0,1]$, there exists an ultrafilter $\omega_r$ such that $r=\lim_{\omega_r}q_n=r$ (let $\{n_j\}$ be a subsequence such that $|q_{n_j}- r|<1/j$; now let $\omega_r$ be the ultrafilter generated by the sets $E_j=\{n\geq n_j:\ |q_n-r|<1/j\}$). So each $\omega_r$ produces a different trace on $M(A)/A$.