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
.