Lie isomorphisms of factors

Introduction. By a von Neumann algebra M we mean a weakly closed, selfadjoint algebra of operators (containing the identity /) on a complex Hubert space //. In this paper we consider a mapping between von Neumann algebras M and N which is one-one, onto, «-linear, and which preserves Lie brackets of operators (that is A, B = iA), =S+\ where 9 is either a ♦-isomorphism, or the negative of a *-anti-isomorphism and A is a *-linear map from M into the center of N which annihilates brackets of operators in M. This was proved by L. Hua [6 in the case that M i = N) is a factor of type /n (n>2). Subsequently Hua's result was generalized in an algebraic sense by W. S. Martindale 8, 9, to the case where M and N are simple rings with M containing two nonzero idempotents whose sum is the identity. The algebraic techniques of these papers, however, are not sufficient in our setting since von Neumann factors are not, in general, simple. In all that follows: M -> N is a Lie «-isomorphism between the von Neumann algebras M and N. 2. Preliminary results. Lemma 1. Let X, YeM. Then XY= YX iff iX) iY) = iY) j>iX). ProofAs an easy consequence of this definition we have Theorem 1. If M0 is a normal von Neumann subalgebra of M, then iM0) is a normal von Neumann subalgebra of N having the same linear dimension. Corollary. If M is a factor, then so is N.