Torseur

Un ensemble (ou faisceau, schéma, etc.) muni d'une action simplement transitive d'un groupe G : l'action de G est libre et transitive mais il n'existe pas de point identité distingué, si bien que le torseur est un « espace principal homogène » qui devient isomorphe à G une fois un point de référence choisi.