von Neumann環 N を固定したとき、全行列環 M_n の N への埋め込みは全てユニタリ同値
だってことを論文に書く必要があるんだけど、何かいい文献を誰か知らんかね。
埋め込み e_{ij} と f_{ij} が与えられたときに、e_{11} と f_{11} がM-vN同値であること
を言えばいいんだけど、これは(generalized or extended) dimension function d
に対して n d(e_{11})=d(1)=n d(f_{11}) であることから従う。ところがこのことが
ちゃんと書いてある教科書がないんだよね。忠実状態が存在する（あるいは可分）の
時だけでもいいんだけどね。（可算性の仮定があれば、中心は普通のL^\inftyだし、
次元関数の出力値に基数を使う必要もなく簡単に記述できる。）教科書でなく論文でも
型に関係なく書いてあるのはShermanのしか見つからんかった。忠実状態が存在する
（あるいは可分）の時だけでもいいんだけどね。う〜ん。
