Adding representations corresponds to adding equivalence classes. As we have mentioned, the partial order can be defined in terms of the sum, so provided we make some kind of size restriction, we get an isomorphism of ordered monoids. For example, if
$\mathcal{\mathcal{M}}$
is
$\sigma $
finite, we obtain an identification between
$(\mathcal{P}(\mathcal{\mathcal{B}}\left({\ell}^{2}\right)\overline{\otimes}\mathcal{\mathcal{M}})/\sim )$
and isomorphism classes of countably generated Hilbert
$\mathcal{\mathcal{M}}$
modules. This all works for
${L}^{p}$
modules ([
JuS]
), too, and is closely related to the
${\mathcal{K}}_{0}$
functor ([
Han,
WO]
).
(Most of the ideas of the preceding two paragraphs were discussed by Breuer ([
B1,
B2]
), without making reference to standard forms. He focused on the monoid generated by equivalence classes of finite projections, because the associated Grothendieck group, called the index group of
$\mathcal{\mathcal{M}}$
, is the natural carrier for the Fredholm theory of
$\mathcal{\mathcal{M}}$
. Olsen ([
O]
) later combined Breuer's work with Tomiyama's dimension function to give a very general version of index theory in von Neumann algebras.)
Corollary 7.1.
Let
$\{{\pi}_{\alpha},{\u210c}_{\alpha}\}$
be a set of representations of a fixed von Neumann algebra
$\mathcal{\mathcal{M}}$
. Then there is a maximal representation of
$\mathcal{\mathcal{M}}$
which is (isomorphically) contained in all of these, and there is a minimal representation which (isomorphically) contains all of these. Both are unique up to
$\mathcal{\mathcal{M}}$
module isomorphism.

Proof.
Choose a large enough set
$I$
so that for all
$\alpha $
,
$\{{\pi}_{\alpha},{\u210c}_{\alpha}\}$
is a subrepresentation of
$\{\text{id},{\oplus}_{I}{L}^{2}(\mathcal{\mathcal{M}}\left)\right\}$
. The corollary follows from the preceding discussion and the fact that
$(\mathcal{P}(\mathcal{\mathcal{B}}\left({\ell}_{I}^{2}\right)\overline{\otimes}\mathcal{\mathcal{M}})/\sim )$
is a complete lattice. □
In the early years of the subject, von Neumann algebras were generally given on Hilbert spaces, and the notion of
$\mathcal{\mathcal{M}}$
module isomorphism was therefore not in use. Instead, one classified represented algebras up to the slightly weaker notion of spatial isomorphism, which allows for an arbitrary isomorphism between the algebras. (An
$\mathcal{\mathcal{M}}$
module isomorphism between representations
$\{{\pi}_{1},{\u210c}_{1}\}$
and
$\{{\pi}_{2},{\u210c}_{2}\}$
is a spatial isomorphism between von Neumann algebras
$\left\{{\pi}_{1}\right(\mathcal{\mathcal{M}}),{\u210c}_{1}\}$
and
$\left\{{\pi}_{2}\right(\mathcal{\mathcal{M}}),{\u210c}_{2}\}$
which induces the algebra isomorphism
${\pi}_{2}\circ {\pi}_{1}^{1}$
.) The question “When is an algebraic isomorphism of represented von Neumann algebras spatial?”, which is a noncommutative version of the fundamental problem of unitary equivalence for normal operators, is treated in detail in [K2] .
Also see [
Dig]
for a projectionbased approach to the existence of spatial isomorphisms.
Having said that, equivalence classes of representations/represented algebras were first studied by Murray and von Neumann ([
MvN2,ChapterIII]
), using the coupling constant for finite factors. The generalizations to coupling functions and arbitrary algebras were the motivations for the Griffin and Pallu de la Barrière results featured in Section 4 . The spacefree approach was notably developed by the Japanese school of the 1950's.
Modulo spatial isomorphism, the set of equivalence classes of representations of a fixed von Neumann algebra may not even be partially ordered.
We mention the relevant example. Let
$\mathcal{\mathcal{M}}$
be a type
${\text{II}}_{\infty}$
factor with dimension function
$D$
and fundamental group
$\Gamma /\in \left\{\right\{1\},(0,\infty \left)\right\}$
. (The existence of such an
$\mathcal{\mathcal{M}}$
remained in doubt until a breakthrough of Connes in 1980 ([
C]
). The fundamental group of a
${\text{II}}_{\infty}$
factor can be defined as
$$\{\lambda \in (0,\infty \left)\right\exists \alpha \in \text{Aut}(\mathcal{\mathcal{M}}),D\circ \alpha =\lambda D\},$$
with the group operation being multiplication.) Kadison ([
K1]
) showed that for nonzero finite projections
$p,q$
,
${L}^{2}(\mathcal{\mathcal{M}})p$
is spatially isomorphic to
${L}^{2}(\mathcal{\mathcal{M}})q$
if and only if
$\frac{D\left(p\right)}{D\left(q\right)}\in \Gamma $
. Since
$\Gamma \ne (0,\infty )$
, we may find nonzero finite projections
$p,{p}^{\prime}$
with
$\frac{D\left(p\right)}{D\left({p}^{\prime}\right)}/\in \Gamma $
. And
$\Gamma \ne \left\{1\right\}$
, so we may find spatial isomorphisms
${L}^{2}(\mathcal{\mathcal{M}}){q}_{1}\simeq {L}^{2}(\mathcal{\mathcal{M}}){p}^{\prime}\simeq {L}^{2}(\mathcal{\mathcal{M}}){q}_{2}$
with
${q}_{1}\mathbb{\lneqq}p\mathbb{\lneqq}{q}_{2}$
. Therefore the spatial equivalence class of
${L}^{2}(\mathcal{\mathcal{M}})p$
both dominates and is dominated by that of
${L}^{2}(\mathcal{\mathcal{M}}){p}^{\prime}$
, yet the two are not equal.
At least for factors, this kind of pairing
${\text{II}}_{\infty}$
algebra,
${\text{II}}_{1}$
commutant is the only case where the two notions of equivalence differ. Not coincidentally, the only choice required for
$T$
,
$D$
, and
$\widehat{T}$
which cannot be standardized is the normalization on the finite elements in a
${\text{II}}_{\infty}$
summand. (On a
${\text{II}}_{\infty}$
summand, one possible definition for “normalization” is the inverse image of the identity, which is nothing but the equivalence class of the projection
$p$
discussed in Remark 4.7 .) References

