Skip to main content
edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 285
Source Link
ABB
  • 4.1k
  • 1
  • 11
  • 19

Two points concerning Baer *-rings

Let $A$ be a unital Baer *-ring.

1- Assume that $\{p_i\}$ is a family of projections in $A$. Let $x$ be an isometry in A (I mean $x^*x=1$ where $1$ is the unit of $A$). True or false: $\inf (xp_ix^*)=x(\inf p_i)x^*$ !

2- Let $y$ be an element of $A$. Let us denote $[y]$ by the smallest projection with $[y]y=y$. Let $q$ be a projection in $A$ and assume that $qy=0$. Can we conclude that $q[y]=0$?!