Bonsoir à tous,
Sur la page suivante : https://ncatlab.org/nlab/show/principal+bundle , l'auteur affirme que siest un groupe et si
est un autre objet ( variété par exemple ), un
- fibré principal est un fibré :
muni d'une
- action :
de
sur
tel que le morphisme canonique :
est un isomorphisme.
D'après ce même lien, le fait que :soit un isomorphisme signifie que l'action est libre et transitive, pouvez vous m'expliquer pourquoi ?
Merci d'avance.
-----