Let
be a factor of type III with separable predual and with normal states
with
faithful. Let
be a finite-dimensional
-subalgebra
of
.
Then it is shown that there is a unitary operator
such
that
on
for
.
This follows from an embedding result of a finite-dimensional
-algebra with a
faithful state into
with finitely many given states. We also give similar embedding results of
-algebras
and von Neumann algebras with faithful states into
. Another similar result
for a factor of type II
instead of type III holds.
Dedicated to Masamichi Takesaki on the
occasion of his eightieth birthday.
Keywords
von Neumann algebra, type III factor, normal state