つまり、formula_74からユニタリ群formula_75へのformula_1の枠束(frame bundle)の構造群の縮小(reduction of the structure group)である。