##### 正交群 - 正交群 - **正交群**是[[内积空间]] $\mathbb{F}^n$ 上所有[[正交变换]]或[[正交矩阵]]的构成的[[群]]