Torsor

Eine Menge (oder Garbe, Schema, usw.) mit einer einfach transitiven Wirkung einer Gruppe G: Die G‑Wirkung ist frei und transitiv, aber es gibt keinen ausgezeichneten Identitätspunkt, so dass der Torsor ein 'principal homogeneous space' ist, der nach Wahl eines Basispunkts isomorph zu G wird.