Bonsoir à tous,
Sur la page suivante : https://ncatlab.org/nlab/show/principal+bundle , l'auteur affirme que si est 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.
-----