Editing Von Neumann algebra (section)

==Tensor products of von Neumann algebras==
The Hilbert space tensor product of two Hilbert spaces is the completion of their algebraic tensor product. One can define a tensor product of von Neumann algebras (a completion of the algebraic tensor product of the algebras considered as rings), which is again a von Neumann algebra, and act on the tensor product of the corresponding Hilbert spaces.  The tensor product of two finite algebras is finite, and the tensor product of an infinite algebra and a non-zero algebra is infinite. The type of the tensor product of two von Neumann algebras  (I, II, or III) is the maximum of their types. The '''commutation theorem for tensor products''' states that

:<math>(M\otimes N)^\prime = M^\prime\otimes N^\prime,</math>

where ''{{prime|M}}'' denotes the [[commutant]] of ''M''.

The tensor product of an infinite number of von Neumann algebras, if done naively, is usually a ridiculously large non-separable algebra. Instead {{harvtxt|von Neumann|1938}} showed that  one should choose a state on each of the von Neumann algebras, use this to define a state on the algebraic tensor product, which can be used to produce a Hilbert space and a (reasonably small) von Neumann algebra. {{harvtxt|Araki|Woods|1968}} studied the case where all the factors are finite matrix algebras; these factors are called '''Araki–Woods''' factors or '''ITPFI factors''' (ITPFI stands for "infinite tensor product of finite type I factors").  The type of the infinite tensor product can vary dramatically as the states are changed; for example, the infinite tensor product of an infinite number of type I<sub>2</sub> factors can have any type depending on the choice of states. In particular {{harvtxt|Powers|1967}} found an uncountable family of non-isomorphic hyperfinite type III<sub>λ</sub> factors for 0 < λ < 1, called '''Powers factors''', by taking an infinite tensor product of type I<sub>2</sub> factors, each with the state given by:

:<math>x\mapsto {\rm Tr}\begin{pmatrix}{1\over \lambda+1}&0\\ 0&{\lambda\over \lambda+1}\\ \end{pmatrix} x.</math>
 
All hyperfinite von Neumann algebras not of type III<sub>0</sub> are isomorphic to Araki–Woods factors, but there are uncountably many of type III<sub>0</sub> that are not.