Definition

A von Neumann factor, or simply a factor, is a MM whose is

Z(M)=C1M.Z(M)=\mathbb C1_M.

Equivalently, 00 and 1M1_M are the only central projections in MM. This condition means that MM cannot be decomposed as a nontrivial direct sum along central projections. It does not mean that MM has no proper norm-closed ideals as a CC^*-algebra; for example, B(H)B(H) on an infinite-dimensional is a factor but contains the as a proper norm-closed ideal.

Closed ideals and central decomposition

Ultraweakly closed in a von Neumann algebra have the form MzMz for central projections zz. Hence a factor has no nonzero proper ultraweakly closed two-sided ideals. General von Neumann algebras can often be analyzed as direct integrals of factors, with their centers supplying the measurable parameter algebra.

Type classification

Factors divide into types InI_n, II_\infty, II1II_1, IIII_\infty, and IIIIII, according to the comparison and finiteness behavior of their projections. factors are precisely the algebras B(H)B(H). Type II factors have but no nonzero , while type III factors have no nonzero finite projections.

Representations and factorial states

If a representation π\pi generates the von Neumann algebra π(A)\pi(A)'', the representation is called factorial when this is a factor. A state is factorial when its GNS representation is factorial. Irreducibility is stronger: it forces π(A)=C1\pi(A)'=\mathbb C1, whereas factoriality only forces the center of π(A)\pi(A)'' to be scalar.

References
  1. F. J. Murray and J. von Neumann, “On Rings of Operators,” Annals of Mathematics 37 (1936), 116–229. JSTOR record. Relevant: the introduction of factors and the projection-based type classification.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 2002. Publisher record. Relevant: Chapter V on factors and their types.