Mi a torzor (torsor) érthetően?

forrás: [link]

fogalom:

A torzort egy kommutatív csoport nevű algebrai struktúrával definiálhatjuk, mely egy kommutatív, asszociatív, nullelemes, invertálható művelettel ellátott és e műveletre zárt halmaz. Kommutatív csoport például a valósok az összeadásra nézve, a vektorok az összeadásra nézve, vagy Z12 az összeadásra nézve (ld. az 1.9.. példát és az 1.10.. definíciót). Legyen G egy kommutatív csoport, és X egy nem üres halmaz, melyen definiálva van bármely két elem különbsége, ami G-beli. Ekkor X-et G-torzornak nevezzük, ha bármely x0, x1, x2 ∈ X elem esetén, ha x1 − x0 = g1 és x2 − x0 = g2, akkor x1 − x2 = g1 − g2. Másként fogalmazva, X őrzi G struktúráját a zéruselem nélkül úgy, hogy bármely elemét zéruselemnek választva azonnal megkapjuk G-t.