Let k be a field, let G be a linear algebraic group over k and

let A be a commutative k-algebra which is acted on by G.We say that an A-module M is a (G,A)-module if it satisfies the following two properties:

1) M is a rational G-module (over k)

2) The multiplication map A⊗M→M is a morphism of

rational G-modules.If we let X=Spec(A) and view M as a quasi-coherent sheaf on X,

then giving M the structure of a (G,A)-module should be equivalent to giving it the structure of a G-equivariant sheaf on X

(see https://en.wikipedia.org/wiki/Equivariant_sheaf). Is there an easy, explict way to see why these two definitions coincide?

**Answer**

**Attribution***Source : Link , Question Author : gustav101 , Answer Author : Community*