In matematica un fibrato principale è una struttura che formalizza alcune delle caratteristiche essenziali del prodotto cartesiano M := X × G di uno spazio topologico X con un gruppo G. Analogamente ad M, un fibrato principale P è dotato di un'azione di G su P, analoga a h = di M; una proiezione su X, che è semplicemente la proiezione sul primo fattore di M : → x. Wikipedia