主丛

主丛简记为P(M，G)或P。若纤维丛π:P→M的纤维及结构群均为拓扑群G，底空间M为仿紧豪斯多夫空间，全空间P为仿射G空间，且G在纤维上有连续自由右作用，使得对每个丛坐标卡(π-1(U)，(π，φ))，其中φ:-1(U)→G为G等变映射，则称该纤维丛为主丛。