<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which is an example of hyperlinear groups?
<|assistant|>
An example of a hyperlinear group is the group of unitary matrices, denoted by U(n), with entries in the hyperfinite II_1 factor.