2
$\begingroup$

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a weak$^*$ dense ideal of $W^*$-algebra. But what about the general case?

This question on MSE.

$\endgroup$
3
  • $\begingroup$ [deleted premature comment] $\endgroup$
    – Yemon Choi
    Commented Aug 11, 2014 at 12:44
  • 1
    $\begingroup$ Are you assuming that $R$ is one half of a double centralizer $(L,R)$, or merely that $R:A\to A$ is linear and satisfies $R(xa)=xR(a)$ for all $x$ and $a$ in $A$? $\endgroup$
    – Yemon Choi
    Commented Aug 11, 2014 at 12:50
  • $\begingroup$ @YemonChoi, if $R$ is a right half of a multiplier $(L,R)$, then $L(b)$ is a right unit. Since $A$ have two sided BAI, then $A$ is unital. Therefore I just assume $R$ to be a left $A$-module map. It is automatically continuous [C*-algebras and their authomorphism groups. G. K. Pedersen, lemma 3.12.2] $\endgroup$
    – Norbert
    Commented Aug 11, 2014 at 19:25

1 Answer 1

3
$\begingroup$

$A$ is unital. Something a little more general is true: if a C*-algebra $A$ has an element $b$ that is a right divisor of all its elements, then $A$ is unital. Proof: We have $(b^*b)^{1/4}=xb$ for some $x\in A$. So $ (b^*b)^{1/2}=b^*x^*xb\leq \|x\|^2(b^*b). $ The inequality $(b^*b)^{1/2}\leq \|x\|^2(b^*b)$ holds in the C*-algebra generated by $b^*b$, and this implies that 0 can only be an isolated point of the spectrum of $b^*b$. So the C*-algebra $C^*(b^*b)$ has a unit $p$. Since $b(b^*b)^{1/n}\to b$ and $p$ is a unit for $(b^*b)^{1/n}$, we also have $bp=b$. Any other element of $A$ is a left multiple of $b$, so $p$ is a (right) unit for $A$.

$\endgroup$
0

You must log in to answer this question.

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