含映射formula_48在formula_49上是同构（其商是斯蒂弗尔流形）。行列式映射formula_50诱导了基本群的同构，分裂映射formula_51诱导其逆。
相关的群.
三选二性质.酉群是正交群、辛群与复数群的3重交集：从而一个酉结构可以视为一个正交结构、复结构与辛结构，他们要求是“一致的”（意思是说：复结构与辛形式使用同样的formula_53，且formula_53是正交的；取定一个formula_53将所有群写成矩阵群便确保了一致性）。