Definition 45.2.7 (Fundamental Group).label Let $M$ be a $\vnII_{1}$ factor, then the fundamental group of $M$ is the family
\[\fF(M) = \bracsn{t > 0| M^t \iso M}\subset \real_{>0}^{\times}\]
Proof. By Lemma 45.2.6, $\fF(M)$ is a group.$\square$
Definition 45.2.7 (Fundamental Group).label Let $M$ be a $\vnII_{1}$ factor, then the fundamental group of $M$ is the family
Proof. By Lemma 45.2.6, $\fF(M)$ is a group.$\square$
Post a Comment