Let $A$ be a $*$-ring. Let us have some points:

i) We recall that a projection $p$ is a self-adjoint idempotent that is $p=p^*=p^2$.

ii) On the set of projections, we write $p\leq q$ if $pq=p$.

iii) A projection $p$ is called strongly finite if there exist at most finitely many projections $q_1,\cdots,q_n$ with $q_j\leq p$.

iv) For a given $x\in A$, we put $l(x)$ to be the smallest projection with $l(x)x=x$.

Q. Assume that $e$ is an strongly finite projection. Let $p$ be a projection. Is $l(ep)$ an strongly finite projection?

Remark. In this discussion, we assumed $l(x)$ exists for every element $x\in A$. For example $A$ may be assumed a Baer *-ring.

Yes. $l(ep)\leq e$, because $e(ep)=ep$, so if $q\leq l(ep)$, then $$qe=ql(ep)e=ql(ep)=q$$ whence, $q\leq e$, but $e$ is strongly finite, so the number of such $q$'s is finite.

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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