Group Theory/Group objects and torsors