4
$\begingroup$

$A$ is an infinite dimensional C$^*$-algebra and $J\subset A$ is a closed right ideal. $A$ and $J$ are infinite dimensional(as a vector space). I want to find an infinite dimensional C$^*$-algebra subset of $J$. How can I find it?

I know an infinite dimensional C$^*$-algebra has an infinite dimensional commutative C$^*$-subalgebra. So if $A_1$ is infinite dimensional commutative C$^*$-subalgebra of $A$, Is the set $A_1\cap J$ an infinite dimensional C$^*$-algebra? If no, so what can I do?

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ Small observation: every $C^*$-subalgebra of $J$ is contained in $J \cap J^*$, so your question is equivalent to asking if $J\cap J^*$ is infinite-dimensional for every infinite-dimensional closed right ideal $J\subset A$. $\endgroup$
    – Yemon Choi
    Commented Nov 16, 2018 at 12:26

1 Answer 1

Reset to default
8
$\begingroup$

It need not exist. Take $A = B(l^2)$ (or the compacts if you want $A$ to be separable) and let $J$ be the set of operators of the form $$u \mapsto \langle u,v\rangle e_1$$ for $v \in l^2$, where $e_1$ is the first standard basis vector. It is a right ideal because for any $T \in B(l^2)$ we have $\langle Tu,v\rangle e_1 = \langle u,T^*v\rangle e_1$, and it is closed because $T \in J$ if and only if $\langle Tu,v\rangle = 0$ for all $u,v \in l^2$ with $v \perp e_1$.

The adjoint of $J$ is the set of operators of the form $u \mapsto \langle u,e_1\rangle v$ for $v \in l^2$, and the intersection $J \cap J^*$ is one-dimensional, so we are done by Yemon's comment.

Improve this answer
$\endgroup$
0

You must log in to answer this question.

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