Algebraic Topology: Homotopy and Homology
《Algebraic Topology: Homotopy and Homology》 · 第 191 页 · Definition
A principal \(G\)-bundle is a fiber bundle \((B,p,E,G)\) with a right \(G\)-action on \(E\) and local equivariant trivializations \(U_\alpha\times G\to p^{-1}(U_\alpha)\).