Skip to main content
3 of 3
the tag (oa.operator-algebras) also seems suitable here
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Does a closed right ideal of a C$^*$-algebra have a C$^*$-algebra?

$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?

Darman
  • 327
  • 1
  • 8