结构群的约化 数学中特别是在主丛理论中我们可问一个 G displaystyle G 丛能否来自一个子群 H  G displaystyle HG 这称为结构群的约化Reduction of structure group约化为 H displaystyle H 且对任何映射 H  G displaystyle Hto G 有意义不必要求是包含尽管使用了这个术语