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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.