Commutation theorem for traces: Difference between revisions

Content deleted Content added
m ISBNs (Build KG)
No edit summary
Line 14:
It follows that the map
 
:<math>Ja\Omega=a^*\Omega</math>
 
for ''a'' in ''M'' defines a conjugate-linear isometry of ''H'' with square the identity ''J''<sup>2</sup> = ''I''. The operator ''J'' is usually called the '''modular conjugation operator'''.