Galois extension
When "G" is the Galois group of a finite Galois extension "L"/"K", for the "G"-torsor formula_1, this generalizes classical Galois descent (cf. field of definition).