无限正交群

infinite orthogonal group