The fundamental group of a type von Neumann factor
is the multiplicative subgroup
where
is its amplification using a projection of unnormalized matrix
trace
.
This is an invariant of the operator algebra,
distinct from the topological fundamental group.
For example, 1 always belongs to
.