1: \begin{abstract}

2: In this paper we analyze the structure of some sets of non-commutative moments

3: of elements in a finite von Neumann algebra $M$. If the fundamental group of

4: $M$ is $\mathbb{R}_{+}\backslash\{0\}$, then the moment sets are convex, and

5: if $M$ is isomorphic to $M\otimes M$, then the sets are closed under pointwise

6: multiplication. We introduce a class of discrete groups that we call

7: hyperlinear. These are the discrete subgroups (with infinite conjugacy

8: classes) of the unitary group of $R^{\omega}$. We prove that this class is

9: strictly larger than the class of (i.c.c.) residually finite groups; it

10: contains the Baumslag group $\left\langle a,b\mid ab^{3}a^{-1}=b^{2}%

11: \right\rangle $. This leads to a previously unknown (non-hyperfinite) type

12: $\mathrm{II}_{1}$ factor that can be embedded in $R^{\omega}$. This is

13: positive evidence for Connes's conjecture that any separable type

14: $\mathrm{II}_{1}$ factor can be embedded into $R^{\omega}$.

15: 

16: \end{abstract}

17: