結構群的約化

數學中 ， 特別是在主叢理論中 ， 我們可問一個 - 叢能否 “ 來自 ” 一個子群 。 這稱爲結構群的約化 ( 約化爲 ） ， 且對任何映射 有意義 ， 不必要求是包含 （ 儘管使用了這個術語 ） 。