Abelian strict approximation in AW*-algebras and Weyl-von Neumann type theorems

In this paper, for a C*-algebra A with M = M(A) an AW*-algebra, or equivalently, for an essential, norm-closed, two-sided ideal A of an AW*-algebra M, we investigate the strict approximability of the elements of M from commutative C*-subalgebras of A. In the relevant case of the norm-closed linear span A of all finite projections in a semi-finite AW*-algebra M we shall give a complete description of the strict closure in M of any maximal abelian self-adjoint subalgebra (masa) of A. We shall see that the situation is completely different for discrete, respectively continuous, M : In the discrete case, for any masa C of A, the strict closure of C is equal to the relative commutant C' boolean AND M, while in the continuous case, under certain conditions concerning the center valued quasitrace of the finite reduced algebras of M (satisfied by all von Neumann algebras), C is already strictly closed. Thus in the continuous case no elements of M which are not already belonging to A can be strictly approximated from commutative C*-subalgebras of A. In spite of this pathology of the strict topology in the case of the norm-closed linear span of all finite projections of a continuous semi-finite AW*-algebra, we shall prove that in general situations also including this case, any normal y is an element of M is equal modulo A to some x. M which belongs to an order theoretical closure of an appropriate commutative C*-subalgebra of A. In other words, if we replace the strict topology with order theoretical approximation, Weyl-von Neumann-Berg-Sikonia type theorems will hold in substantially greater generality.