虾米是边流行

是的，n阶正交群是带边流形。具体来说，我们可以将这个群的每个元素看作是从欧几里得空间R^n到自身的映射，这些元素的集合构成了流形的定义域。而由于正交变换保持长度和角度不变，因此它们可以被认为是光滑的、连续的函数。
然而需要注意的是，虽然n阶正交群是一个带边的流形（具有非空边界），但并不是所有的数学中的“群”都是这样的。例如，“拓扑群”、“李群”（除掉单位元之外不带边界）、代数几何中考虑的有限型子集等都不带有边界或称为无边流形。

不带边，你说的广义正交群叫Stiefel流形，它是齐性空间，任意两点存在同胚把一个映到另一个，所以所有点都是内点。