Published online by Cambridge University Press: 14 November 2011
In recent years it has become clear that AW*-algebras can be much more pathological and unlike von Neumann algebras than was originally expected. When AW*-algebras are monotone complete, then the work of Kadison and Pederson shows that a particularly smooth and elegant theory can be developed. A technically weaker requirement on an AW*-algebra is that it be “normal”. This condition, which says that the lattice of projections is embedded in a well-behaved way in the partially ordered set of all self-adjoint elements, can sometimes be used as a substitute for monotone completeness. In this note we prove that when an AW*-algebra is of finite type (that is x*x = 1 implies xx* = 1) then it is normal.