OP-00975 Open A discrete copy of the free group in the unitary group of the hyperfinite II₁ factor OA · discrete subgroups · free groups · hyperfinite II₁ factor · Peterson's operator algebra problems · unitary groups