M. Breuer, Fredholm theories in von Neumann algebras I, Math. Ann. 178 (1968), 243254.

M. Breuer, Fredholm theories in von Neumann algebras II, Math. Ann. 180 (1969), 313325.

A. Connes, A factor of type
${\text{II}}_{1}$
with countable fundamental group, J. Operator Theory 4 (1980), 151153.

T. Digernes, On classes of projections in a vonNeumann algebra, Math. Scand. 31 (1972), 191200.

J. Dixmier, Les anneaux d'opérateurs de classe finie, Ann. Sci. École Norm. Sup. (3) 66 (1949), 209261.

J. Dixmier, Sur certains espaces considérés par M. H. Stone, Summa Brasil. Math. 2 (1951), 151182.

J. Dixmier, Applications
$\u266e$
dans les anneaux d'opérateurs, Compositio Math. 10 (1952), 155.

J. Dixmier, Les Algèbres d'Opérateurs dans l'Espace Hilbertien (Algèbres de von Neumann), GauthierVillars, Paris, 1969.

P. Fillmore, The dimension theory of certain cardinal algebras, Trans. Amer. Math. Soc. 117 (1965), 2136.

E. L. Griffin, Jr., Some contributions to the theory of rings of operators, Trans. Amer. Math. Soc. 75 (1953), 471504.

E. L. Griffin, Jr., Some contributions to the theory of rings of operators II, Trans. Amer. Math. Soc. 79 (1955), 389400.

U. Haagerup, Normal weights on
${W}^{*}$
algebras, J. Funct. Anal. 19 (1975), 302317.

D. Handelman,
${K}_{0}$
of von Neumann and AF
${C}^{*}$
algebras, Quart. J. Math. Oxford Ser. (2) 29 (1978), 427441.

V. Jones and V. S. Sunder, Introduction to Subfactors, London Math. Soc. Lec. Note Ser., vol. 234, Cambridge University Press, Cambridge, 1997.

M. Junge and D. Sherman, Noncommutative
${L}^{p}$
modules, J. Operator Theory 53 (2005), 334.

R. V. Kadison, Isomorphisms of factors of infinite type, Canad. J. Math. 7 (1955), 322327.

R. V. Kadison, Unitary invariants for representations of operator algebras, Ann. of Math. (2) 66 (1957), 304379.

R. V. Kadison and G. K. Pedersen, Equivalence in operator algebras, Math. Scand. 27 (1970), 205222.

R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras I, Graduate Studies in Mathematics, vol. 15, Amer. Math. Soc., Providence, 1997.

R. V. Kadison and J. R. Ringrose, Fundamentals of the Theory of Operator Algebras II, Graduate Studies in Mathematics, vol. 16, Amer. Math. Soc., Providence, 1997.

L. H. Loomis, The lattice theoretic background of the dimension theory of operator algebras, Mem. Amer. Math. Soc. (1955), no. 18.

S. Maeda, Dimension functions on certain general lattices, J. Sci. Hiroshima Univ. Ser. A. 19 (1955), 211237.

F. J. Murray and J. von Neumann, On rings of operators, Ann. Math. 37 (1936), 116229.

F. J. Murray and J. von Neumann, On rings of operators IV, Ann. Math. 44 (1943), 716808.

C. L. Olsen, Index theory in von Neumann algebras, Mem. Amer. Math. Soc. 47 (1984), no. 294.

R. Pallu de la Barrière, Sur les algèbres d'opérateurs dans les espaces hilbertiens, Bull. Soc. Math. France 82 (1954), 152.

J. R. Ringrose, Linear mappings between operator algebras, in: Symposia Mathematica, Vol. XX (Convegno sulle Algebre
${C}^{*}$
e loro Applicazioni in Fisica Teorica, Convegno sulla Teoria degli Operatori Indice e Teoria
$K$
, INDAM, Roma, 1975), pp. 297315, Academic Press, London, 1976.

D. Sherman, Relative tensor products for modules over von Neumann algebras, in Function Spaces (Edwardsville, 2002), pp. 275291, Contemp. Math. 328, Amer. Math. Soc., Providence, 2003.

D. Sherman, Unitary orbits of normal operators in von Neumann algebras, preprint.

M. Takesaki, Theory of Operator Algebras I, SpringerVerlag, Berlin, 1979.

J. Tomiyama, Generalized dimension function for
${W}^{*}$
algebras of infinite type, Tôhoku Math. J. (2) 10 (1958), 121129.

N. WeggeOlsen,
$K$
Theory and
${C}^{*}$
Algebras, Oxford University Press, New York, 1993.
Department of Mathematics, University of California, Santa Barbara, CA 93106 Email address : dsherman@math.ucsb.edu