A torsor is, in informal terms, an algebraic structure that’s like a group with the identity element “forgotten”. The precise definition (whose connection to the informal notion is not meant to be obvious!) is: a torsor is a set equipped with a group acting on such that for any two...