Torsor

Un conjunto (o haz, esquema, etc.) con una acción simplemente transitiva de un grupo G: la acción es libre y transitiva pero no existe un punto identidad distinguido, de modo que el torsor es un 'espacio homogéneo principal' que se vuelve isomorfo a G una vez que se elige un punto base.